Exact aggregate solutions for M/G/1-type Markov processes
SIGMETRICS '02 Proceedings of the 2002 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Accuracy and Stability of Numerical Algorithms
Accuracy and Stability of Numerical Algorithms
The BMAP/G/1 QUEUE: A Tutorial
Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93
M/G/1-Type Markov Processes: A Tutorial
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
ETAQA Solutions for Infinite Markov Processes with Repetitive Structure
INFORMS Journal on Computing
Matrix-geometric solutions of M/G/1-type Markov chains: a unifying generalized state-space approach
IEEE Journal on Selected Areas in Communications
jMarkov: an object-oriented framework for modeling and analyzing Markov chains and QBDs
SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
A conditional probability approach to M/G/1-like queues
Performance Evaluation
Hi-index | 0.00 |
M/G/1-type processes are often evaluated using matrix analytic methods. Specifically, Ramaswami's recursive formula has been established as the numerically stable solution tool. Additionally, the ETAQA method, proposed previously, offers a more efficient alternative for the exact computation of a general class of metrics for M/G/1-type processes. However, the theoretical stability of ETAQA and its relation to Ramaswami's method were not well understood. In this paper, we derive a new formulation that improves the numerical stability and computational performance of ETAQA. The resulting new method solves a homogeneous system of equations to obtain the aggregate probability of a finite set of classes of states from the state space of the underlying Markov chain. The new method, constructs this system of linear equations in a way similar to the method of Ramaswami, decoupling the computation of the probabilities of the first two initial classes of states from the computation of the aggregate probability. Because direct methods are used to solve this system, the decoupling implies an often significant speed-up over ETAQA. In addition, we show that the coefficients of the homogeneous system of equations define an M-matrix, which under certain conditions, is also diagonally dominant and thus can be factored stably. More importantly, we show that the new method is just an efficient way to implement Ramaswami's method. We also discuss alternative normalization conditions for Ramaswami's method. Our numerical experiments demonstrate the stability of our method for both stiff and well-behaved processes, and for both low and high system utilizations.