Re: Memory ordering

"Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> writes:

On 11/15/2024 9:27 AM, Anton Ertl wrote:

jseigh <jseigh_es00@xemaps.com> writes:

Anybody doing that sort of programming, i.e. lock-free or distributed
algorithms, who can't handle weakly consistent memory models, shouldn't
be doing that sort of programming in the first place.
 
Strongly consistent memory won't help incompetence.

 
Strong words to hide lack of arguments?

>
For instance, a 100% sequential memory order won't help you with, say,
solving ABA.

Sure, not all problems are solved by sequential consistency, and yes,
it won't solve race conditions like the ABA problem.  But jseigh
implied that finding it easier to write correct and efficient code for
sequential consistency than for a weakly-consistent memory model
(e.g., Alphas memory model) is incompetent.

- anton
--
'Anyone trying for "industrial quality" ISA should avoid undefined behavior.'
  Mitch Alsup, <c17fcd89-f024-40e7-a594-88a85ac10d20o@googlegroups.com>