Are there real use cases with the Java access modes?

Shuyang Liu via Concurrency-interest <[email protected]> Sat, 17 Jul 2021 13:29:49 -0700 (PDT)

Newsgroups	gmane.comp.java.jsr.166-concurrency
Message-ID	<[email protected]>

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