Robuta

https://jcp.org/aboutJava/communityprocess/final/jsr133/index.html

JSR-000133 Java Memory Model and Thread Specification Revision - Final Release

java memory model jsr thread specification revision