что-то подумалось, а почему так мало мануалов и статей по самокомпиляции динамических языков?

ну т.е. например Python или тот же JS дает полный доступ к своей внутрянке (байт-код, информация по наследованию)
почему не стало одной из распространенных практик для юзеров уровня мидла и выше фишка по написанию самокомпиляторов?

Чтобы что?

Могу ещё дальше мозг форматнуть. Смотрите опять на пример:
Thread 2: y = 1
Thread 3: r2 = y; // r2 <- 0
Thread 4: r3 = y; // r3 <- 1

Вы сказали, что такое возможно, потому что "Поток 3 перед потоком 2, а 4-ый после второго". И это правильный ответ. Но есть *ещё один правильный ответ*, который не очевиден без гвоздодёра:

Thread 2: y = 1   // выполнился первым
Thread 3: r2 = y; // выполнился вторым, и НЕ УВИДЕЛ 1
Thread 4: r3 = y;

Другими словами, выполнение "первый-второй-третий" НЕ говорит, что эффекты видны в таком порядке. (То есть, у нас нет некоторого строго-консенсусного последовательного хранилища) (То есть, у нас нет глобального порядка) (То есть, это самое "время" нам вообще ничем не помогает). В этом состоит гвоздь иллюзии про сериализованную память.

Хардварная аналогия, если так хочется: исполнение реально доехало до инструкций в каждом потоке в порядке "первый-второй-третий", каждый поговорил с подсистемой памяти, но получил *разные* ответы! (ввиду простых физических ограничений во время полёта обеих записей).

в вашем примере, как r2 может не увидеть, если используем acq / rel? Разве не будет синхронизации?

в вашем примере, как r2 может не увидеть, если используем acq / rel? Разве не будет синхронизации?

Синхронизация происходит только если acq читает из rel,
При этом acq чтение вообще не даёт никаких гарантий откуда прочитает значение

ну вот смотрите, про неочевидное поведение в комментарии Михаила:
Т2 пишет У = 1, релизом, Т3 грузит экваером, как он может не увидеть? Или, что вы имееете в виду под отсутствием гарантий откуда прочитает?

Вне зависимости от того, как читает? Или если чтение seq cst, то увидит, а во всех остальных кейсах - не факт? Тогда зачем это нужно?

Вне зависимости от того, как читает? Или если чтение seq cst, то увидит, а во всех остальных кейсах - не факт? Тогда зачем это нужно?