Everything about Java memory model

🧭 Start here: a 6-step reading path

1. Read the overview: Java memory modelA 5-minute orientation
2. Pick up a classic book: Modern Operating SystemsThe most-reprinted book on the subject
3. Read the landmark paper: The Java memory modelCited 79 times
4. Go sideways: Memory model (programming)A closely related topic
5. Go sideways: Java concurrencyA closely related topic

🏆 Landmark papers (most cited)

• The Java memory model

  Jeremy Manson, William Pugh, Sarita V. Adve · 2005 · ACM SIGPLAN Notices · 79 citations

• The Java memory model is fatally flawed

  William Pugh · 2000 · Concurrency: Practice and Experience · 28 citations

• The Safety-Critical Java memory model formalised

  Ana Cavalcanti, Andy Wellings, Jim Woodcock · 2013 · Formal Aspects of Computing · 21 citations

• Making the java memory model safe

  Andreas Lochbihler · 2013 · ACM Transactions on Programming Languages and Systems · 15 citations

• Improving the Java memory model using CRF

  Jan-Willem Maessen, Xiaowei Shen · 2000 · ACM SIGPLAN Notices · 3 citations

• Flood Disaster Prediction Model Using Long Short-Term Memory (LSTM) in Pekalongan, Central Java.

  Muhammad Asrofi, Muhammad Rizqy Septyandy, Tito Latif Indra · 2024 · Journal of Applied Geology · 1 citations

• Verification for Multithreaded Java Code using Java Memory Model

  Min Lee, Gi-Hwon Kwon · 2008 · The KIPS Transactions:PartD · 0 citations

• A New Java Memory Model L-JMM

  Junmin Wu · 2006 · Journal of Computer Research and Development · 0 citations

📚 Books worth reading

• Modern Operating SystemsAndrew S. Tanenbaum, Herbert Bos · 1992
• Invitation to Computer ScienceG. Michael Schneider, Judith L. Gersting · 1995
• Computer scienceJ. Glenn Brookshear, Brookshear · 1985
• The web application hacker's handbookDafydd Stuttard, Marcus Pinto · 2007
• Theories of memoryAlan F. Collins · 1993
• Understanding object-oriented programming with JavaTimothy Budd · 1998
• Software EssentialsAdair Dingle · 2014
• Digital planetGeorge Beekman, Ben Beekman · 2011

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Memory model (programming) In computing, a memory model describes the interactions of threads through memory and their shared use of the data. A memory model allows a compiler to…
• Java concurrency The Java programming language and the Java virtual machine (JVM) are designed to support concurrent programming. All execution takes place in the context…
• Memory barrier In computing, a memory barrier, also known as a membar, memory fence or fence instruction, is a type of barrier instruction that causes a central processing…
• Memory ordering Memory ordering is the order of accesses to computer memory by a CPU. Memory ordering depends on both the order of the instructions generated by the compiler…
• Volatile (computer programming) In computer programming, a variable is said to be volatile if its value can be read or modified asynchronously by something other than the current thread…
• Race condition A race condition or race hazard is the condition of an electronics, software, or other system where the system's substantive behavior is dependent on the…
• Sequential consistency Sequential consistency is a consistency model used in the domain of concurrent computing (e.g. in distributed shared memory, distributed transactions,…
• Double-checked locking In software engineering, double-checked locking (also known as "double-checked locking optimization") is a software design pattern used to reduce the overhead…