Issue No. 02 - March/April (2009 vol. 35)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSE.2008.74
Greg Franks , Carleton University, Ottawa
Tariq Al-Omari , IBM, Toronto
Murray Woodside , Carleton University , Ottawa
Olivia Das , Ryerson University, Toronto
Salem Derisavi , IBM, Toronto
Layered queues are a canonical form of extended queueing network for systems with nested multiple resource possession, in which successive depths of nesting define the layers. The model has been applied to most modern distributed systems, which use different kinds of client-server and master-slave relationships, and scales up well. The Layered Queueing Network (LQN) model is described here in a unified fashion, including its many more extensions to match the semantics of sophisticated practical distributed and parallel systems. These include efficient representation of replicated services, parallel and quorum execution, and dependability analysis under failure and reconfiguration. The full LQN model is defined here and its solver is described. A substantial case study to an air traffic control system shows errors (compared to simulation) of a few percent. The LQN model is compared to other models and solutions, and is shown to cover all their features.
Performance, Modeling and prediction, Queuing theory
T. Al-Omari, G. Franks, O. Das, M. Woodside and S. Derisavi, "Enhanced Modeling and Solution of Layered Queueing Networks," in IEEE Transactions on Software Engineering, vol. 35, no. , pp. 148-161, 2008.