Исходная ситуация: значение переменной Int не определено, значение переменной Bool = false
Поток1 пишет новое значение в переменную Int, а затем в переменную Bool значение true.
Поток2 читает переменную Bool, и если она True, то читает переменную Int.

Вопрос: может ли Поток2 быть уверен в том, что если переменная Bool == true, то переменная Int гарантированно содержит то значение, которое записал Поток1. Или на многопроцессорных системах это не гарантированно?