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.
The RISC-V base specification (§14 and §24) defines the RISC-V memory model (RVWMO) and an extension similar to the x86 one (Ztso). You are not required to read them for this exercise.