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