Janusz <j...@o...pl> wrote:

>>>> Wbrew intuicji -- nie :) Modyfikator `volatile` oznacza tylko tyle, że
>>>> kompilator nie może robić założeń co do zawartości zmiennej opatrzonej tym
>>>> modyfikatorem, bo zmienna może zmienić wartość poza ścieżką wykonania (np.
>>>> jest to sprzętowy rejestr, lub inny wątek ją modyfikuje, lub właśnie
>>>> przerwanie). `volatile` nie oznacza, że kompilator gwarantuje atomiczny
>>>> dostęp do zmiennej (czyli że wyłączy wszystko inne, co może zmienić jej
>>>> wartość w trakcie dostępu -- czy to wątki, czy przerwania, czy zewnętrzny
>>>> sprzęt).
>>> G..o prawda.
>>
>> A co konkretnie?
>
>>>> A to " (czyli że wyłączy wszystko inne, co może zmienić jej wartość w
>>>> trakcie dostępu -- czy to wątki, czy przerwania, czy zewnętrzny
>>>> sprzęt)."
>
> nic takiego kompilator nie robi.

Ale zauważyłeś, że przed tym jest napisane: "`volatile` nie oznacza, że"?

> Przerwania są wyłączane tylko w atomic blok.

I nigdzie nie napisałem inaczej.

>>> jakbyś zerknął do kodu to byś zobaczył że dla volatile kompilator
>>> nigdy nie robi atomic bloków, to musi programista w kodzie
>>> zrobić.
>>
>> Tak (i prawidłowo), o tym właśnie piszę.
> Nie, wcale o tym nie pisałeś.

Przeczytaj jeszcze raz fragment, który (celowo) zostawiłem niewycięty na
górze. Ze zrozumieniem.

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