2.5. Java Memory Model (JSR 133)