If you’re curious to know what’s wrong with the current JMM, Doug Lea points to “ Java memory model examples: Good, bad, and ugly ” (Aspinall and Ševčík, 2007).