Is the JMM spec progressing?

[Raffaello Giulietti]

Hello,

"JEP 188: Java Memory Model Update" [1], the JMM wiki [2] and the 
jmm-dev mailing list [3] seem quite inactive. (The latter point explains 
why I'm posting to this list instead.)

The introduction of j.l.i.VarHandle [4] brought more access modes to 
Java, but in a narrative and informal way. A paper by Bender & Palsberg 
[5], addressing the formalization of the concurrent access modes, has 
been published in 2019 but I'm not sure if it caught the attention of 
the OpenJDK community.

So what is the current thinking for progressing the JMM spec?


Greetings
Raffaello

----

[1] https://openjdk.java.net/jeps/188
[2] https://wiki.openjdk.java.net/display/jmm/Main
[3] https://mail.openjdk.java.net/pipermail/jmm-dev/
[4] 
https://docs.oracle.com/en/java/javase/16/docs/api/java.base/java/lang/invoke/VarHandle.html
[5] https://dl.acm.org/doi/10.1145/3360568