Каким образом обеспечивается последовательность операций между потоками с учетом правил Happens-before?

Компании, где спрашивали

СБЕР дейвайсы