Elements of Probability and Queueing Theory

Total Page:16

File Type:pdf, Size:1020Kb

Elements of Probability and Queueing Theory APPENDIX A Elements of Probability and Queueing Theory The primary purpose of this appendix is to summarize for the reader's conve­ nience those parts of the elements of probability theory, Markov process, and queueing theory that are most relevant to the subject matter of and in consistent notations with this book. Mathematical terminologies are used only for the pur­ pose of introducing the language to the intended readers. No pretense at rigor is attempted. Except for some relatively new material and interpretations, the reader can find a more thorough introduction of this material in [Kleinrock 1975 Chapters 2 - 4] and [Cinlar 1975]. A.1 Elements of Probability Theory Let (Q, F, P) be a probability space, where F is a O'-field in Q and P is a prob- ability measure defined on F. A random variable X is areal (measurable) function defined on the probability space. For any roe Q, X(ro)e R is areal number. The distribution function of X is defined as F(x) = P(ro: X(ro) ~x). Function fex) is called the probability density of the random variable X if for any subset Ae R, we have P( Xe A) =i f(x) dx. If F(x) is differentiable at x, then fex) = dF(x)/dx. If X takes values only in a countable set of real numbers, X and F(x) are called discrete. A familiar dis­ crete distribution is the binomial distribution: 312 APPENDIX A r=O,I,2, ... ,n. If n=l, the distribution is called a Bernoulli distribution. For engineering pur­ poses, we can think of F(x) or f(x) as a function defining or characterizing the random variable, X. To simplify the description, we often use gross character­ izations, such as, the mean and variance which give respectively the center of gravity and the spread (along the x axis) of the shape of f(x). The mean (or the expected) value of a random variable X on n is the integral of X with respect to the distribution function F(x): E[X] =[ xdF(x) = [ xf(x)dx, The kth moment of X is E[Xkl = [ x"<!F(x) = [ xkf(x)dx, In particular, the variance of Xis the second central moment A Random or Stochastic Sequence is simply a sequence of random variables indexed by an independent variable, usually the time. A random sequence is defined by specifying the joint distribution function of all the random variables Xl, X2, X3, ... , Xn, •• involved. If then the random sequence is said to possess the Markov property which colloquially can be described as "knowledge of the present separates the past and the future." Other modifying adjectives, such as Gaussian, Stationary (wide sense and strict sense), Purely random (the so-called "white" noise), Discrete State, Semi-Markov, Renewal etc are additional specifications and / or restrictions placed on the joint density function. Elements of Probability and Queueing Theory 313 Exerclse Make the above defining adjectives conceptually precise by spelling out these specifications on the joint density functions. Ignoring mathematical intricaeies, we ean think of a random or stochas­ tic process as the limit of a random sequence when the indexing variable becomes continuous. For a sequence of random variables, we are often interested in whether or not it converges, and if so, whether it converges to a given random variable or a deterministic eonstant. Let Xn be a sequence of random variables with distribution functions Fn(x), n =1,2, .... This sequence converges to a random variable X if IXn-XI becomes small in some sense as n--7oo• The definitions for different convergences are given as follows. (i) Convergence in probability: If for any e>O, limn~[ IXn - XI ~ e] =0, then Xn is said to converge to X in probability as n --700. (ü) Convergence with probability one (almost sure (a.s.) convergence): If for any E>Ü, limn~P[max ~ IXk-XI~]=O, orIfP[ro: liffin~Xn(ro) = X(ro)] =1, then Xn is said to converge to X with probability one (w.p.l), or almost surely, as n --700. (üi) Convergence in mean or mean square: If limn~ooE[ IXn - XI] =0 or limn~ooE[ IXn - XI2 ] =0, then Xn is said to converge to X in mean or in mean square as n--7oo• Convergence in mean square implies convergence inmean. (iv) Convergence in distribution and weak convergence: If limn~ooFn(x) = F(x) for every continuity point x of F, then Xn is said to eonverge to X in distribution as n --7 00 , and the distribution function Fn(x) is said to converge wealdy to F(x). Some examples will help to gain an intuitive understanding of the definitions. Example 1 Let the sequence of Xi'S be independently distributed according to P(Xn= 1) = 1 n and 314 APPENDIX A P(Xn=0)=1-k· (i) This sequence clearly converges in probability to the degenerate random variable, zero, since lim.1 = 0 for E<1, f n~oon limP(IXnl ~E) = \ n~oo limO=O forQl. n~oo (ii) However, this sequence does not converge to zero with probability one. Since lim P{MaxlXkl ~E }= lim {1- fi(1_I)} =1- 0 = 1 for any n and E<l. n~oo k~ n~oo k=n k (iii) Finally, this sequence does converge in mean or mean square because !~~E[Xn] = !~~ {1xP(Xn=1)+OxP(Xn=O)}= !~~ i = O. and !~E[X~] = nl~~ {1 2xP(Xn=1)+02xP(Xn=O)}= nl~ k = O. Example 2 Consider the same setup as in Example 1 except P(Xn= n) =...L n2 and P(Xn= 0 ) = 1 - ...L . n2 (i) It is c1ear that convergence in probability still holds. (ii) But now the sequence also converges with probability one since lim P{MaxIXkl~E}= lim {1- TI (1- ...L)} = 1-1 = 0, 'V large n andE<1. n~oo ~ n~oo k=n k2 Elements of Probability and Queueing Theory 315 (ili) However, convergence in mean and mean square holds and no longer holds, respectively. This is because limE[Xn] = lim {nxP(Xn=1)+OxP(Xn=O)}= lim...ll... = 0 n~oo n~oo n~n2 and limE[~] = lim {n2xP(Xn=1)+02xp(Xn=O)}= limn2 = 1. n~oo n~oo n~oon2 Very roughly speaking, convergence with probability one is concemed with how fast deviations from the limit disappears as n~oo while mean square convergence is concerned with how fast the amplitude of the deviation de­ creases as n~oo. Finally, convergence in distribution or weak convergence is concemed with whether or not the distribution of a random variable becomes statistically indistinguishable from that of another. In weak convergence, we do not make sample-path-wise comparisons. Both convergence with probability one and convergence in mean (mean square) imply convergence in prob ability which, in turn, implies convergence in distribution [Billingsley 1979]. Conver­ gence with probability one and convergence in mean do not imply each other. However, if Xn is dominated by another random variable, Y, which has a finite mean, then Xn converges to X with prob ability one (w.p.l) implies that Xn converges to X in mean. This can be easily proved by using the Lebesgue dominated convergence theorem stated below. Lebesgue domInated convergence theorem: Let Xn and Y be random variables on Q. If Y has a finite mean, IXnl SY w. p.l, and limn~n(ro) = X(ro) w.p.1, then limn~[Xn(ro)] = E~~n(ro)] = E[X(ro)]. Pictorially, the relationship among the various convergence definitions are as follows: 316 APPENDIX A Another important theorem is: The Law of Large Numbers: Suppose that {Xn } is an independent sequence and E[Xn] = O. If 1:n Var [Xn] / n2 < 00, then . 1 n hm- "LXk=O, w.p.1. n-400n k=l A direct corollary of this result is: Suppose that Xl, X2, ... are independent and identically distributed (Li.d) and E[Xn] = E[X] , then w.p.1. Finally, another concept used quite often in this book is the consistency of estimates. Let e be a quantity to be estimated and en, n=1,2, ... , be estimates of e. The estimate en is said to be consistent for e if en converges to e in probability or with probability one. The former may be called weak consistency and the latter, strong consistency. For example, if Xl, X2' ... are i.i.d., then {X1+ ... +Xn}/n is a strong consistent estimate ofE[X]. Elements of Probability and Queueing Theory 317 A.2 Markov Processes We review in this section the basic concepts and tenninologies of the Markov processes basically following [Cinlar 1975]. A.2.1 Markov Chalns Let n be a sampIe probability space and P a probability measure on it. Consider a stochastic sequence X = { Xn, ne (0, I,... )} with a countable state space'l' and indexed by time; that is, for each n e (0,1, ... ) and ooe n, Xn(oo) is an element of'l'. The elements of'l' are customarily denoted as integers. Thus Xn = j means the process is in state j at time n. A stochastic process X = {Xn' n=O,I, ... } is called a Markov chain pro­ vided that P(Xn+ 1=j I Xo, XI, ... , Xn) = P(Xn+ 1=j I Xn) for all j e 'I' and n e (O, 1, ... )1. Let P(ij) == P(Xn+ 1 =j I Xn =i) be the transition probability of the Markov chain and P = [ P(i,j)] , i,j e 'I' be the transition matrix. Let 1t(i), i e '1', be the steady state probability of state i.
Recommended publications
  • Slides As Printed
    Computer Systems Modelling Ian Leslie Notes by Dr R.J. Gibbens (minor edits by Ian Leslie) Computer Laboratory University of Cambridge Computer Science Tripos, Part II Lent Term 2016/17 CSM 2016/17 (1) Course overview 12 lectures covering: ◮ Introduction to modelling: ◮ what is it and why is it useful? ◮ Simulation techniques: ◮ random number generation, ◮ Monte Carlo simulation techniques, ◮ statistical analysis of results from simulation and measurements; ◮ Queueing theory: ◮ applications of Markov Chains, ◮ single/multiple servers, ◮ queues with finite/infinite buffers, ◮ queueing networks. CSM 2016/17 (2) Recommended books Ross, S.M. Probability Models for Computer Science Academic Press, 2002 Mitzenmacher, M & Upfal, E. Probability and computing: randomized algorithms and probabilistic analysis Cambridge University Press, 2005 Jain, A.R. The Art of Computer Systems Performance Analysis Wiley, 1991 Kleinrock, L. Queueing Systems — Volume 1: Theory Wiley, 1975 CSM 2016/17 (3) Introduction to modelling CSM 2016/17 (4) Why model? ◮ A manufacturer may have a range of compatible systems with different characteristics — which configuration would be best for a particular application? ◮ A system is performing poorly — what should be done to improve it? Which problems should be tackled first? ◮ Fundamental design decisions may affect performance of a system. A model can be used as part of the design process to avoid bad decisions and to help quantify a cost/benefit analysis. CSM 2016/17 (5) A simple queueing system arrival queue server departure ◮
    [Show full text]
  • The Queueing Network Analyzer
    THE BELL SYSTEM TECHNICAL JOURNAL Vol. 62, No.9, November 1983 Printed in U.S.A. The Queueing Network Analyzer By W. WHITT* (Manuscript received March 11, 1983) This paper describes the Queueing Network Analyzer (QNA), a software package developed at Bell Laboratories to calculate approximate congestion measures for a network of queues. The first version of QNA analyzes open networks of multiserver nodes with the first-come, first-served discipline and no capacity constraints. An important feature is that the external arrival processes need not be Poisson and the service-time distributions need not be exponential. Treating other kinds of variability is important. For example, with packet-switchedcommunication networks we need to describe the conges­ tion resulting from bursty traffic and the nearly constant service times of packets. The general approach in QNA is to approximately characterize the arrival processes by two or three parameters and then analyze the individual nodes separately. The first version of QNA uses two parameters to characterize the arrival processes and service times, one to describe the rate and the other to describe the variability. The nodes are then analyzed as standard GI/G/m queues partially characterized by the first two moments of the interarrival­ time and service-time distributions. Congestion measures for the network as a whole are obtained by assuming as an approximation that the nodes are stochastically independent given the approximate flow parameters. I. INTRODUCTION AND SUMMARY Networks of queues have proven to be useful models to analyze the performance of complex systems such as computers, switching ma­ chines, communications networks, and production job shOpS.1-7 To facilitate the analysis of these models, several software packages have * Bell Laboratories.
    [Show full text]
  • Product-Form in Queueing Networks
    Product-form in queueing networks VRIJE UNIVERSITEIT Product-form in queueing networks ACADEMISCH PROEFSCHRIFT ter verkrijging van de graad van doctor aan de Vrije Universiteit te Amsterdam, op gezag van de rector magnificus dr. C. Datema, hoogleraar aan de faculteit der letteren, in het openbaar te verdedigen ten overstaan van de promotiecommissie van de faculteit der economische wetenschappen en econometrie op donderdag 21 mei 1992 te 15.30 uur in het hoofdgebouw van de universiteit, De Boelelaan 1105 door Richardus Johannes Boucherie geboren te Oost- en West-Souburg Thesis Publishers Amsterdam 1992 Promotoren: prof.dr. N.M. van Dijk prof.dr. H.C. Tijms Referenten: prof.dr. A. Hordijk prof.dr. P. Whittle Preface This monograph studies product-form distributions for queueing networks. The celebrated product-form distribution is a closed-form expression, that is an analytical formula, for the queue-length distribution at the stations of a queueing network. Based on this product-form distribution various so- lution techniques for queueing networks can be derived. For example, ag- gregation and decomposition results for product-form queueing networks yield Norton's theorem for queueing networks, and the arrival theorem implies the validity of mean value analysis for product-form queueing net- works. This monograph aims to characterize the class of queueing net- works that possess a product-form queue-length distribution. To this end, the transient behaviour of the queue-length distribution is discussed in Chapters 3 and 4, then in Chapters 5, 6 and 7 the equilibrium behaviour of the queue-length distribution is studied under the assumption that in each transition a single customer is allowed to route among the stations only, and finally, in Chapters 8, 9 and 10 the assumption that a single cus- tomer is allowed to route in a transition only is relaxed to allow customers to route in batches.
    [Show full text]
  • Matrix Geometric Approach for Random Walks
    Matrix geometric approach for random walks Citation for published version (APA): Kapodistria, S., & Palmowski, Z. B. (2017). Matrix geometric approach for random walks: stability condition and equilibrium distribution. Stochastic Models, 33(4), 572-597. https://doi.org/10.1080/15326349.2017.1359096 Document license: CC BY-NC-ND DOI: 10.1080/15326349.2017.1359096 Document status and date: Published: 02/10/2017 Document Version: Publisher’s PDF, also known as Version of Record (includes final page, issue and volume numbers) Please check the document version of this publication: • A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication 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.
    [Show full text]
  • BUSF 40901-1/CMSC 34901-1: Stochastic Performance Modeling Winter 2014
    BUSF 40901-1/CMSC 34901-1: Stochastic Performance Modeling Winter 2014 Syllabus (January 15, 2014) Instructor: Varun Gupta Office: 331 Harper Center e-mail: [email protected] Phone: 773-702-7315 Office hours: by appointment Class Times: Wed, Fri { 10:10-11:30 am { Harper Center (3A) Final Exam (tentative): March 21, Friday { 8:00-11:00am { Harper Center (3A) Course Website: http://chalk.uchicago.edu Course Objectives This is an introductory course in queueing theory and performance modeling, with applications including but not limited to service operations (healthcare, call centers) and computer system resource management (from datacenter to kernel level). The aim of the course is two-fold: 1. Build insights into best practices for designing service systems (How many service stations should I provision? What speed? How should I separate/prioritize customers based on their service requirements?) 2. Build a basic toolbox for analyzing queueing systems in particular and stochastic processes in general. Tentative list of topics: Open/closed queueing networks; Operational laws; M=M=1 queue; Burke's theorem and reversibility; M=M=k queue; M=G=1 queue; G=M=1 queue; P h=P h=k queues and their solution using matrix-analytic methods; Arrival theorem and Mean Value Analysis; Analysis of scheduling policies (e.g., Last-Come-First Served; Processor Sharing); Jackson network and the BCMP theorem (product form networks); Asymptotic analysis (M=M=k queue in heavy/light traf- fic, Supermarket model in mean-field regime) Prerequisites Exposure to undergraduate probability (random variables, discrete and continuous probability dis- tributions, discrete time Markov chains) and calculus is required.
    [Show full text]
  • Queing Theory
    QUEUING THEORY Jaroslav Sklenar Department of Statistics and Operations Research University of Malta Contents Introduction 1 Elements of Queuing Systems 2 Kendall Classification 3 Birth and Death Processes 4 Poisson Process 4.1 Merging and Splitting Poisson Processes 4.2 Model M/G/ 5 Model M/M/1 5.1 PASTA 6 General Results 6.1 Markovian Systems with State Dependent Rates 7 Model with Limited Capacity 8 Multichannel Model 9 Model with Limited Population 9.1 Model with Spares 10 Other Markovian Models 10.1 Multichannel with Limited Capacity and Limited Population 10.2 Multichannel with Limited Capacity and Unlimited Population 10.3 Erlang’s Loss Formula 10.4 Model with Unlimited Service 11 Model M/G/1 12 Simple Non-Markovian Models 13 Queuing Networks 13.1 Feed Forward Networks 13.2 Open Jackson Networks 13.3 Closed Jackson Networks 14 Selected Advanced Models 14.1 State Dependent Rates Generalized 14.2 Impatience 14.3 Bulk Input 14.4 Bulk Service 14.5 Systems with Priorities 14.6 Model G/M/1 15 Other Results and Methods References Appendices Introduction This text is supposed to be used in courses oriented to basic theoretical background and practical application of most important results of Queuing Theory. The assumptions are always clearly explained, but some proofs and derivations are either presented in appendices or skipped. After reading this text, the reader is supposed to understand the basic ideas, and to be able to apply the theoretical results in solving practical problems. Symbols used in this text are unified with the book [1].
    [Show full text]
  • Inferring Queueing Network Models from High-Precision Location Tracking Data
    University of London Imperial College of Science, Technology and Medicine Department of Computing Inferring Queueing Network Models from High-precision Location Tracking Data Tzu-Ching Horng Submitted in part fulfilment of the requirements for the degree of Doctor of Philosophy in Computing of the University of London and the Diploma of Imperial College, May 2013 Abstract Stochastic performance models are widely used to analyse the performance and reliability of systems that involve the flow and processing of customers. However, traditional methods of constructing a performance model are typically manual, time-consuming, intrusive and labour- intensive. The limited amount and low quality of manually-collected data often lead to an inaccurate picture of customer flows and poor estimates of model parameters. Driven by ad- vances in wireless sensor technologies, recent real-time location systems (RTLSs) enable the automatic, continuous and unintrusive collection of high-precision location tracking data, in both indoor and outdoor environment. This high-quality data provides an ideal basis for the construction of high-fidelity performance models. This thesis presents a four-stage data processing pipeline which takes as input high-precision location tracking data and automatically constructs a queueing network performance model approximating the underlying system. The first two stages transform raw location traces into high-level “event logs” recording when and for how long a customer entity requests service from a server entity. The third stage infers the customer flow structure and extracts samples of time delays involved in the system; including service time, customer interarrival time and customer travelling time. The fourth stage parameterises the service process and customer arrival process of the final output queueing network model.
    [Show full text]
  • Markovian Queueing Networks
    Richard J. Boucherie Markovian queueing networks Lecture notes LNMB course MQSN September 5, 2020 Springer Contents Part I Solution concepts for Markovian networks of queues 1 Preliminaries .................................................. 3 1.1 Basic results for Markov chains . .3 1.2 Three solution concepts . 11 1.2.1 Reversibility . 12 1.2.2 Partial balance . 13 1.2.3 Kelly’s lemma . 13 2 Reversibility, Poisson flows and feedforward networks. 15 2.1 The birth-death process. 15 2.2 Detailed balance . 18 2.3 Erlang loss networks . 21 2.4 Reversibility . 23 2.5 Burke’s theorem and feedforward networks of MjMj1 queues . 25 2.6 Literature . 28 3 Partial balance and networks with Markovian routing . 29 3.1 Networks of MjMj1 queues . 29 3.2 Kelly-Whittle networks. 35 3.3 Partial balance . 39 3.4 State-dependent routing and blocking protocols . 44 3.5 Literature . 50 4 Kelly’s lemma and networks with fixed routes ..................... 51 4.1 The time-reversed process and Kelly’s Lemma . 51 4.2 Queue disciplines . 53 4.3 Networks with customer types and fixed routes . 59 4.4 Quasi-reversibility . 62 4.5 Networks of quasi-reversible queues with fixed routes . 68 4.6 Literature . 70 v Part I Solution concepts for Markovian networks of queues Chapter 1 Preliminaries This chapter reviews and discusses the basic assumptions and techniques that will be used in this monograph. Proofs of results given in this chapter are omitted, but can be found in standard textbooks on Markov chains and queueing theory, e.g. [?, ?, ?, ?, ?, ?, ?]. Results from these references are used in this chapter without reference except for cases where a specific result (e.g.
    [Show full text]
  • Product Form Queueing Networks S.Balsamo Dept
    Product Form Queueing Networks S.Balsamo Dept. of Math. And Computer Science University of Udine, Italy Abstract Queueing network models have been extensively applied to represent and analyze resource sharing systems such as communication and computer systems and they have proved to be a powerful and versatile tool for system performance evaluation and prediction. Product form queueing networks have a simple closed form expression of the stationary state distribution that allow to define efficient algorithms to evaluate average performance measures. We introduce product form queueing networks and some interesting properties including the arrival theorem, exact aggregation and insensitivity. Various special models of product form queueing networks allow to represent particular system features such as state-dependent routing, negative customers, batch arrivals and departures and finite capacity queues. 1 Introduction and Short History System performance evaluation is often based on the development and analysis of appropriate models. Queueing network models have been extensively applied to represent and analyze resource sharing systems, such as production, communication and computer systems. They have proved to be a powerful and versatile tool for system performance evaluation and prediction. A queueing network model is a collection of service centers representing the system resources that provide service to a collection of customers that represent the users. The customers' competition for the resource service corresponds to queueing into the service centers. The analysis of the queueing network models consists of evaluating a set of performance measures, such as resource utilization and throughput and customer response time. The popularity of queueing network models for system performance evaluation is due to a good balance between a relative high accuracy in the performance results and the efficiency in model analysis and evaluation.
    [Show full text]
  • Stabilization of Branching Queueing Networks∗
    Stabilization of Branching Queueing Networks∗ Tomáš Brázdil1 and Stefan Kiefer2 1 Faculty of Informatics, Masaryk University, Czech Republic [email protected] 2 Department of Computer Science, University of Oxford, United Kingdom [email protected] Abstract Queueing networks are gaining attraction for the performance analysis of parallel computer sys- tems. A Jackson network is a set of interconnected servers, where the completion of a job at server i may result in the creation of a new job for server j. We propose to extend Jackson networks by “branching” and by “control” features. Both extensions are new and substantially expand the modelling power of Jackson networks. On the other hand, the extensions raise com- putational questions, particularly concerning the stability of the networks, i.e, the ergodicity of the underlying Markov chain. We show for our extended model that it is decidable in polyno- mial time if there exists a controller that achieves stability. Moreover, if such a controller exists, one can efficiently compute a static randomized controller which stabilizes the network in a very strong sense; in particular, all moments of the queue sizes are finite. 1998 ACM Subject Classification G.3 Probability and Statistics Keywords and phrases continuous-time Markov decision processes, infinite-state systems, per- formance analysis 1 Introduction Queueing theory plays a central role in the performance analysis of computer systems. In particular, queueing networks are gaining attraction as models of parallel systems. A queueing network is a set of processing units (called servers), each of which performs tasks (called jobs) of a certain type.
    [Show full text]
  • Introduction to Queueing Theory Review on Poisson Process
    Contents ELL 785–Computer Communication Networks Motivations Lecture 3 Discrete-time Markov processes Introduction to Queueing theory Review on Poisson process Continuous-time Markov processes Queueing systems 3-1 3-2 Circuit switching networks - I Circuit switching networks - II Traffic fluctuates as calls initiated & terminated Fluctuation in Trunk Occupancy Telephone calls come and go • Number of busy trunks People activity follow patterns: Mid-morning & mid-afternoon at All trunks busy, new call requests blocked • office, Evening at home, Summer vacation, etc. Outlier Days are extra busy (Mother’s Day, Christmas, ...), • disasters & other events cause surges in traffic Providing resources so Call requests always met is too expensive 1 active • Call requests met most of the time cost-effective 2 active • 3 active Switches concentrate traffic onto shared trunks: blocking of requests 4 active active will occur from time to time 5 active Trunk number Trunk 6 active active 7 active active Many Fewer lines trunks – minimize the number of trunks subject to a blocking probability 3-3 3-4 Packet switching networks - I Packet switching networks - II Statistical multiplexing Fluctuations in Packets in the System Dedicated lines involve not waiting for other users, but lines are • used inefficiently when user traffic is bursty (a) Dedicated lines A1 A2 Shared lines concentrate packets into shared line; packets buffered • (delayed) when line is not immediately available B1 B2 C1 C2 (a) Dedicated lines A1 A2 B1 B2 (b) Shared line A1 C1 B1 A2 B2 C2 C1 C2 A (b)
    [Show full text]
  • Queuing Networks
    Intro Refresher Reversibility Open networks Closed networks Multiclass networks Other networks Queuing Networks Florence Perronnin Polytech'Grenoble - UGA March 23, 2017 F. Perronnin (UGA) Queuing Networks March 23, 2017 1 / 46 Intro Refresher Reversibility Open networks Closed networks Multiclass networks Other networks Outline 1 Introduction to Queuing Networks 2 Refresher: M/M/1 queue 3 Reversibility 4 Open Queueing Networks 5 Closed queueing networks 6 Multiclass networks 7 Other product-form networks F. Perronnin (UGA) Queuing Networks March 23, 2017 2 / 46 Intro Refresher Reversibility Open networks Closed networks Multiclass networks Other networks Introduction to Queuing Networks Single queues have simple results They are quite robust to slight model variations We may have multiple contention resources to model: I servers I communication links I databases with various routing structures. Queuing networks are direct results for interaction of classical single queues with probabilistic or static routing. F. Perronnin (UGA) Queuing Networks March 23, 2017 3 / 46 Intro Refresher Reversibility Open networks Closed networks Multiclass networks Other networks Outline 1 Introduction to Queuing Networks 2 Refresher: M/M/1 queue 3 Reversibility 4 Open Queueing Networks 5 Closed queueing networks 6 Multiclass networks 7 Other product-form networks F. Perronnin (UGA) Queuing Networks March 23, 2017 4 / 46 Intro Refresher Reversibility Open networks Closed networks Multiclass networks Other networks Refresher: M/M/1 Infinite capacity λµ Poisson(λ) arrivals Exp(µ) service times M/M/1 queue FIFO discipline Definition λ ρ = µ is the traffic intensity of the queueing system. λ λ λ λ λλ i−1 i+1 . .. 0 1 ..
    [Show full text]