Re: About the volatile and MESI Protocal

On 2/20/22 07:25, Aleksey Shipilev via Concurrency-interest wrote:
>
>> I don't think this is a property of the memory model, it merely
>> follows from choices Java implementation have made regarding compiler
>> barriers for volatile field access.
>
> AFAIU, progress guarantee is where the current memory models, as 
> stated in JLS, is quite murky.

This is an area that seems basically settled in research papers, but 
hasn't made it into specs. See "Making Weak Memory Models Fair" by Ori 
Lahav et al OOPLSA 2021: 
https://people.mpi-sws.org/~viktor/papers/oopsla2021-fairness.pdf

Why not in specs? People seem hesitant to piecewise fix parts of specs. 
At this point there seem to be only a few formal/technical obstacles to 
revising JLS. Any decade now...

-Doug