Quan-Lin Li,John C.S. Lui
Abstract:Supermarket models are a class of parallel queueing networks with an adaptive control scheme that play a key role in the study of resource management of, such as, computer networks, manufacturing systems and transportation networks. When the arrival processes are non-Poisson and the service times are non-exponential, analysis of such a supermarket model is always limited, interesting, and challenging.
This paper describes a supermarket model with non-Poisson inputs: Markovian Arrival Processes (MAPs) and with non-exponential service times: Phase-type (PH) distributions, and provides a generalized matrix-analytic method which is first combined with the operator semigroup and the mean-field limit. When discussing such a more general supermarket model, this paper makes some new results and advances as follows: (1) Providing a detailed probability analysis for setting up an infinite-dimensional system of differential vector equations satisfied by the expected fraction vector, where "the invariance of environment factors" is given as an important result. (2) Introducing the phase-type structure to the operator semigroup and to the mean-field limit, and a Lipschitz condition can be obtained by means of a unified matrix-differential algorithm. (3) The matrix-analytic method is used to compute the fixed point which leads to performance computation of this system. Finally, we use some numerical examples to illustrate how the performance measures of this supermarket model depend on the non-Poisson inputs and on the non-exponential service times. Thus the results of this paper give new highlight on understanding influence of non-Poisson inputs and of non-exponential service times on performance measures of more general supermarket models.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to analyze the performance measures of this model when the arrival process is non - Poisson (such as Markovian Arrival Processes, MAPs) and the service time is non - exponentially distributed (such as Phase - type, PH distribution) in a more general supermarket model. This type of model plays a crucial role in resource management research in computer networks, manufacturing systems, and transportation networks, etc. However, due to the complexity of non - Poisson arrival processes and non - exponential service times, the analysis of this type of model has been limited, interesting, and challenging.
Specifically, the main contributions of the paper are as follows:
1. **Describe a more general supermarket model**: This model uses non - Poisson input (MAPs) and non - exponential service time (PH distribution), and defines a random fraction vector through the phase structure, and constructs an infinite - dimensional Markov process to express the state of this supermarket model. In addition, through detailed probability analysis, an infinite - dimensional differential vector equation system satisfying the expected fraction vector is established, and an important result is obtained: the invariance of environmental factors, which is crucial for simplifying the vector form of the differential equation.
2. **Introduce the concepts of operator semigroups and mean - field limits**: For MAP input and PH service time, provide operator semigroups expressed with phase structures, and use operator semigroups to give the mean - field limit, that is, a series of Markov processes asymptotically approach a single trajectory determined by the unique global solution of the infinite - dimensional limit differential vector equation system. To prove the existence and uniqueness of the solution, a unified matrix - differential algorithm is provided to establish the Lipschitz condition, which is the key in all strict proofs.
3. **Provide an effective matrix - analytic method**: It is used to calculate the fixed point and analyze the performance measures of this supermarket model. In addition, through some numerical examples, it shows how the performance measures of this supermarket model depend on non - Poisson MAP input and non - exponential PH service time.
These contributions not only promote the performance analysis of the supermarket model under non - Poisson input and non - exponential service time, but also provide a new perspective for understanding and analyzing non - linear Markov processes.