Java Memory Model
This program with two threads is discussed in the text:
x = 0; y = 0;
Thread 1: a = x; y = 1; Thread 2: b = y; x = 1;
Draw a box-and-arrow illustration showing the order constraints on the memory actions (read, load, use, assign,store, write) associated with the four assignments that appear in the two threads (you do not need to show these actions for the two assginments setting x and y to 0):
(a) Without prescient stores.
(b) With prescient stores.