Java’s Memory Model Is Not What You Think: The Gap Between the JMM Spec and the JIT’s Actual Guarantees

The Java Memory Model is formally specified. The JIT implements a superset of that spec in ways the spec permits…

Read More »

Java multi-threading: volatile variables, happens-before relationship, and memory consistency

What is a volatile variable? volatile is a keyword in Java. You cannot use this as a variable or method…

Read More »