顺序发出的存储/装载是否以相同顺序完成？

Question

I've been having a huge headache debugging and fixing some parallel execution bugs.

My main issue is that some shared variables in RAM memory are not coherent between processes. Let's say that I have two variables a and b updated as such:

a = 5;
b = 10;

If I prevent the compiler AND hardware from reordering these two stores, is it always true that other processes will never see a value of 10 in b without also seeing a value of 5 in a ?

Answer 1

If I prevent the compiler AND hardware from reordering these two stores, is it always true that other processes will never see a value of 10 in b without also seeing a value of 5 in a ?

If you prevent the compiler AND hardware from reordering these two stores then by definition yes.

But, good luck with that. Just use a mutex, and your life will be much easier.