Stabilization of Branching Queueing Networks

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Stabilizace sítí větvících se front
Autoři	BRÁZDIL Tomáš KIEFER Stefan
Rok publikování	2012
Druh	Článek ve sborníku
Konference	Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	DOI
Obor	Informatika
Klíčová slova	continuous time Markov decision processes; infinite state systems; performance analysis
Popis	Sítě front jsou stále více používány za účelem analýzy výkonu paralelních počítačových systémů. Jacksonova síť je tvořena sítí vzájemně propojených serverů a to tak, že dokončení úlohy na serveru i může vést k vytvoření nové úlohy pro server j. My navrhujeme rozšíření Jacksonových sítí o možnost "větvení" úloh a o kontrolní mechanismus. Obě rozšíření podstatně zvýší modelovací sílu sítí. Na druhou stranu, algoritmická analýza, zejména v souvislosti se stabilitou, je tímto rozšířením komplikována. Přesto ukážeme, že problém stability je rozhodnutelný v polynomiálním čase i pro náš rozšířený model. Navíc, pokud existuje příslušný stabilní kontroler, lze efektivně spočítat stacionární randomizovaný kontroler, který je také stabilní.
Související projekty:	Formální metody pro analýzu a verifikaci komplexních systémů