Page 1 of 1

mem_model.1: semantics of data race

Posted: Mon May 18, 2020 6:15 pm
by sfsiegel
The discussion of mem_model.1.c states "…at Print 1, the value of x could be either 2 or 5,…".
But, since the program has a data race, aren't the semantics completely unspecified?
Can you really conclude that x could be 2 or 5?