Re: About the volatile and MESI Protocal

On 21/02/2022 15:41, Alex Otenko via Concurrency-interest wrote:
> This lengthy argument falls apart, once you realize that its premise is 
> false. That is, the premise that every software system has a total order.

But wait ... there's more ... !!!

We also have in the background another premise (underpinning that 
standing example): that the semantics of Java can be defined and 
understood with respect only to single threaded operation. This may be 
an assumption made by many Java programmers but it is most definitely 
/not/ an assumption made by those who defined or those who implement the 
language because it is also false.

regards,


Andrew Dinn
-----------
Red Hat Distinguished Engineer
Red Hat UK Ltd
Registered in England and Wales under Company Registration No. 03798903
Directors: Michael Cunningham, Michael ("Mike") O'Neill