So if I understand correctly 1) volatile basically tells C to always read the memory. So it impacts the C memory model. 2) CompilerFence() tells the C serialize and complete everything before the barrier, and read memory again the 1st time after the barrier. 3) MemoryFence() is really dealing with speculative fetches and maybe coherency. Basically the CPU reordering things.
I agree with this summary. Volatile using in MpInitLib or PiSmmCpu driver cannot be emitted because different CPU threads change the same memory content to synchronize with each other. I don’t quite understand if removing “volatile” what mechanism can be used to force the compiler generating code that always reads from memory?
