[MSUS | Prednáška] 12 - Kritické miesta a uviaznutia

Zhrnutie prednášky

Prednáška nadväzuje na predchádzajúcu tému a rozoberá analýzu kritických miest a uviaznutí vo workflow sieťach so zdieľanými statickými zdrojmi v jazyku PetriFlow. Vysvetľuje, prečo pri neohraničenom počte inštancií procesu nie je možné skúmať uviaznutia priamo v runtime sieti, a preto sa zavádza abstraktná sieť dosiahnuteľnosti, ktorá modeluje počty inštancií v jednotlivých dosiahnuteľných značkovaniach pôvodnej sound workflow siete. Ukazuje sa, že uviaznutie v sieti dosiahnuteľnosti zodpovedá uviaznutiu v runtime sieti, čím sa problém zjednodušuje. Následne sa definujú pojmy miesta so zdrojmi, prechody vyžadujúce zdroje a kritické miesta, a dokazuje sa, že z ľubovoľného uviaznutia sa dá dostať do tzv. kritického uviaznutia, kde sú označené iba kritické miesta.

• - Nadväzuje na predchádzajúcu prednášku o formálnych metódach a Petriho sieťach pre modelovanie udalostných systémov
• - Workflow siete so zdieľanými statickými miestami reprezentujúcimi obmedzené zdroje (napr. procesor, pamäť)
• - Deadlock (uviaznutie mimo koncového značkovania) vs. livelock (zacyklenie bez dosiahnutia konca)
• - Runtime sieť s neohraničeným počtom kópií inštancií nie je možné explicitne zostrojiť ani analyzovať
• - Sieť dosiahnuteľnosti ako abstrakcia modelujúca počet inštancií v jednotlivých dosiahnuteľných značkovaniach
• - Uviaznutie v sieti dosiahnuteľnosti je ekvivalentné uviaznutiu v runtime sieti
• - Definícia miest so zdrojmi, prechodov vyžadujúcich zdroje a kritických miest a dôkaz existencie kritického uviaznutia

Zhrnutie pripravené s pomocou AI z prepisu videa.