Linus Torvalds writes: (Summary) That is why it
was relevant whether "C" contained a barrier or not (it doesn't even
have to be a *memory* barrier, it just has to be a barrier for code
generation).
generation).
Note that the "C doesn't even have to have a memory barrier" is important, because the orderin from load->cond->store doesn't actually have anything to do with any memory ordering imposed by C, it's much more fundamental than that.
more fundamental than that.
Correct.
Correct.
What matter is that the code in C (now called "..."
generation).
Note that the "C doesn't even have to have a memory barrier" is important, because the orderin from load->cond->store doesn't actually have anything to do with any memory ordering imposed by C, it's much more fundamental than that.
more fundamental than that.
[...]
}Correct.
Correct.
What matter is that the code in C (now called "..."