BRÁZDIL, Tomáš and Stefan KIEFER. Stabilization of Branching Queueing Networks. In Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science. Paris, France: IBFI Schloss Dagstuhl, 2012, p. 507-518. ISBN 978-3-939897-35-4.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Stabilization of Branching Queueing Networks
Name in Czech Stabilizace sítí větvících se front
Authors BRÁZDIL, Tomáš (203 Czech Republic, guarantor, belonging to the institution) and Stefan KIEFER (276 Germany).
Edition Paris, France, Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, p. 507-518, 12 pp. 2012.
Publisher IBFI Schloss Dagstuhl
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher France
Confidentiality degree is not subject to a state or trade secret
Publication form storage medium (CD, DVD, flash disk)
WWW DOI
RIV identification code RIV/00216224:14330/12:00057347
Organization unit Faculty of Informatics
ISBN 978-3-939897-35-4
ISSN 1868-8969
Keywords in English continuous time Markov decision processes; infinite state systems; performance analysis
Tags formela-conference
Tags International impact, Reviewed
Changed by Changed by: doc. RNDr. Tomáš Brázdil, Ph.D., učo 4074. Changed: 11/4/2013 09:15.
Abstract
Queueing networks are gaining attraction for the performance analysis of parallel computer systems. A Jackson network is a set of interconnected servers, where the completion of a job at server i may result in the creation of a new job for server j. We propose to extend Jackson networks by "branching" and by "control" features. Both extensions are new and substantially expand the modelling power of Jackson networks. On the other hand, the extensions raise computational questions, particularly concerning the stability of the networks, i.e, the ergodicity of the underlying Markov chain. We show for our extended model that it is decidable in polynomial time if there exists a controller that achieves stability. Moreover, if such a controller exists, one can efficiently compute a static randomized controller which stabilizes the network in a very strong sense; in particular, all moments of the queue sizes are finite.
Abstract (in Czech)
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í.
Links
GAP202/10/1469, research and development projectName: Formální metody pro analýzu a verifikaci komplexních systémů
Investor: Czech Science Foundation
PrintDisplayed: 8/5/2024 01:06