Java Memory Model, Happens-Before & Race Conditions
Deep dive into the Java Memory Model (JMM), C2 JIT loop-invariant hoisting vs MESI cache coherence, Store Buffers (x86 TSO vs ARMv8), JLS 17.4.5 Happens-Before rules, Transitive Piggybacking, Race Conditions vs Data Races, and ThreadLocal internals.