Как се осигурява последователността на операциите между нишките, като се вземат предвид правилата Happens-before?

В Java правилата Happens-before определят реда на видимост на операциите между нишки, гарантирайки, че промените, направени от една нишка, ще бъдат видими за друга в определен ред. Последователността на операциите се осигурява чрез:

• Синхронизация: използването на ключовата дума synchronized създава монитор, който гарантира, че всички операции вътре в блока са синхронизирани и видими за други нишки след излизането от блока.

• Volatile променливи: четенето и писането на volatile променливи установяват отношения happens-before, осигурявайки видимостта на промените между нишките.

• Конструктори на нишково безопасни класове: например, класовете от java.util.concurrent използват вътрешни механизми за установяване на happens-before.

• Методи от java.util.concurrent: като Lock, CountDownLatch, Atomic класове, които осигуряват happens-before чрез своите операции.

Пример с volatile:

volatile boolean ready = false;
int number = 0;

// Нишка 1
number = 42;
ready = true; // запис във volatile

// Нишка 2
if (ready) { // четене във volatile
    System.out.println(number); // ще гарантира, че ще види 42
}

Тук записът във ready happens-before четенето на ready в друга нишка, така че промените в number ще бъдат видими.