[DUS | Prednáška] 13 - Uviaznutia a zhrnutie predmetu

Zhrnutie prednášky

Prednáška nadväzuje na predchádzajúce zhrnutie workflow sietí so zdieľanými statickými miestami reprezentujúcimi obmedzené zdroje ako procesor či pamäť, ktoré si jednotlivé inštancie systému požičiavajú a následne vracajú. Vysvetľuje sa koncept siete dosiahnuteľnosti, kde miesta zodpovedajú dosiahnuteľným značkovaniam pôvodnej siete a počty tokenov reprezentujú počet inštancií v danom stave. Miesta sa klasifikujú na biele (bez použitých zdrojov), miesta so zdrojmi a kritické miesta, z ktorých je možné požičať si ďalší zdroj. Ústrednou témou je definícia uviaznutia (deadlocku) ako značkovania, z ktorého sa nedá dosiahnuť finálne značkovanie, pričom sa dokazuje ekvivalencia medzi existenciou uviaznutí v sieti dosiahnuteľnosti a v pôvodnej runtime sieti. Prednáška je poslednou v predmete Diskrétne udalostné systémy a smeruje k téme neblokujúcej (nesekvenčnej) semantiky.

• - Workflow siete so statickými miestami modelujú zdieľané zdroje (procesor, pamäť) ako požičovne.
• - Komplementárne dynamické miesta zaznamenávajú, koľko zdrojov si daná inštancia požičala.
• - Sieť dosiahnuteľnosti vzniká zo stavov (značkovaní) pôvodnej siete, ktoré sa stanú novými miestami.
• - Miesta siete dosiahnuteľnosti sa delia na biele, miesta so zdrojmi a kritické miesta.
• - Kritické miesto je stav, kde inštancia má už niečo požičané a môže si požičať ďalší zdroj.
• - Uviaznutie je definované ako značkovanie, z ktorého nie je dosiahnuteľné žiadne finálne značkovanie.
• - Existencia uviaznutí v sieti dosiahnuteľnosti je ekvivalentná existencii uviaznutí v pôvodnej runtime sieti.

Zhrnutie pripravené s pomocou AI z prepisu videa.