Re: Are there real use cases with the Java access modes?

I think one important case is an atomic increment that does not introduce
full barriers (choose opaque, if you are just counting; acquire, if you are
acquiring a semaphore; release, when releasing; or rel-acquire). I know of
a few like things achievable in other languages, which probably are
beneficial on many non-tso architectures.

Another important clarification needed is what barriers are enforced on
failure of CAS. I think there was a discussion about this on this list, but
I don't recall if that resulted in a definitive answer about what it should
be.

Alex

On Sat, 17 Jul 2021, 21:33 Shuyang Liu via Concurrency-interest, <
[email protected]> wrote:

> Hello,
>
> My colleagues and I have been working on a formal model for the Java
> access modes that is added since Java 9 [1]. Are there any popular use
> cases of access modes in real world applications/frameworks/libraries? We
> would like to see how our current formal model works in real examples.
>
> Thanks you,
> Shuyang Liu
>
> [1]. Using JDK 9 Memory Order Modes
> http://gee.cs.oswego.edu/dl/html/j9mm.html
> _______________________________________________
> Concurrency-interest mailing list
> [email protected]
> http://cs.oswego.edu/mailman/listinfo/concurrency-interest
>

_______________________________________________
Concurrency-interest mailing list
[email protected]
http://cs.oswego.edu/mailman/listinfo/concurrency-interest