Použili ste niekedy mechanizmy vzájomného blokovania na synchronizáciu vlákien alebo procesov?

Medzizávislé zablokovanie (deadlock) je situácia, keď dva alebo viac vlákien alebo procesov navždy zablokujú jeden druhého, čakajúc na uvoľnenie zdrojov, ktoré si navzájom držia.

Na synchronizáciu vlákien a prevenciu medzizávislých zablokovaní v C/C++ sa často používajú rôzne mechanizmy:

• Použitie mutexov (std::mutex) s dôkladným poradím pri získavaní zdrojov.
• Použitie std::lock alebo std::scoped_lock na súčasné zablokovanie viacerých mutexov bez rizika medzizávislého zablokovania.
• Použitie timeoutov pri pokuse o získanie zámkov, aby sa zabránilo nekonečnému čakanie.

Príklad s std::scoped_lock, ktorý zabraňuje medzizávislému zablokovaniu pri získavaní dvoch mutexov:

#include <mutex>

std::mutex mtx1, mtx2;

void safeFunction() {
    std::scoped_lock lock(mtx1, mtx2); // súčasné získanie oboch mutexov
    // kritická sekcia
}

Ak ste pracovali s vláknami, je dôležité dodržiavať poradie získavania zdrojov a používať moderné nástroje na synchronizáciu, aby ste predišli medzizávislým zablokovaniam.