Я просто еще добавлю, что вариант x = 1, y = 0 - легальный.
synchronizes-with (в видео happens-before, но емнип в спеке был все-таки sw, который подразумевает hb) обещает только лишь что x = 1 будет выполнен ранее чем y = 1,
другими словами {x = 0, y = 0}, {x = 1, y = 0}, {x = 1, y = 1} являются легальными вариантами, нелегальный только {y = 1, x = 0}, который данный пример просто проигнорирует, потому что он реагирует только на y равный 0.