Hogyan biztosított a műveletek sorrendje a szálak között a Happens-before szabályok figyelembevételével?

Java-ban a Happens-before szabályok meghatározzák a műveletek láthatósági sorrendjét a szálak között, garantálva, hogy egy szál által végrehajtott változtatások egy adott sorrendben láthatóak legyenek egy másik szál számára. A műveletek sorozata a következő módon biztosított:

• Szinkronizáció: a synchronized kulcsszó használata létrehoz egy monitort, amely garantálja, hogy a blokkban végrehajtott összes művelet szinkronizált és látható más szálak számára a blokk elhagyása után.

• Volatile változók: a volatile változók olvasása és írása happens-before kapcsolatokat hoz létre, biztosítva a változások láthatóságát a szálak között.

• Szálbiztos osztályok konstruktorai: például a java.util.concurrent osztályai belső mechanizmusokat használnak a happens-before kialakítására.

• A java.util.concurrent metódusai: mint például a Lock, CountDownLatch, Atomic osztályok, amelyek műveleteiken keresztül garantálják a happens-before-t.

Példa volatile-lal:

volatile boolean ready = false;
int number = 0;

// Szál 1
number = 42;
ready = true; // volatile írás

// Szál 2
if (ready) { // volatile olvasás
    System.out.println(number); // garantáltan 42-t fog látni
}

Itt a ready-ba írt érték happens-before a ready olvasása egy másik szálban, így a number változásai láthatóvá válnak.