Re: Memory ordering

On 11/17/2024 7:17 AM, Anton Ertl wrote:

jseigh <jseigh_es00@xemaps.com> writes:

Even if the hardware memory
memory model is strongly ordered, compilers can reorder stuff,
so you still have to program as if a weak memory model was in
effect.

 That's something between the user of a programming language and the
compiler.  If you use a programming language or compiler that gives
weaker memory ordering guarantees than the architecture it compiles
to, that's your choice.  Nothing forces compilers to behave that way,
and it's actually easier to write compilers that do not do such
reordering.
 

Or maybe disable reordering or optimization altogether
for those target architectures.

 So you want to throw out the baby with the bathwater.

No, keep the weak order systems and not throw them out wrt a system that is 100% seq_cst? Perhaps? What am I missing here?