[NSWI004] [Teachers at NSWI004] Nerozumím memory modelu

[Petr Tuma]

>> B:
>> 1: do {
>> 2:   lock (L)
>> 3:   X = F
>> 4:   unlock (L)
>> 5: } while (!F)
>> 6: use (D)
> 
> neměl by řádek B5 vypadat `} while (!X)`? Jinak přístup k F není
> synchronizovaný a jedná se o data race. Nebo něco přehlížím?

Anooo! Mea culpa :)

Petr Tuma