Здравствуйте, WinnieJayClay, Вы писали:
WJC>Запутался в нотации, может кто-нибудь просто объяснить что означает ...
В общих словах это означает:
1) Если вы прочитали какое-то значение, то оно было кем-то записано ранее (гарантия отсутствия out-of-thin-air значений).
2) Если вы что-то прочитали, и это что-то было записано через всякие volatile/synchronized, то у вас будут и гарантии видимости предыдущих изменений согласно acquire/release семантике.

Спецификация JMM не предназначена для чтения широким кругом лиц. Ее цель — максимально полно и точно описать, что делает JMM с формальной точки зрения. К сожалению, как нельзя что-то сделать быстро, качественно и дешево одновременно, точно так же нельзя описать что-либо полно, точно и понятно одновременно. Поэтому я вам рекомендую бросить это бесперспективное занятие, и делать упор на практику и чтение объяснений JMM человеческим языком в различных статьях и блогах.
Я не постесняюсь сказать, что хорошо понимаю JMM. При этом я раз 20 открывал эту спецификацию, пытаясь что-то понять, и четко уловил, ну максимум несколько не самых сложных абзацев Это теоретическое обоснование JMM, которое нужно только тем, кто ее разрабатывает и обосновывает с академической точки зрения. На практике от нее толка нет.