Lekce 12 - Coffmanovy podmínky v C++
V minulé lekci, Deadlock a livelock v C++, byl probrán problém s deadlockem a livelockem. Zjistili jsme, že je to jedna z nejnebezpečnějších situacích ve vícevláknovém programování. Při špatném synchronizování a vyvolání deadlocku celý program zamrzne a nemáme-li prostředky, jak situaci detekovat (nebo ještě lépe ji předcházet), program musí být ukončen násilím.
V dnešní lekci se podíváme, jak lze detekovat deadlock nebo mu zabránit. Lekce bude jedna z těch teoretických. Tak vzhůru na to!
Coffmanovy podmínky
V roce 1971 popsal Edward G. Coffman čtyři podmínky, které dovolují vznik deadlocku. Jednodušeji řečeno se jedná o popis 4 vlastností systému. Pokud má systém (ať už je to operační systém nebo samotná aplikace) tyto čtyři vlastnosti (tedy splňuje Coffmanovy podmínky), může se v něm vyskytnout deadlock. Tyto čtyři podmínky jsou:
...konec náhledu článku...
Pokračuj dál
Došel jsi až sem a to je super! Věříme, že ti první lekce ukázaly něco nového a užitečného.
Chceš v kurzu pokračovat? Přejdi do prémiové sekce.
Koupit tento kurz
Obsah článku spadá pod licenci Premium, koupí článku souhlasíš se smluvními podmínkami.
- Neomezený a trvalý přístup k jednotlivým lekcím.
- Kvalitní znalosti v oblasti IT.
- Dovednosti, které ti pomohou získat vysněnou a dobře placenou práci.
Popis článku
Požadovaný článek má následující obsah:
V C++ tutoriálu si vysvětlíme, co to jsou Coffmanovy podmínky a jak nám umožní vyhnout se v aplikaci deadlocku.
Kredity získáš, když podpoříš naši síť. To můžeš udělat buď zasláním symbolické částky na podporu provozu nebo přidáním obsahu na síť.
