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 pouze tento kurz
Získej okamžitý přístup ke kurzu bez
časového omezení.
675 Kč
Obsah článku spadá pod licenci Premium, koupí článku souhlasíš se smluvními podmínkami.
- Přístup k jednotlivým lekcím dle způsobu pořízení.
- 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íť.
