Transcript Lindsay
Queueing Theory Lindsay Mullen Seminar Presentation #2 November 4, 2013 Computer Science Applied Mathematics Operation Research Queueing Theory Discrete Mathematics Operation Research • Science of decision-making • Combines mathematics, statistics, computer science, physics, engineering, economics, and social sciences to solve real-world business problems • Established discipline during World War II when the British government recruited scientists to solve problems in critical military operations • There are now many Operation Research departments in industry, government, and academia throughout the world. Successful Areas of Operation Research • • • • • Airline Industry Telecommunications Manufacturing Industry Healthcare Transportation What is Queueing Theory? • A queue is a waiting line (like customers waiting at a supermarket checkout counter) • Queueing theory is the mathematical theory of waiting lines • Concerned with the mathematical modeling and analysis of systems that provide service to random demands (i.e. business decisions providing a service) History of Queueing Theory • Queueing theory was born in the early 1900s with the work of Agner K. Erlang of the Copenhagen Telephone Company • Erlang derived several important formulas for teletraffic engineering • Erlang published the first paper on what would now be called queueing theory in 1909 History continued… • He modeled the number of telephone calls arriving at an exchange by a Poisson process and solved the M/D/1 queue in 1917 and M/D/k queueing model in 1920 – M (Markov chain or memoryless) - arrivals occur according to a Poisson process – D (deterministic) - jobs arriving at the queue require a fixed amount of service – k - number of servers at the queueing node (k = 1, 2,...) History continued… • The M/G/1 model was solved by Felix Pollaczek in 1930, a solution later recast in probabilistic terms by Aleksandr Khinchin and now known as the Pollaczek–Khinchin formula. • After World War II queueing theory became an area of research interest to mathematicians. • In 1953, David George Kendall created the Kendall’s notation which is the standard system used to describe and classify a queueing node. (A/S/C) • Work on queueing theory used in modern packet switching networks was performed in the early 1960s by Leonard Kleinrock. • It was in this period that John Little gave a proof of the formula which now bears his name: Little's law – Inventory =Throughput (number of customers served per unit time)× Flow Time • In 1961 John Kingman gave a formula for the mean waiting time in a G/G/1 queue: Kingman's formula. Queueing Model • Queueing model represents (1) the system's physical configuration, by specifying the number and arrangement of the servers, which provide service to the customers AND (2) the stochastic (that is, probabilistic or statistical) nature of the demands, by specifying the variability in the arrival process and in the service process Queue Nodes and Networks • Single queueing nodes are usually described using Kendall's notation in the form A/S/C where A describes the time between arrivals to the queue, S the size of jobs and C the number of servers at the node. • Many theorems in queue theory can be proven by reducing queues to mathematical systems known as Markov chains (It is a random process usually characterized as memoryless) • Networks of queues are systems in which a number of queues are connected by customer routing A/S/C A/S/C Service Disciplines • • • • • • • First in first out This principle states that customers are served one at a time and that the customer that has been waiting the longest is served first. Last in first out This principle also serves customers one at a time, however the customer with the shortest waiting time will be served first. Also known as a stack. Processor sharing Service capacity is shared equally between customers. Priority Customers with high priority are served first. Shortest job first The next job to be served is the one with the smallest size Preemptive shortest job first The next job to be served is the one with the original smallest size Shortest remaining processing time The next job to serve is the one with the smallest remaining processing requirement Models of Queueing Nodes Models continued… Examples of How This Theory is Used Now •Queues are visibly found in everyday life! – Supermarket checkout – Traffic lights – Waiting for the elevator – Waiting at a gas station – Waiting at passport control – Waiting at a doctor’s office – Paperwork waiting at somebody’s office to be processed Measures of Interest • Mean waiting time • Percentile of the waiting time, i.e. what percent of the waiting customers wait more than x amount of time. • Utilization of the server • Throughput, i.e. number of customers served per unit time. • Average number of customers waiting • Distribution of the number of waiting customers, i.e. Probability [n customers wait], n=01,1,2,… Disney • • • • • Build the story Split lines Turns Holding areas Virtual spots Queues that Cannot Be Seen • There are also queues that we cannot see (unless we use a software/hardware system), such as: – Streaming a video – Web services – On hold at a call center Current Research • Problems such as performance metrics for the M/G/k queue remain an open problem • M/G/k queue is a queue model where arrivals are Markovian (modulated by a Poisson process), service times have a General distribution and there are k servers • An extension of the M/M/c queue, where service times must be exponentially distributed and of the M/G/1 queue with a single server References • http://www.maa.org/mathematics-andoperations-research-in-industry • http://www.cse.fau.edu/~bob/publications/ency clopedia.pdf • http://en.wikipedia.org/wiki/Queue_theory • http://www4.ncsu.edu/~hp/SSME_QueueingThe ory.pdf • http://www.factoryphysics.com/principle/littlesl aw.htm • http://weakonomics.com/2012/10/24/queuingtheory-for-amusement-parks/