Про реентерабельность, малоизвестная фича GCC Опции

[_Pasha]

Только не говорите, что знали и часто пользуетесь!

В общем, тем, кому позарез нада получить сабж, оказалось все очень просто

Код

void somefunc (volatile int param)
{ 
  volatile int local1;
  volatile char local2;
//body
local1 |= param;
return;
}

Как объявили все volatile - компилятор все, включая входные параметры, кладет в стек-фрейм.

И логика проста: без соответствующих оптимизаций функции генерятся реентерабельными. Volatile как-раз и отключает эту оптимизацию локальных переменных.

В общем, в мануале ГЦЦ настолько туманно это описано, что побудило поделиться радостной новостью.

[Сергей Борщ]

Как объявили все volatile - компилятор все, включая входные параметры, кладет в стек-фрейм.

А как стековый фрейм связан с реентерабельностью?

[_Pasha]

А как стековый фрейм связан с реентерабельностью?

Обеспечивает копию блока локальных переменных - одно из необходимых условий. 
ЗЫ: Кстати, в WinAVR красивый код коррекции стека

Код

in r0,SREG
cli
.... атомарные операции
out SPL,YL
out SREG,r0
out SPH,YH

Поскольку сам так никогда не делал - на первый взгляд показалось, что бага - прерывания разрешаются при восстановлении SREG до того как завершена коррекция стека. На самом деле все правильно, т.к. следующая после out SREG,r0 команда гарантированно выполнится и прерывание наступит только после out SPH,YH. Таким образом, прерывания разрешаются максимально раньше

[aesok]

Обеспечивает копию блока локальных переменных - одно из необходимых условий. 

Вот условия реентерабельности:

"Таким образом, функция, которая зависит только от своих параметров, не использует глобальные и статические переменные и вызывает только реентерабельные функции, будет реентерабельной."

Нет никакой разницы где храняться параметры и локальные переменные, в стеке или в регистрах.

Анатолий.

ЗЫ: Кстати, в WinAVR красивый код коррекции стека

Код

in r0,SREG
cli
.... атомарные операции
out SPL,YL
out SREG,r0
out SPH,YH

PS: Немного не в тему, в xmega, запись в регистр стека будет выглядеть намного короче;

Код

out SPL,YL
out SPH,YH

В Атмеле догадались сделать это:

To prevent corruption when updating the Stack Pointer from software, a write to SPL will automatically
disable interrupts for up to 4 instructions or until the next I/O memory write.

Сообщение отредактировал aesok - Feb 16 2009, 07:59

[demiurg_spb]

В Атмеле догадались сделать это:
....

Лучше поздно чем никогда. А не XMega они так не планируют доработать?
А ещё лучше бы переключаемые за 1-2 такта банки регистров забабахали штук этак 8.