Stabilization of Branching Queueing Networks
| Název česky | Stabilizace sítí větvících se front |
|---|---|
| Autoři | |
| 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 | |
| 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: |