A Fluid Limit for the Engset Model an Application to Retrial Queues

Total Page:16

File Type:pdf, Size:1020Kb

A Fluid Limit for the Engset Model an Application to Retrial Queues A Fluid Limit for the Engset Model An Application to Retrial Queues Stylianos Georgiadis1, Pascal Moyal1, Tam´as B´erczes2 and J´anos Sztrik2 1Laboratoire de Math´ematiques Appliqu´ees de Compi`egne, Universit´ede Technologie de Compi`egne, Centre de Recherches de Royallieu, BP 20529, 60205, Compi`egne, France 2Faculty of Informatics, University of Debrecen, Egyetem tr 1, P.O. Box 12, 4010 Debrecen, Hungary Keywords: Engset Model, Fluid Limit, Semi-martingale Decomposition, Retrial Queues. Abstract: We represent the classical Engset-loss model by the stochastic process counting the number of customers in the system. A fluid limit for this process is established for all the possible values of the various parameters of the system, as the number of servers tends to infinity along with the number of sources. Our results are derived through a semi-martingale decomposition method. A numerical application is provided to illustrate these results. Then, we represent a finite-source retrial queue considering in addition the number of sources in orbit. Finally, we extend the fluid limit results to a retrial queueing system, discussing different cases. 1 INTRODUCTION tend to infinity. In our case, the number of servers tends to infinity along with the number of sources. In many real-life queueing systems of finite capacity, Such techniques have been applied fruitfully to many a customer may find a fullsystem upon arrival. In sev- queueing systems (Robert, 2000; Asmussen, 2003; eral finite-source models, this request can return to the Anisimov, 2007; Decreusefond and Moyal, 2012). source and stay there for a randomly distributed time Recently, (Feuillet and Robert, 2012) constructed ex- until it tries again to reach a server. The Engset model ponential martingales for the Engset model, allow- represents a loss queueing system having this input ing to derive asymptotic estimates for several hitting mechanism for several finite sources producing Pois- times of interest. We build on these results to de- son processes of the same intensity (see, e.g., (Engset, rive the fluid limit of an Engset model having a single 1918)). We suppose that the system has no buffer, server (Section 3), and then several servers (Section hence a request is either immediately served or im- 4). Simulations are presented in Section 5. mediately lost, whenever no server is available upon In a finite source retrial queue, the messages arrival. which couldnot reach a serverare sent to the so-called Such a model has been applied to a variety of re- orbit, from which they are re-emitted on and on, at a alistic computer and telecommunication systems and rate that is possibly higher than the original one. It is networks. For exemple, an Engset system is adequate then easily seen that the Engset model in nothing but a to representa radio-mobilenetwork in which the radio particular case of a retrial queueing system for which sources emit messages only if no message of the same the two emission rates are equal. Based on this obser- source is currently in service. One could think that the vation, in Section 6 we investigate some applications radio sources re-emit the same message as long as the of our initial result to derive the fluid approximation latter is refused due to the fact that all channels are of a retrial queue, under various conditions on the sys- busy, and wait to re-issue a new message whenever tem parameters. the previous message is in treatment. This model has a wide field of applications, so it has been studied extensively through analytical and algorithmic methods as well. However, when the sys- 2 THE ENGSET MODEL tem becomes very large, several complexity problems may appear. The fluid limit techniqueoffers the possi- We consider an Engset system with S (S 1) servers. bility to approximate the exact values of some charac- There are K (K > S) independent Poisson≥ sources teristics of the system, when one or more parameters emitting requests with intensity λ. The service times Georgiadis S., Moyal P., Bérczes T. and Sztrik J.. 315 A Fluid Limit for the Engset Model - An Application to Retrial Queues. DOI: 10.5220/0004203101170122 In Proceedings of the 2nd International Conference on Operations Research and Enterprise Systems (ICORES-2013), pages 117-122 ISBN: 978-989-8565-40-2 Copyright c 2013 SCITEPRESS (Science and Technology Publications, Lda.) ICORES2013-InternationalConferenceonOperationsResearchandEnterpriseSystems of the requests are exponentially distributed of param- 2.2 The Free Process eter µ. Whenever a request finds all servers busy, it is immediately lost. If not, the request enters service The free process describes an Engset model without and the corresponding source remain inactive during limitation in the number of servers, hence an infinite its treatment. As soon as the latter service has been server queues M/M/∞/∞/nK, having the same input completed, the source becomes active again, and re- mechanism. As above, the process Y n counting the emit jobs according to a Poisson process of intensity λ number of customers in the system, satisfies the semi- that is independent from the past. In particular, there martingale decomposition t is no dependence between the holding times and idle n n n periods of the sources. Y (t)= Y (0) µ Y (s)ds − Z0 Let XS := (XS(t); t 0) denote the process count- t ing the number of customers≥ in the system (i.e., the + λ (nK Y n(s)) ds + Pn(t) Z0 − number of busy servers) at current time. XS is a t Markov process, whose stationary measure is well- = Y n(0) (λ + µ) Y n(s)ds + λnKt + Pn(t), known and easily derived. − Z0 We first examine the Engset queueing model with (2) n a single server, and denote X := X1 the corresponding where P is a martingale. process. 2.1 Semi-martingale Decompositions 3 FLUIDLIMIT Recall (Jacod and Shiryaev, 2003; Decreusefond and We are interested in the asymptotic behavior of X n Moyal, 2012) that for a given Feller Markov process Z (properly rescaled), as the number of servers goes to of state space E and infinitesimal generator A defined infinity together with the number of sources. We ob- for all bounded f : E R by tain hereafter a fluid limit that coincides with that of a → 1 loss Erlang system M/M/n/n, and proceed as in Sec- A f (i)= lim E[ f (X(h)) X(0)= i] f (i) , i E, h 0 h | − ∈ tion 6.7 of (Robert, 2000). → the process We normalize the various processes as follows. t For all t 0, ≥ n n M f : t f (Z(t)) f (Z(0)) A f (Z(s)) ds (1) n X (t) n Y (t) → − − Z0 X¯ (t)= ; Y¯ (t)= . n n is a martingale w.r.t. the natural filtration of Z. Assume that the deterministic initial condition satis- For n 1 fixed, consider an Engset system ≥ n fies M/M/n/n/nK, and add a superscript to all the param- X¯ n(0) x, n ∞ eters involved. It is easily seen that the infinitesimal −→→ generator An of X n reads for all bounded f : R R where x [0,1] fixed. ∈ and all i 0,...,n , → We easily check that the semi-martingale equation ∈{ } (2) is similar to that of an M/M/∞ system of arrival in- An f (i)= tensity λnK and service durations of parameter λ + µ. λ(K i)( f (i + 1) f (i))+ µi( f (i 1) f (i)), Whenever Y¯ n(0) x, it then follows from Theorem − − − − n−→∞ = i 1,...,n 1 ; 6.13 of (Robert, 2000)→ that for all T 0, ∈{ − } ≥ µn( f (n 1) f (n)), i = n. − − E sup Y¯ n t Y t 0, (3) ( ) ∗( ) ∞ So, taking f as the identity function of 0,...,n in 0 t T | − | n−→ ≤ ≤ → (1), we get { } where, for all t 0, ≥ n α α (λ+µ)t A f (i)= λ(nK i)1 i<n iµ, Y ∗(t)= + (x )e− , (4) − { } − − which leads to the following semi-martingale decom- setting λK position : α = . t λ + µ n n n X (t)= X (0) µ X (s)ds Let the hitting times − Z0 t τn := inf t 0; X¯ n(t)= 1 λ n n + (nK X (s))1 Xn(s)<n ds + M (t), { ≥ n } Z0 − { } = inf t 0; X (t)= n { ≥ } where Mn is a martingale and X n(0) [0,n]. = inf t 0; Y n(t)= n (5) ∈ { ≥ } 316 AFluidLimitfortheEngsetModel-AnApplicationtoRetrialQueues and Proof. Notice that τ = inf t 0;Y ∗(t)= 1 . (6) n { ≥ } P sup X¯ (t) X ∗(t) 0 t T | − | 3.1 Heavy Traffic ≤ ≤ n n P(τ T)+ P sup Y¯ (t) Y ∗(t) > ε , First, we examine the case α > 1. Then, we get ≤ ≤ 0 t T | − | ≤ ≤ 1 α x and apply (3) together with Markov inequality. The τ = log − . (7) τn λ + µ α 1 first term vanishes as is asymptotically of the or- − der of nαn 1, as can be shown along the lines of The following lemma follows from Proposition 6 of ( )− (Feuillet and Robert, 2012). (Feuillet and Robert, 2012). Lemma 1. In heavy traffic, the following convergence 3.3 Critical Case in probability holds for the hitting time (5) : P α τn τ, (8) Suppose that = 1. We reason as above : n ∞ n −→→ Theorem 3. In the critical case, τ is of the order of τ where is defined by (7). log√n, hence the same convergence as in Theorem 2 Theorem 1. For all ε > 0 and all T 0, we have holds true. ≥ P sup X¯ n t X t > ε 0, ( ) ∗( ) ∞ 0 t T | − | n−→ ≤ ≤ → where, for all t 0, 4 MULTISERVER ENGSET ≥ (λ+µ)t MODEL X ∗(t)= 1 α + (x α)e− .
Recommended publications
  • A Bitcoin-Inspired Infinite-Server Model with a Random Fluid Limit
    A BITCOIN-INSPIRED INFINITE-SERVER MODEL WITH A RANDOM FLUID LIMIT MARIA FROLKOVA & MICHEL MANDJES Abstract. The synchronization process inherent to the Bitcoin network gives rise to an infinite- server model with the unusual feature that customers interact. Among the closed-form character- istics that we derive for this model is the busy period distribution which, counterintuitively, does not depend on the arrival rate. We explain this by exploiting the equivalence between two specific service disciplines, which is also used to derive the model's stationary distribution. Next to these closed-form results, the second major contribution concerns an asymptotic result: a fluid limit in the presence of service delays. Since fluid limits arise under scalings of the law-of-large-numbers type, they are usually deterministic, but in the setting of the model discussed in this paper the fluid limit is random (more specifically, of growth-collapse type). Key words. Stochastic-process limit ◦ fluid limit ◦ growth-collapse process ◦ Bitcoin. Affiliations. M. Frolkova and M. Mandjes are with Korteweg-de Vries Institute for Mathemat- ics, University of Amsterdam, Science Park 105-107, 1098 XG Amsterdam, the Netherlands. M. Frolkova is corresponding author (email: [email protected]). 1. Introduction The Bitcoin network is a payment system where all transactions between participants are carried out in the digital Bitcoin currency. These transactions are stored in a database called blockchain. In fact, every Bitcoin user maintains a blockchain version, thus keeping track of the global Bitcoin transaction history. This ensures transparency | one of the advertized Bitcoin features. Informa- tion spreads across the network via peer-to-peer communication.
    [Show full text]
  • 3 Lecture 3: Queueing Networks and Their Fluid and Diffusion Approximation
    3 Lecture 3: Queueing Networks and their Fluid and Diffusion Approximation • Fluid and diffusion scales • Queueing networks • Fluid and diffusion approximation of Generalized Jackson networks. • Reflected Brownian Motions • Routing in single class queueing networks. • Multi class queueing networks • Stability of policies for MCQN via fluid • Optimization of MCQN — MDP and the fluid model. • Formulation of the fluid problem for a MCQN 3.1 Fluid and diffusion scales As we saw, queues can only be studied under some very detailed assumptions. If we are willing to assume Poisson arrivals and exponetial service we get a very complete description of the queuing process, in which we can study almost every phenomenon of interest by analytic means. However, much of what we see in M/M/1 simply does not describe what goes on in non M/M/1 systems. If we give up the assumption of exponential service time, then it needs to be replaced by a distribution function G. Fortunately, M/G/1 can also be analyzed in moderate detail, and quite a lot can be said about it which does not depend too much on the detailed form of G. In particular, for the M/G/1 system in steady state, we can calculate moments of queue length and waiting times in terms of the same moments plus one of the distribution G, and so we can evaluate performance of M/G/1 without too many details on G, sometimes 2 E(G) and cG suffice. Again, behavior of M/G/1 does not describe what goes on in GI/G/1 systems.
    [Show full text]
  • FLUID and DIFFUSION LIMITS for QUEUES in SLOWLY CHANGING ENVIRONMENTS G. L. CHOUDHURY A. MANDELBAUM AT&T Laboratories Facult
    FLUID AND DIFFUSION LIMITS FOR QUEUES IN SLOWLY CHANGING ENVIRONMENTS G. L. CHOUDHURY A. MANDELBAUM AT&T Laboratories Faculty of Industrial and Room 1L-238 Management Engineering Holmdel, NJ 07730-3030 The Technion, Haifa 32000 ISRAEL M. I. REIMAN W. WHITT Bell Labs AT&T Laboratories Lucent Technologies Room 2C-178 Room 2C-117 Murray Hill, NJ 07974-0636 Murray Hill, NJ 07974-0636 Stochastic Models 13 (1997) 121{146 (Received the first Marcel F. Neuts best paper award) Key Words: queues in random environments, nearly-completely-decomposable Markov chains, Markov-modulated process, piecewise-stationary Mt=Gt=1 queue, stochastic fluid models, diffusion processes, fluid limit, heavy traffic. ABSTRACT We consider an infinite-capacity s-server queue in a finite-state random envi- ronment, where the traffic intensity exceeds 1 in some environment states and the environment states change slowly relative to arrivals and service comple- tions. Queues grow in unstable environment states, so that it is useful to look at the system in the time scale of mean environment-state sojourn times. As the mean environment-state sojourn times grow, the queue-length and work- load processes grow. However, with appropriate normalizations, these pro- cesses converge to fluid processes and diffusion processes. The diffusion process in a random environment is a refinement of the fluid process in a random envi- ronment. We show how the scaling in these limits can help explain numerical results for queues in slowly changing random environments. For that purpose, we apply recently developed numerical-transform-inversion algorithms for the MAP/G/1 queue and the piecewise-stationary Mt=Gt=1 queue.
    [Show full text]
  • A Functional Central Limit Theorem for the M/GI/ Queue
    The Annals of Applied Probability 2008, Vol. 18, No. 6, 2156–2178 DOI: 10.1214/08-AAP518 c Institute of Mathematical Statistics, 2008 A FUNCTIONAL CENTRAL LIMIT THEOREM FOR THE M/GI/∞ QUEUE By Laurent Decreusefond and Pascal Moyal GET, T´el´ecom Paris, and Universit´eParis, Dauphine and Universit´ede Technologie de Compi`egne In this paper, we present a functional fluid limit theorem and a functional central limit theorem for a queue with an infinity of servers M/GI/∞. The system is represented by a point-measure val- ued process keeping track of the remaining processing times of the customers in service. The convergence in law of a sequence of such processes after rescaling is proved by compactness-uniqueness meth- ods, and the deterministic fluid limit is the solution of an integrated equation in the space S′ of tempered distributions. We then establish the corresponding central limit theorem, that is, the approximation of the normalized error process by a S′-valued diffusion. We apply these results to provide fluid limits and diffusion approximations for some performance processes. 1. Introduction. The queues with an infinite reservoir of servers are clas- sical models in queueing theory. In such cases, all the customers are imme- diately taken care of upon arrival, and spend in the system a sojourn time equal to their service time. Beyond its interest to represent telecommunica- tion networks or computers architectures in which the number of resources is extremely large, this model (commonly referred to as pure delay queue) has been often used for comparison to other ones whose dynamics are formally much more complicated, but close in some sense.
    [Show full text]
  • VU Research Portal
    VU Research Portal Fluid Limit Approximations of Stochastic Networks Remerova, M. 2014 document version Publisher's PDF, also known as Version of record Link to publication in VU Research Portal citation for published version (APA) Remerova, M. (2014). Fluid Limit Approximations of Stochastic Networks. General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal ? Take down policy If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim. E-mail address: [email protected] Download date: 27. Sep. 2021 Fluid Limit Approximations of Stochastic Networks ISBN: 978-90-6464-775-8 c 2014 M. Remerova Cover design by Maria Remerova. The cover visualises the general idea of fluid limits: they provide a “helicopter view” of the system trajectories which strips away unessen- tial details and allows to see some key features. Print: GVO Drukkers & Vormgevers B.V. | Ponsen & Looijen, Ede VRIJE UNIVERSITEIT Fluid Limit Approximations of Stochastic Networks ACADEMISCH PROEFSCHRIFT ter verkrijging van de graad Doctor aan de Vrije Universiteit Amsterdam, op gezag van de rector magnificus prof.dr.
    [Show full text]
  • Lectures on Scaling Methods in Stochastic Networks Philippe Robert
    Lectures on scaling methods in stochastic networks Philippe Robert INRIA, Domaine de Voluceau, B.P. 105, 78153 Le Chesnay Cedex, FRANCE E-mail address: [email protected] CHAPTER 1 Rescaled Markov Processes and Fluid Limits Contents 1. Introduction 3 2. Rescaled Markov Processes 5 2.1. Fluid Limits 5 2.2. Examples 5 2.3. Fluid Limits as Dynamical Systems 10 3. Fluid Limits of a Class of Markov Processes 11 4. Relations with Skorohod Problems 19 4.1. The M/M/1 Queue 20 4.2. Jackson Networks 21 5. Criteria for Ergodicity Properties 27 5.1. A Criterion for Ergodicity 27 5.2. Absorption at 0 of Fluid Limits 30 5.3. An Interesting Example 33 6. Local Equilibrium of a Rescaled Markov Process 38 An M/M/1 Queue in a Markovian Environment 39 7. Bibliographical Notes 43 1. Introduction It is in general quite difficult to have a satisfactory description of an ergodic Markov process describing a stochastic network. When the dimension of the state space d is greater than 1, the geometry complicates a lot any investigation : Ana- lytical tools of Chapter ?? for dimension 1 cannot be easily generalized to higher dimensions. Note that the natural order on the real line plays an important role for Wiener-Hopf methods. The example of queueing networks seen in Chapter ?? for which the stationary distribution has a product form should be seen as an interest- ing exception, but an exception. In the same way as in Chapter ??, it is possible nevertheless to get some insight on the behavior of these processes through some limit theorems.
    [Show full text]
  • A Note on an M/M/S Queueing System with Two Reconnect and Two Redial Orbits
    Available at Applications and Applied http://pvamu.edu/aam Mathematics: Appl. Appl. Math. An International Journal ISSN: 1932-9466 (AAM) Vol. 10, Issue 1 (June 2015), pp. 1 – 12 A Note on an M/M/s Queueing System with two Reconnect and two Redial Orbits Amina Angelika Bouchentouf and Hanane Sakhi Department of Mathematics, Djillali Liabes University of Sidi Bel Abbes B. P. 89, Sidi Bel Abbes 22000, Algeria bouchentouf [email protected] & Department of Mathematics, Sciences and Technology University of Oran Mohamed Boudiaf, USTOMB BP 1505 El-M’naouar- Oran, Algeria [email protected] Received: August 8, 2014; Accepted: January 24, 2015 Abstract A queueing system with two reconnect orbits, two redial (retrial) orbits, s servers and two independent Poisson streams of customers is considered. An arriving customer of type i, i = 1, 2 is handled by an available server, if there is any; otherwise, he waits in an infinite buffer queue. A waiting customer of type i who did not get connected to a server will lose his patience and abandon after an exponentially distributed amount of time, the abandoned one may leave the system (lost customer) or move into one of the redial orbits, from which he makes a new attempt to reach the primary queue, and when a customer finishes his conversation with a server, he may comeback to the system, to one of the reconnect orbits where he will wait for another service. In this paper, a fluid model is used to derive a first order approximation for the number of customers in the redial and reconnect orbits in the heavy traffic.
    [Show full text]
  • Zhang Colostate 0053A 12175.Pdf (1.063Mb)
    DISSERTATION CONTINUUM LIMITS OF MARKOV CHAINS WITH APPLICATION TO WIRELESS NETWORK MODELING AND CONTROL Submitted by Yang Zhang Department of Electrical and Computer Engineering In partial fulfillment of the requirements For the Degree of Doctor of Philosophy Colorado State University Fort Collins, Colorado Spring 2014 Doctoral Committee: Advisor: Edwin K. P. Chong Donald Estep J. Rockey Luo Ali Pezeshki Copyright by Yang Zhang 2014 All Rights Reserved ABSTRACT CONTINUUM LIMITS OF MARKOV CHAINS WITH APPLICATION TO WIRELESS NETWORK MODELING AND CONTROL We investigate the continuum limits of a class of Markov chains. The investigation of such limits is motivated by the desire to model networks with a very large number of nodes. We show that a sequence of such Markov chains indexed by N, the number of components in the system that they model, converges in a certain sense to its continuum limit, which is the solution of a partial differential equation (PDE), as N goes to infinity. We provide sufficient conditions for the convergence and characterize the rate of convergence. As an application we approximate Markov chains modeling large wireless networks by PDEs. We first describe PDE models for networks with uniformly located nodes, and then generalize to networks with nonuniformly located, and possibly mobile, nodes. While traditional Monte Carlo simulation for very large networks is practically infeasible, PDEs can be solved with reasonable computation overhead using well-established mathematical tools. Based on the PDE models, we develop a method to control the transmissions in nonuniform networks so that the continuum limit is invariant under perturbations in node locations.
    [Show full text]
  • Mathematical Sciences and Applications E-Notes a NOTE ON
    Mathematical Sciences And Applications E-Notes Volume 2 No. 2 pp. 51{66 (2014) c MSAEN A NOTE ON FLUID APPROXIMATION OF RETRIAL QUEUEING SYSTEM WITH TWO ORBITS, ABANDONMENT AND FEEDBACK AMINA ANGELIKA BOUCHENTOUF, ABBES RABHI, LAHCENE YAHIAOUI (Communicated by Xiao-Jun YANG) Abstract. This paper deals with the asymptotic analysis of a queueing sys- tem model consisting of two orbits, ct servers, t ≥ 0, abandoned and feedback customers. Two independent Poisson streams of customers arrive to the sys- tem, an arriving one of type i; i = 1; 2 is handled by an available server, if there is any; otherwise, he waits in an infinite buffer queue. A waiting cus- tomer of type i who did not get connected to a server will lose his patience and abandon after an exponentially distributed amount of time, the abandoned one may leave the system (loss customer) or move to the orbit depending of its type, from which he makes a new attempts to reach the primary queue, this latter may lose his patience and leave the system definitively (from the orbit) after an exponentially distributed amount of time. When a customer finishes his conversation with a server, he may comeback to the system for another service. 1. Introduction During the past few decades, there has been increasing interest in studying re- trial queueing systems because they are widely used in performance analysis of many practical systems, retrial queues have been investigated extensively because of their applications in telephone switching systems, telecommunication networks and computer systems for competing to gain service from a central processing unit and so on.
    [Show full text]
  • A Fluid Limit for an Overloaded X Model Via a Stochastic Averaging Principle
    MATHEMATICS OF OPERATIONS RESEARCH Vol. 38, No. 2, May 2013, pp. 294–349 ISSN 0364-765X (print) ISSN 1526-5471 (online) http://dx.doi.org/10.1287/moor.1120.0572 © 2013 INFORMS A Fluid Limit for an Overloaded X Model via a Stochastic Averaging Principle Ohad Perry Department of Industrial Engineering and Management Sciences, Northwestern University, Evanston, Illinois 60208, [email protected], http://users.iems.northwestern.edu/~perry/ Ward Whitt Department of Industrial Engineering and Operations Research, Columbia University, New York, New York 10027, [email protected], http://www.columbia.edu/~ww2040/ We prove a many-server heavy-traffic fluid limit for an overloaded Markovian queueing system having two customer classes and two service pools, known in the call-center literature as the X model. The system uses the fixed-queue-ratio-with- thresholds (FQR-T) control, which we proposed in a recent paper as a way for one service system to help another in face of an unexpected overload. Under FQR-T, customers are served by their own service pool until a threshold is exceeded. Then, one-way sharing is activated with customers from one class allowed to be served in both pools. After the control is activated, it aims to keep the two queues at a prespecified fixed ratio. For large systems that fixed ratio is achieved approximately. For the fluid limit, or FWLLN (functional weak law of large numbers), we consider a sequence of properly scaled X models in overload operating under FQR-T. Our proof of the FWLLN follows the compactness approach, i.e., we show that the sequence of scaled processes is tight and then show that all converging subsequences have the specified limit.
    [Show full text]
  • Fluid Limits for Multiclass Many Server Queues with General Reneging Distributions and Head-Of-Line Scheduling
    Fluid Limits for Multiclass Many Server Queues with General Reneging Distributions and Head-of-Line Scheduling Amber L. Puha∗ and Amy R. Wardy July 13, 2020 Abstract We describe a fluid model with time-varying input that approximates a multiclass many server queue with general reneging distribution and multiple customer classes (specifically, the multiclass G/GI/N+GI queue). The system dynamics depend on the policy, which is a rule for determining when to serve a given customer class. The class of admissible control policies are those that are head-of-the-line and non-anticipating. For a sequence of many server queues operating under admissible HL control policies and satisfying some mild asymptotic conditions, we establish a tightness result for the sequence of fluid scaled queue state descriptors and associated processes, and show that limit points of such sequences are fluid model solutions almost surely. The tightness result together with the characterization of distributional limit points as fluid model solutions almost surely provides a foundation for the analysis of particular HL control policies of interest. We leverage these results to analyze a set of admissible HL control policies that we introduce, called weighted random buffer selection (WRBS), and an associated WRBS fluid model, that allows multiple classes to be partially served in the fluid limit (which is in contrast to previously analyzed static priority policies). Key words: many server queue; reneging; fluid limits; measure-valued process; scheduling control ∗California State University San Marcos, [email protected], https://faculty.csusm.edu/apuha/index.html, research supported by NSF Grant DMS-1510198 yThe University of Chicago Booth School of Business, [email protected], http://faculty.chicagobooth.edu/Amy.Ward/index.html 1 Introduction A classic question in the scheduling literature is to decide which customer should next go into service when a server becomes free [18].
    [Show full text]
  • Polling Systems and Their Application to Telecommunication Networks
    mathematics Article Polling Systems and Their Application to Telecommunication Networks Vladimir Vishnevsky *,† and Olga Semenova † Institute of Control Sciences of Russian Academy of Sciences, 117997 Moscow, Russia; [email protected] * Correspondence: [email protected] † The authors contributed equally to this work. Abstract: The paper presents a review of papers on stochastic polling systems published in 2007–2020. Due to the applicability of stochastic polling models, the researchers face new and more complicated polling models. Stochastic polling models are effectively used for performance evaluation, design and optimization of telecommunication systems and networks, transport systems and road management systems, traffic, production systems and inventory management systems. In the review, we separately discuss the results for two-queue systems as a special case of polling systems. Then we discuss new and already known methods for polling system analysis including the mean value analysis and its application to systems with heavy load to approximate the performance characteristics. We also present the results concerning the specifics in polling models: a polling order, service disciplines, methods to queue or to group arriving customers, and a feedback in polling systems. The new direction in the polling system models is an investigation of how the customer service order within a queue affects the performance characteristics. The results on polling systems with correlated arrivals (MAP, BMAP, and the group Poisson arrivals simultaneously to all queues) are also considered. We briefly discuss the results on multi-server, non-discrete polling systems and application of polling models in various fields. Keywords: polling systems; polling order; queue service discipline; mean value analysis; probability- generating function method; broadband wireless network Citation: Vishnevsky, V.; Semenova, O.
    [Show full text]