Thomas Munro <thomas(dot)munro(at)enterprisedb(dot)com> writes:
> I was reading xact.c and noticed this block:
> ...
> Isn't this insufficient on non-TSO systems like POWER and Arm?
Yeah, I think you're right. That code probably predates our support
for memory barriers, so "volatile" was the best we could do at the
time --- but as you say, it doesn't fix hardware-level rearrangements.
regards, tom lane