We consider a system of K parallel queues providing
different grades of service through each of the queues and serving a
multiclass customer population. Service differentiation is achieved by
specifying different join prices to the queues. Customers of class
j define a cost function
ψij(ci,xi)
for taking service from queue i when the join price for queue
i is ci and congestion in queue
i is xi and join the queue that
minimizes ψij(·,·). Such a
queuing system will be called the “join minimum cost queue”
(JMCQ) and is a generalization of the join shortest queue (JSQ) system.
Non-work-conserving (called Paris Metro pricing system) and
work-conserving (called the Tirupati system) versions of the JMCQ are
analyzed when the cost to an arrival of joining a queue is a convex
combination of the join price for that queue and the expected waiting
time in that queue at the arrival epoch. Our main results are for a
two-queue system.
We obtain stability conditions and performance bounds. To obtain the
lower and upper performance bounds, we propose two quasi-birth–death
(QBD) processes that are derived from the original systems by suitably
truncating the state space. The state space truncation in the
non-work-conserving JMCQ follows the method of van Houtum and colleagues.
We then show that this method is not applicable to the work-conserving
JMCQ and provide sample-path-based proofs to show that the number in each
queue is bounded by the number in the corresponding queues of these QBD
processes. These sample-path proof techniques might also be of independent
interest. We then show that the performance measures like mean queue length
and revenue rate of the system are also bounded by the corresponding
quantities of these QBD processes. Numerical examples show that these bounds
are fairly tight. Finally, we generalize some of these results to systems with
more queues.