TY - JOUR

T1 - The fluid limit of a heavily loaded processor sharing queue

AU - Gromoll, H.C.

AU - Puha, A.L.

AU - Williams, R.J.

PY - 2002

Y1 - 2002

N2 - Consider a single server queue with renewal arrivals and i.i.d. service times in which the server operates under a processor sharing service discipline. To describe the evolution of this system, we use a measure valued process that keeps track of the residual service times of all jobs in the system at any given time. From this measure valued process, one can recover the traditional performance processes, including queue length and workload. We propose and study a critical fluid model (or formal law of large numbers approximation) for a heavily loaded processor sharing queue. The fluid model state descriptor is a measure valued function whose dynamics are governed by a nonlinear integral equation. Under mild assumptions, we prove existence and uniqueness of fluid model solutions. Furthermore, we justify the critical fluid model as a first order approximation of a heavily loaded processor sharing queue by showing that, when appropriately rescaled, the measure valued processes corresponding to a sequence of heavily loaded processor sharing queues converge in distribution to a limit that is almost surely a fluid model solution.

AB - Consider a single server queue with renewal arrivals and i.i.d. service times in which the server operates under a processor sharing service discipline. To describe the evolution of this system, we use a measure valued process that keeps track of the residual service times of all jobs in the system at any given time. From this measure valued process, one can recover the traditional performance processes, including queue length and workload. We propose and study a critical fluid model (or formal law of large numbers approximation) for a heavily loaded processor sharing queue. The fluid model state descriptor is a measure valued function whose dynamics are governed by a nonlinear integral equation. Under mild assumptions, we prove existence and uniqueness of fluid model solutions. Furthermore, we justify the critical fluid model as a first order approximation of a heavily loaded processor sharing queue by showing that, when appropriately rescaled, the measure valued processes corresponding to a sequence of heavily loaded processor sharing queues converge in distribution to a limit that is almost surely a fluid model solution.

U2 - 10.1214/aoap/1031863171

DO - 10.1214/aoap/1031863171

M3 - Article

VL - 12

SP - 797

EP - 859

JO - The Annals of Applied Probability

JF - The Annals of Applied Probability

SN - 1050-5164

IS - 3

ER -