Hogyan működik a 'synchronized' szinkronizációs…

A synchronized mechanizmus Java-ban a monitor objektumokon (monitor objects) alapul. Minden Java objektumhoz tartozik egy monitor.

Amikor egy szál belép egy szinkronizált blokkba vagy metódusba, megpróbálja megszerezni a megfelelő objektum monitorját. Ha a monitor szabad, a szál megszerzi azt és folytatja a végrehajtást. Ha a monitor foglalt, a szál blokkolódik és várakozó állapotba kerül, amíg a monitor nem szabadul fel.

Amikor a szál elhagyja a szinkronizált blokkot vagy metódust (akár sikeresen, akár kivétel dobásával), felszabadítja a monitort.

A monitor belső megvalósítása a következőket tartalmazza:

Kölcsönös kizárás (Mutual Exclusion): Csak egy szál lehet egyszerre a monitor tulajdonosa. Ez garantálja, hogy csak egy szál hajthat végre szinkronizált kódot az adott objektumon.
Várakozás és értesítés (Waiting and Notification): A monitor tartalmaz wait(), notify() és notifyAll() metódusokat. Ezek lehetővé teszik a monitorral rendelkező szálak számára, hogy ideiglenesen felszabadítsák azt és várakozó állapotba kerüljenek, majd más szálak értesítése után folytathassák a munkát.

A háttérben történő megvalósítás magában foglalja:

monitorenter utasítás: A szinkronizált blokk vagy metódus belépésekor hajtódik végre. Megpróbálja megszerezni az objektum monitorját.
monitorexit utasítás: A szinkronizált blokk vagy metódus elhagyásakor hajtódik végre (akár normál befejezés, akár kivétel esetén). Felszabadítja az objektum monitorját.

Ezek az utasítások a Java bájtkód részei, és a Java virtuális gép (JVM) kezeli őket. A JVM natív operációs rendszer mechanizmusokat (például mutexeket, szemináriumokat) használ a monitorok kezelésére és a szálak blokkolására/felszabadítására.

A monitor megszerzése lehet az objektum szintjén (például példány metódusok és blokkok esetén) vagy a osztály szintjén (például static metódusok és blokkok esetén), az Class objektumot használva zárolásként.

Példa használatra:

public class Counter {
    private int count = 0;

    public synchronized void increment() { // Szinkronizált metódus
        count++;
    }

    public void decrement() {
        synchronized (this) { // Szinkronizált blokk
            count--;
        }
    }

    public static synchronized void staticMethod() { // Szinkronizált statikus metódus
        // ...
    }
}

A Object osztályhoz tartozó monitorral kapcsolatos metódusok táblázata:

Metódus	Leírás
`wait()`	A monitorral rendelkező szál ideiglenesen felszabadítja azt, és várakozó állapotba kerül.
`notify()`	Értesíti az egyik várakozó szálat, hogy megpróbálhatja megszerezni a monitort és folytathatja a munkát.
`notifyAll()`	Értesíti az összes várakozó szálat.

Hogyan működik a 'synchronized' szinkronizációs mechanizmus a Java nyelvben a háttérben?