r2, A, B) в этом примере объявлены были бы как volatile, то появившееся happens-before не оставит никакого места для реордеринга. Или я не прав?
А где там написано что-то про volatile? Там вроде написано что компилятор разрешает реордеринг хоть он и контринтуитивен
Обсуждают сегодня