Какво прави синхронизацията в контекста на…

Синхронизацията в контекста на многопоточността предотвратява състезателни условия (race condition) и осигурява последователен достъп до споделените ресурси (променливи, файлове, мрежови връзки) от различни нишки.

Основните механизми за синхронизация:

Mutex (взаимно изключване): Само една нишка може да притежава mutex и да получи достъп до защитения ресурс.
Semaphore (семафор): Ограничва броя на нишките, които могат едновременно да получат достъп до ресурс. Работи с брояч.
Lock (блокировка): Обобщено понятие, често използвано за обозначаване на mutex или други механизми, които напълно блокират достъпа.
Dispatch Queue (опашка за разпределение): В Grand Central Dispatch (GCD), опашките могат да бъдат последователни (serial) или паралелни (concurrent), като осигуряват синхронизация чрез управление на реда и броя на задачите, които се изпълняват едновременно. Последователните опашки гарантират изпълнението на задачите една след друга, което по същество осигурява синхронизация за данните, достъпни само от задачите на тази опашка.

Принцип на работа: Нишка, която желае да получи достъп до споделен ресурс, първо се опитва да получи блокировка (acquire lock). Ако ресурсът е свободен, нишката получава блокировката и работи с ресурса. След приключване освобождава блокировката (release lock). Ако ресурсът е зает, други нишки се блокират (чакат), докато ресурсът не бъде освободен.

Пример за използване на mutex за защита на критична секция:

// Пример в Objective-C с използване на @synchronized
- (void)updateSharedResource {
    @synchronized (self) { // Блокиране върху обекта self
        // Тук се изпълнява критичната секция
        // Достъпът до sharedResource е безопасен
        self.sharedResource++;
    } // Блокировката автоматично се освобождава при изхода от блока
}

// Пример в Swift с използване на NSLock
let lock = NSLock()
var sharedCounter = 0

func incrementCounter() {
    lock.lock() // Опит за получаване на блокировка
    // Критична секция
    sharedCounter += 1
    lock.unlock() // Освобождаване на блокировката
}

Синхронизацията помага да се избегнат проблеми като:

Повреждане на данните.
Deadlock (задържане взаимно на нишки).
Livelock (активни блокирания) на нишки.

Изборът на подходящ механизъм за синхронизация зависи от природата на задачата и типа на ресурса.

Какво прави синхронизацията в контекста на многопоточността?