Lekce 12 - Coffmanovy podmínky v C++

V dnešním C++ tutoriálu se podíváme, jak lze detekovat deadlock nebo mu zabránit. Ten byl probrán v předchozí lekci, Deadlock a livelock v C++, zároveň s 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. Dnešní lekce bude jedna z těch teoretických a povíme si, jak deadlocku předcházet. 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...

Prémiový článek

Na itnetwork.cz se nachází největší a nejucelenější česká databáze s výukovými články, jejímž cílem je umožnit kvalitní vzdělání v oblasti IT úplně každému. Měsíčně zobrazíme k milionu článků a sklidíme desítky děkovných emailů, kde nám sdělujete, že jsme vám pomohli k lepšímu zaměstnání nebo vzdělání.

Ačkoli se snažíme držet většinu obsahu úplně zadarmo, udržovat síť v provozu a aktuální stojí obrovské úsilí. Proto je nějaký obsah, jako cvičení nebo odbornějšíčlánky, přístupný pouze za body. Nebojte, nestojí to skoro nic :)

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.

Omezená nabídka: Nauč se vše a ušetři

	Koupit články a funkce postupně a po jednom	~~100 bodů~~
	Koupit celý kurz se všemi články a funkcemi za exkluzivní cenu	85 bodů
Na svém účtu máš aktuálně		0 bodů
Koupí tohoto výhodného balíčku získáš přístup ke všem 12 článkům s kontrolou a certifikací a ještě navíc ušetříš 38 Kč. Nabídka je omezená pouze pro první články z kurzu a obsahuje exkluzivní slevu 15%.
85 bodů získáš za přidání svého článku na síť nebo odpovídá		~~250 Kč~~ 212 Kč

Koupit pouze tento článek

Koupí článku k němu získáš neomezený přístup a to napořád. Posuneš své znalosti zas kousek dopředu a zároveň nám pomůžeš udržovat celý projekt při životě a pomáhat vám tak k lepší budoucnosti.

Obsah článku spadá pod licenci Premium, koupí článku souhlasíš se smluvními podmínkami.

Body 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íť.

Dobít body můžeš okamžitě např.:


Kartou	SMS	Převodem

Článek pro vás napsal Patrik Valkovič

Věnuji se programování v C++ a C#. Kromě toho také programuji v PHP (Nette) a JavaScriptu (NodeJS).

Aktivity (2)

	Pro přístup k článku potřebuješ	10 bodů
Na svém účtu máš aktuálně		0 bodů
10 bodů získáš za přidání svého článku na síť nebo odpovídá		25 Kč