Computer Performance Modeling Handbook
Computer Performance Modeling Handbook
A class of mean field interaction models for computer and communication systems
Performance Evaluation
Hybrid Limits of Continuous Time Markov Chains
QEST '11 Proceedings of the 2011 Eighth International Conference on Quantitative Evaluation of SysTems
Fluid limits of queueing networks with batches
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Proceedings of the 12th ACM SIGMETRICS/PERFORMANCE joint international conference on Measurement and Modeling of Computer Systems
Scheduling in a random environment: stability and asymptotic optimality
IEEE/ACM Transactions on Networking (TON)
Hi-index | 0.00 |
We consider the Machine Repairman Model with N working units that break randomly and independently according to a phase-type distribution. Broken units go to one repairman where the repair time also follows a phase-type distribution. We are interested in the behavior of the number of working units when N is large. For this purpose, we explore the fluid limit of this stochastic process appropriately scaled by dividing it by N. This problem presents two main difficulties: two different time scales and discontinuous transition rates. Different time scales appear because, since there is only one repairman, the phase at the repairman changes at a rate of order N, whereas the total scaled number of working units changes at a rate of order 1. Then, the repairman changes N times faster than, for example, the total number of working units in the system, so in the fluid limit the behavior at the repairman is averaged. In addition transition rates are discontinuous because of idle periods at the repairman, and hinders the limit description by an ODE. We prove that the multidimensional Markovian process describing the system evolution converges to a deterministic process with piecewise smooth trajectories. We analyze the deterministic system by studying its fixed points, and we find three different behaviors depending only on the expected values of the phase-type distributions involved. We also find that in each case the stationary behavior of the scaled system converges to the unique fixed point that is a global attractor. Proofs rely on martingale theorems, properties of phase-type distributions and on characteristics of piecewise smooth dynamical systems. We also illustrate these results with numerical simulations.