Irek.N. <t...@j...taki.jest.pl> wrote:

>> A swoja droga - czy Keil sam ich nie wylacza ? Dla zmiennych volatile
>> powinien.
>
> Niestety ale ignoruje zupełnie volatile, a nie powinien moim zdaniem.

Skąd wiesz?

Zrób test. Napisz funkcję:

int i;
void fn(void) { do { } while (i != 42); }

Skompiluj z optymalizacją, zobacz kod. Potem dodaj volatile, zobacz kod.

Sprawdziłem na raspi (arm), gcc -O2 -S.

Bez volatile:

#v+
ldr r3, .L5
ldr r3, [r3] ; tu ładuje zmienną do rejestru
.L2:
cmp r3, #42 ; tu porównuje rejestr
bne .L2 ; tu skacze z powrotem do porównania
#v-

Z volatile:

#v+
ldr r2, .L5
.L2:
ldr r3, [r2] ; tu ładuje zmienną
cmp r3, #42 ; tu porównuje
bne .L2 ; tu skacze z powrotem do załadowania
#v-

Podobnie na amd64. Bez volatile:

#v+
movl i(%rip), %eax ; tu ładuje zmienną
.p2align 4,,10
.p2align 3
.L2:
cmpl $42, %eax ; tu porównuje
jne .L2 ; tu skacze z powrotem do porównania
#v-

Z volatile:

#v+
.L2:
movl i(%rip), %eax ; tu ładuje zmienną
cmpl $42, %eax ; tu porównuje
jne .L2 ; tu skacze z powrotem do załadowania
#v-

Jeszcze ciekawiej się robi, gdy dodasz modyfikator `static`. Bez volatile,
arm:

#v+
.L2:
b .L2
#v-

Bez volatile, amd64:

#v+
.L2:
jmp .L2
#v-

Dlaczego tak? Bo kompilator wie, że inna jednostka kompilacji nie zmieni
wartości tej zmiennej (bo jest statyczna, widoczna tylko w obrębie danej
jednostki kompilacji), więc nie ma sensu żadne sprawdzanie, bo zmienna i
tak jest zero (bo zmienne globalne są inicjalizowane zerami; spróbuj
zamiast 42 wstawić 0 i zobacz, jaki kod wtedy kompilator wygeneruje).

Oczywiście z volatile działa tak, jak byśmy chcieli.

--
Eksperymentalnie: http://facebook.com/groups/pl.misc.elektronika