Мне помогло для осознания таких вещей думать об описании действий в условном С более декларативно. Забудьте про последовательности вообще. Даже если речь про один поток, то выражения, которые мы пишем, добавляют в некий мешок кучку действий, а а момент точки следования происходит "коммит" этого всего. Получается, что такие моменты являются единственным "ограничением" на то, что происходит  и в каком порядке. Это в самой слабой модели памяти. Затем добавляются дополнительные гарантии, в соответствии с тем как сила модели памяти растёт

Это нормально, я у себя из головы лет пять гвозди вытаскивал по поводу JMM. Поэтому смею показывать, где эти гвозди есть :)

Да я ничего не говорю, просто перечитай ту доку еще, может будет более понятно.

Советую отличный блог Jeff Preshing

Мне в свое время очень помог быстро въехать в основы

Спс, это полезно

У него много статей про разные аспекты многопоточности и  lock free в частности

Верно. Эти rel и acq управляют только буферами памяти одного процессора. Другие процессоры об этих флагах ничего не знают. Они просто видят чужие чтения/записи

Вот теперь, я понял. И что же? А вот спасибо помогавшим. Ну и без Беркуса не обошлось :)

Кажется, все уже всё выяснили, но ведь за это де в своё время премию Тьюринга выдавали: https://lamport.azurewebsites.net/pubs/time-clocks.pdf

Тут тов. Лесли Лемпорт рассказывает, что такое happens before и прикидывает, как этим пользоваться. И никакого хабра :)

Извините.

Кстати тут недавно Terry Cavanagh выложил исходники VVVVVV и народ просто в шоке от логики. В совокупности там 300 switch-кейсов, один из которых имеет аж 4000 кейсов =) Так что кто то создает шедевры на ужастной кодовой базе, а кто то делает перфекционный и идеоматичный код на Haskell/Rust/Ocaml/F#/Scala (нужное подчеркнуть) который зачастую никому никогда и не пригодиться) Есть конечно над чем задуматься

потому что писать код != делать продукт

только если ваш код и не является продуктом

как в случае опенсурса

Свитч кейс это конечный автомат

там нет 4000 кейсов, там нумерация страненькая =)