Care sunt modalitățile de gestionare a excluderii reciproce și a execuției sincronizate a firelor în programarea multithread?

În programarea multi-thread, se utilizează diferite mecanisme pentru gestionarea excluderii reciproce și executarea sincronizată a firelor:

• Mutex (excludere reciprocă) — un obiect care permite doar unui fir să execute o anumită secțiune de cod într-un moment dat, prevenind condițiile de cursă.

• Semafor — un contor care limitează numărul de fire care execută simultan un anumit cod.

• Cozi de dispatch (cozi GCD în iOS) — permit organizarea execuției secvențiale sau paralele a sarcinilor. O coadă secvențială garantează că sarcinile sunt executate una după alta, asigurând sincronizarea.

• NSLock, NSRecursiveLock, NSCondition — clase din Foundation pentru blocări și așteptarea condițiilor.

• OperationQueue și Operation — mecanisme de nivel superior pentru gestionarea dependențelor și sincronizării sarcinilor.

Exemplu de utilizare a DispatchQueue pentru sincronizare:

let serialQueue = DispatchQueue(label: "com.example.serialQueue")

serialQueue.async {
    // Acest cod va fi executat secvențial, fără acces concurent
    print("Executarea sarcinii 1")
}

serialQueue.async {
    print("Executarea sarcinii 2")
}

Astfel, pentru excluderea reciprocă se folosesc adesea mutex-uri sau cozi secvențiale, iar pentru sincronizare — semafoare, condiții și cozi cu dependențe.