12. diel - Coffmanovy podmienky v C ++

V dnešnom C ++ tutoriálu sa pozrieme, ako možno detekovať deadlock alebo mu zabrániť. Ten bol prebraný v predchádzajúcej lekcii, Deadlock a livelock v C ++ , zároveň s livelockem. Zistili sme, že je to jedna z najnebezpečnejších situáciách vo viacvláknové programovanie. Pri zlom synchronizáciu a vyvolanie Deadlock celý program zamrzne a nemáme ak prostriedky, ako situáciu detekovať (alebo ešte lepšie ju predchádzať), program musí byť ukončený násilím. Dnešná lekcia bude jedna z tých teoretických a povieme si, ako deadlock predchádzať. Tak hor sa na to!

Coffmanovy podmienky

V roku 1971 opísal Edward G. Coffman štyri podmienky, ktoré dovoľujú vznik deadlock. Jednoduchšie povedané sa jedná o opis 4 vlastností systému. Pokiaľ má systém (či už je to operačný systém alebo samotná aplikácia) tieto štyri vlastnosti (teda spĺňa Coffmanovy podmienky), môže sa v ňom vyskytnúť deadlock. Tieto štyri podmienky sú:


 

...koniec náhľadu článku...
Pokračuj ďalej

Vedomosti v hodnote stoviek tisíc získaš za pár eur

Došiel si až sem a to je super! Veríme, že ti prvé lekcie ukázali niečo nového a užitočného.
Chceš v kurze pokračovať? Prejdi do prémiovej sekcie.

Obsah článku spadá pod licenciu Premium, kúpou článku súhlasíš s Prevádzkovými podmienkami.

Čo od nás v ďalších lekciách dostaneš?
  • Prístup k jednotlivým lekciám podľa spôsobu obstarania.
  • Kvalitné znalosti v oblasti IT.
  • Zručnosti, ktoré ti pomôžu získať vysnívanú a dobre platenú prácu.

Popis článku

Požadovaný článok má nasledujúci obsah:

V C ++ tutoriálu si vysvetlíme, čo to sú Coffmanovy podmienky a ako nám umožní vyhnúť sa v aplikácii deadlock.
Článok pre vás napísal Patrik Valkovič
Avatar
Věnuji se programování v C++ a C#. Kromě toho také programuji v PHP (Nette) a JavaScriptu (NodeJS).
Aktivity