О программировании AVR на C++

[neiver]

Немного отвлечёмся от потров и проблем универсальности.
Предлагаю интересный и удобный способ для обеспечения атомарности блока кода.
Оычно для этих целей используют код вида:

cli();
….
//блок кода, выполняющийся атомарно
….
sei();

Однако, если в этом блоке встречаются конструкции типа return, break, continue, или goto, то надо перед ними не забыть разрешить прерывания.
А не плохо было бы писать так:

ATOMIC
{
//блок кода, выполняющийся атомарно
}
или так:
ATOMIC атомарный_оператор;

Чтобы прерывания запрещались при входе в блок и разрешались (если при входе они были разрешены) привыходе, причем независимо от наличия в этом блоке операторов return, break, continue, или goto.
Такой синтаксис несложно реализовать если вспомнить про симметричность вызовов конструкторов и деструкторов классов.

class DisableInterrupts
{
public:
	DisableInterrupts()
	{
		_sreg = SREG;
		cli();
	}
	~DisableInterrupts()
	{
		SREG = _sreg;
	}
	operator bool()
	{return false;}
private:
	uint8_t _sreg;
};

#define ATOMIC if(DisableInterrupts di = DisableInterrupts()){}else

[kison]

Однако, если в этом блоке встречаются конструкции типа return, break, continue, или goto, то надо перед ними не забыть разрешить прерывания.

Ну вот Вам пример из обычного С

#include ‹inttypes.h›
#include ‹util/atomic.h›

volatile uint8_t a = 55;
uint8_t array[10] = {0,0,55,77,55};

int main(void)
{
sei();
 ATOMIC_BLOCK(ATOMIC_RESTORESTATE)
    {
    for(uint8_t i=0; i‹sizeof(array); i++) 
        {
        if(array[i] == a) 
            {
            array[i] = 0; goto L1;
            }
        array[0] = 0;
        }
    }
L1:
a = 100;
while(1)
    {
    asm volatile("nop");
    };
}

Это высосано из пальца ес-но. Перед goto прерывания не разрешал. Меня ждут проблемы?

[neiver]

Ну вот Вам пример из обычного С

ATOMIC_RESTORESTATE в AVR GCC реализован через нестандартный аттрибут.
__attribute__((__cleanup__(__iRestore)))
который эквивалентен вызову деструктора.

[SasaVitebsk]

Я ничего такого не хотел. Возможности инструмента не безграничны. А такая оптимизация вообще посильна только для мозга человека.

Вот именно. Это я не вам писал. А к вам обратился, так как то что вы считаете излишне универсальным, neiver считает недостаточно универсальным. Вот и угоди всем.

[kison]

neiver
Последний пример Вам удался. Если не принимать во внимание такие вот хитрые аттрибуты, то действительно Ваш способ удобней. Хотя ложка дегтя все же есть
Способ удобен в случае кривого стиля программинга. Ведь критическая секция должна быть как можно короче - например только на время считывания многобайтовай volatile переменой. Никаких условных операторов там быть не должно в принципе! Так что если подумать - Ваш пример очень вредный Когда человек дойдет до понимания что такое неявный вызов конструктора/деструктора, он обычно уже умеет применять критические секции правильно. А тут Вы даете готовое решение позволяющее наплевательски относиться к критическим секциям и оборачивать ими что угодно.

[neiver]

Продолжаем разговор. Как я и обещал, выкладываю универсальный (в статике) способ, пока только вывода в порты.
Во первых, для пинов добавлены псевдонимы вида Pa0,...,Pa7;.... Pg0,...,Pg7.
Если кому мало - можно ещё добавить.
Во вторых добавлен класс PinList, которым можно пользоваться так:

           typedef PinList‹Pa0, Pb1, Pc2, Pa3, Pb3, Pc3› pins;
	pins::Write(someValue);

В качестве параметров ему можно передать до 16 любых пинов на любом порте. Номер бита из записываемого значения соответствует номеру пина в списке. При выводе пины группируются по портам и в порт записывается сразу значение группы пинов.

Пример находится в прикреплённом архиве.
Предлагаю всем заинтересованным посмотреть этот пример и высказаться по поводу удобства использования и качества генерируемого кода.

Напоминаю, полную версию исходников можно найти здесь.


ЗЫ. Класс PinList реализован с помощью злой и очень чёрной шаблонной магии

ЗЗЫ. проект AVR Studio/WinAVR.