Java Language Specification 24 / Chapter 17

• Chapter 17. Threads and Locks
• §17.1 . Synchronization
• §17.2 . Wait Sets and Notification
• §17.2.1 . Wait
• §17.2.2 . Notification
• §17.2.3 . Interruptions
• §17.2.4 . Interactions of Waits, Notification, and Interruption
• §17.3 . Sleep and Yield
• §17.4 . Memory Model
• §17.4.1 . Shared Variables
• §17.4.2 . Actions
• §17.4.3 . Programs and Program Order
• §17.4.4 . Synchronization Order
• §17.4.5 . Happens-before Order
• §17.4.6 . Executions
• §17.4.7 . Well-Formed Executions
• §17.4.8 . Executions and Causality Requirements
• §17.4.9 . Observable Behavior and Nonterminating Executions
• §17.5 . final Field Semantics
• §17.5.1 . Semantics of final Fields
• §17.5.2 . Reading final Fields During Construction
• §17.5.3 . Subsequent Modification of final Fields
• §17.5.4 . Write-Protected Fields
• §17.6 . Word Tearing
• §17.7 . Non-Atomic Treatment of double and long