With prescient stores, the store actions are not … [e.g., a=x; y=1 in one thread and b=y; x=1 in the other]: in fact the store actions can be the very first … [p. 91] This makes it legal for the write actions for both … in a = b = 1.
Google-1
Google-2
Copyright clearance needed for quotation.