Про реентерабельность, малоизвестная фича 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. Таким образом, прерывания разрешаются максимально раньше