Due: Fri, 26 Oct 2018 11:00:00 -0700
Skim §8.2: Memory Ordering of the Intel’s manual, Volume 3. Focus on the code examples in §8.2.3.
Visit the MemSynth demo
and answer its questions about the x86 memory model.
For each code example it shows,
decide whether the outcome is allowed or not on an x86 processor
(consult the rules from the manual above if you’re not sure).
When you’re done,
copy the final model
(the two lines in the gray box, starting with ppo and grf)
into a file named answers.txt,
and upload it using Canvas.
Feel free to try multiple times if your result doesn’t match x86.