Ką daro sinchronizacija daugialypės užduoties kontekste?

Sinchronizacija kontekste daugiabriaunėje programavime užkerta kelią lenktynių sąlygai (race condition) ir užtikrina nuoseklų bendrų išteklių (kintamųjų, failų, tinklo jungčių) prieigą iš skirtingų srautų.

Pagrindiniai sinchronizacijos mechanizmai:

• Mutex (muteksas): Tarpusavio išimtis. Tik vienas srautas gali turėti muteksą ir gauti prieigą prie apsaugoto ištekliaus.
• Semaphore (semaforas): Ribojasi su tuo, kiek srautų gali vienu metu pasiekti išteklių. Dirba su skaitikliu.
• Lock (užraktas): Bendras terminas, dažnai naudojamas žymėti muteksus ar kitus mechanizmus, kurie visiškai blokuoja prieigą.
• Dispatch Queue (vykdymo eilė): Grand Central Dispatch (GCD) eilės gali būti nuoseklios (serial) arba lygiagrečios (concurrent), užtikrinančios sinchronizaciją valdant užduočių tvarką ir jų vykdymo skaičių vienu metu. Serialios eilės garantuoja užduočių vykdymą po vieną, kas iš esmės užtikrina sinchronizaciją duomenims, prie kurių prieinama tik iš tų eilės užduočių.

Veikimo principas: Srautas, norintis gauti prieigą prie bendro ištekliaus, pirmiausia bando įsigyti užraktą (acquire lock). Jei išteklius laisvas, srautas gauna užraktą ir dirba su ištekliu. Baigus darbą, srautas atlaisvina užraktą (release lock). Jei išteklius užimtas, kiti srautai blokuojami (laukia), kol išteklius bus atlaisvintas.

Pavyzdys naudojant muteksą kritinei sekcijai apsaugoti:

// Pavyzdys Objective-C naudojant @synchronized
- (void)updateSharedResource {
    @synchronized (self) { // Užraktas ant self objekto
        // Čia vykdoma kritinė sekcija
        // Prieiga prie sharedResource yra saugi
        self.sharedResource++;
    } // Užraktas automatiškai atlaisvinamas išeinant iš bloko
}

// Pavyzdys Swift naudojant NSLock
let lock = NSLock()
var sharedCounter = 0

func incrementCounter() {
    lock.lock() // Bandymas gauti užraktą
    // Kritinė sekcija
    sharedCounter += 1
    lock.unlock() // Atlaisviname užraktą
}

Sinchronizacija padeda išvengti problemų, tokių kaip:

• Duomenų sugadinimas
• Deadlock (vienas kitą blokuojantys srautai)
• Livelock (aktyvus užrakinimas)

Tinkamo mechanizmo pasirinkimas priklauso nuo užduoties pobūdžio ir išteklių tipo.