Creating b volatileand having a writeset value bafter it sets a value aensures:
, b b , , a, b b ( a , ).
, . read :
a + " " + b
Java . , a b. , , a a, b b. b a, "t20" "read-before" a a. .
write -., b a, read b a
, b volatile:
<- >
write a read a
write b --> happens before --> read b
write a -
read a
write b --> happens before --> read b
write a
read , a b -
write b --> happens before --> read b
write a read a
, , write read -
write a
write b --> happens before --> read b
read a