Ko dara sinhronizācija daudzvītīgā kontekstā?

Sinhronizācija kontekstā daudzš threaded programmēšanā novērš sacensību stāvokli (race condition) un nodrošina konsekventu piekļuvi kopīgiem resursiem (mainīgajiem, failiem, tīkla savienojumiem) no dažādiem pavedieniem.

Galvenie sinhronizācijas mehānismi:

• Mutex (mutekss): Savstarpēja izslēgšana. Tikai viens pavediens var piederēt muteksam un piekļūt aizsargātajam resursam.
• Semaphore (semaforu): Ierobežo pavedienu skaitu, kas vienlaikus var piekļūt resursam. Darbojas ar skaitītāju.
• Lock (slēdzene): Vispārīgs jēdziens, bieži lietots, lai apzīmētu muteksus vai citus mehānismus, kas pilnībā bloķē piekļuvi.
• Dispatch Queue (izpildes rinda): Grand Central Dispatch (GCD) rindas var būt secīgas (serial) vai paralēlas (concurrent), nodrošinot sinhronizāciju, pārvaldot uzdevumu secību un to vienlaicīgi izpildāmo skaitu. Sekvences rindas garantē uzdevumu izpildi pa vienam, kas inherentā veidā nodrošina sinhronizāciju ar datiem, pie kuriem piekļūst tikai no šīs rindas uzdevumiem.

Darba princips: Šūns, kurš vēlas piekļūt kopīgam resursam, vispirms mēģina iegūt bloķēšanu (acquire lock). Ja resurss ir brīvs, šūns iegūst bloķēšanu un strādā ar resursu. Pēc darba pabeigšanas šūns atbrīvo bloķēšanu (release lock). Ja resurss ir aizņemts, citi šūni tiek bloķēti (gaida), līdz resurss tiek atbrīvots.

Piemērs, izmantojot muteksu kritiskās sekcijas aizsardzībai:

// Piemērs Objective-C ar @synchronized
- (void)updateSharedResource {
    @synchronized (self) { // Bloķēšana uz self objektu
        // Šeit tiek veikta kritiskā sekcija
        // Pieeja sharedResource ir droša
        self.sharedResource++;
    } // Bloķēšana automātiski tiek atbrīvota, izejot no bloka
}

// Piemērs Swift ar NSLock
let lock = NSLock()
var sharedCounter = 0

func incrementCounter() {
    lock.lock() // Mēģinājums iegūt bloķēšanu
    // Kritiskā sekcija
    sharedCounter += 1
    lock.unlock() // Atbrīvo bloķēšanu
}

Sinhronizācija palīdz novērst šādas problēmas:

• Datu bojājumi
• Deadlock (savstarpēja bloķēšana)
• Livelock (aktīva bloķēšana)

Pareiza mehānisma izvēle ir atkarīga no uzdevuma rakstura un resursa veida.