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

[Káně, Vojtěch]

Dobrý den,

> A:
> 1: D = compute ()
> 2: lock (L)
> 3: F = true
> 4: unlock (L)
>
> 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?

Děkuji za odpověď, s pozdravem,
Vojtěch Káně