#5 PB152 - Souběžnost

Hint

Answer

Orientovaný graf kde vrcholy jsou stavy a hrany jsou akce

Porušení kritické sekce

Hrany grafu predchádzania

Situace, kdy je neustále nějaký čtenář aktivní a písaři jsou tak trvale zablokováni

Provádí akce

Běh, který nesmí být přerušen

Lineární relace předcházení

Obsah registrov a pamäti v danom momente

Přechod z jednoho stavu do dalšího

Jev, který nastane v čase

Je-li vstupem nějaké akce Z paměťová buňka nebo registr, do které naposled zapisovala akce X, říkáme, že Z má na X:

Když se akce, které vedou ze souběžných událostí, spojí do společné

Nastává kdykoliv vedou dva různé časové sledy, které jsou oba konzistentní s relací předcházení pro daný systém, k různému vnějšímu chování

Relácia usporiadania udalostí

Orientovaná cesta ve stavovém prostoru

Chyba, která nastane existují-li souběžné datové závislosti

Lineární posloupnost změn stavu

Vztah mezi událostmi, které mezi sebou nemají přímou kauzální souvislost