Little's law
In mathematical queueing theory, Little's law (also result, theorem, lemma, or formula[1][2]) is a theorem by John Little which states that the long-term average number L of customers in a stationary system is equal to the long-term average effective arrival rate λ multiplied by the average time W that a customer spends in the system. Expressed algebraically the law is
The relationship is not influenced by the arrival process distribution, the service distribution, the service order, or practically anything else. In most queuing systems, service time is the bottleneck that creates the queue.[3]
The result applies to any system, and particularly, it applies to systems within systems.[4] For example in a bank branch, the customer line might be one subsystem, and each of the tellers another subsystem, and Little's result could be applied to each one, as well as the whole thing. The only requirements are that the system be stable and non-preemptive[vague]; this rules out transition states such as initial startup or shutdown.
In some cases it is possible not only to mathematically relate the average number in the system to the average wait but even to relate the entire probability distribution (and moments) of the number in the system to the wait.[5]
History
[edit]In a 1954 paper Little's law was assumed true and used without proof.[6][7] The form L = λW was first published by Philip M. Morse where he challenged readers to find a situation where the relationship did not hold.[6][8] Little published in 1961 his proof of the law, showing that no such situation existed.[9] Little's proof was followed by a simpler version by Jewell[10] and another by Eilon.[11] Shaler Stidham published a different and more intuitive proof in 1972.[12][13]
Examples
[edit]Finding response time
[edit]Imagine an application that had no easy way to measure response time. If the mean number in the system and the throughput are known, the average response time can be found using Little’s Law:
- mean response time = mean number in system / mean throughput
For example: A queue depth meter shows an average of nine jobs waiting to be serviced. Add one for the job being serviced, so there is an average of ten jobs in the system. Another meter shows a mean throughput of 50 per second. The mean response time is calculated as 0.2 seconds = 10 / 50 per second.
Customers in the store
[edit]Imagine a small store with a single counter and an area for browsing, where only one person can be at the counter at a time, and no one leaves without buying something. So the system is:
- entrance → browsing → counter → exit
If the rate at which people enter the store (called the arrival rate) is the rate at which they exit (called the exit rate), the system is stable. By contrast, an arrival rate exceeding an exit rate would represent an unstable system, where the number of waiting customers in the store would gradually increase towards infinity.
Little's Law tells us that the average number of customers in the store L, is the effective arrival rate λ, times the average time that a customer spends in the store W, or simply:
Assume customers arrive at the rate of 10 per hour and stay an average of 0.5 hour. This means we should find the average number of customers in the store at any time to be 5.
Now suppose the store is considering doing more advertising to raise the arrival rate to 20 per hour. The store must either be prepared to host an average of 10 occupants or must reduce the time each customer spends in the store to 0.25 hour. The store might achieve the latter by ringing up the bill faster or by adding more counters.
We can apply Little's Law to systems within the store. For example, consider the counter and its queue. Assume we notice that there are on average 2 customers in the queue and at the counter. We know the arrival rate is 10 per hour, so customers must be spending 0.2 hours on average checking out.
We can even apply Little's Law to the counter itself. The average number of people at the counter would be in the range (0, 1) since no more than one person can be at the counter at a time. In that case, the average number of people at the counter is also known as the utilisation of the counter.
However, because a store in reality generally has a limited amount of space, it can eventually become unstable. If the arrival rate is much greater than the exit rate, the store will eventually start to overflow, and thus any new arriving customers will simply be rejected (and forced to go somewhere else or try again later) until there is once again free space available in the store. This is also the difference between the arrival rate and the effective arrival rate, where the arrival rate roughly corresponds to the rate at which customers arrive at the store, whereas the effective arrival rate corresponds to the rate at which customers enter the store. However, in a system with an infinite size and no loss, the two are equal.
Estimating parameters
[edit]To use Little's law on data, formulas must be used to estimate the parameters, as the result does not necessarily directly apply over finite time intervals, due to problems like how to log customers already present at the start of the logging interval and those who have not yet departed when logging stops.[14]
Applications
[edit]Little's law is widely used in manufacturing to predict lead time based on the production rate and the amount of work-in-process.[15]
Software-performance testers have used Little's law to ensure that the observed performance results are not due to bottlenecks imposed by the testing apparatus. [16][17]
Other applications include staffing emergency departments in hospitals.[18][19]
Distributional form
[edit]An extension of Little's law provides a relationship between the steady state distribution of number of customers in the system and time spent in the system under a first come, first served service discipline.[20]
See also
[edit]- List of eponymous laws (laws, adages, and other succinct observations or predictions named after persons)
- Erlang (unit)
References
[edit]- ^ Alberto Leon-Garcia (2008). Probability, statistics, and random processes for electrical engineering (3rd ed.). Prentice Hall. ISBN 978-0-13-147122-1.
- ^ Allen, Arnold A. (1990). Probability, Statistics, and Queueing Theory: With Computer Science Applications. Gulf Professional Publishing. p. 259. ISBN 0120510510.
- ^ Simchi-Levi, D.; Trick, M. A. (2013). "Introduction to "Little's Law as Viewed on Its 50th Anniversary"". Operations Research. 59 (3): 535. doi:10.1287/opre.1110.0941.
- ^ Serfozo, R. (1999). "Little Laws". Introduction to Stochastic Networks. pp. 135–154. doi:10.1007/978-1-4612-1482-3_5. ISBN 978-1-4612-7160-4.
- ^ Keilson, J.; Servi, L. D. (1988). "A distributional form of Little's Law" (PDF). Operations Research Letters. 7 (5): 223. doi:10.1016/0167-6377(88)90035-1. hdl:1721.1/5305.
- ^ a b Little, J. D. C.; Graves, S. C. (2008). "Little's Law" (PDF). Building Intuition. International Series in Operations Research & Management Science. Vol. 115. p. 81. doi:10.1007/978-0-387-73699-0_5. ISBN 978-0-387-73698-3.
- ^ Cobham, Alan (1954). "Priority Assignment in Waiting Line Problems". Operations Research. 2 (1): 70–76. doi:10.1287/opre.2.1.70. JSTOR 166539.
- ^ Morse, Philip M. (1958). Queues, inventories, and maintenance: the analysis of operational system with variable demand and supply. Wiley.
Those readers who would like to experience for themselves the slipperiness of fundamental concepts in this field and the intractability of really general theorems, might try their hand at showing under what circumstances this simple relationship between L and W does not hold.
- ^ Little, J. D. C. (1961). "A Proof for the Queuing Formula: L = λW". Operations Research. 9 (3): 383–387. doi:10.1287/opre.9.3.383. JSTOR 167570.
- ^ Jewell, William S. (1967). "A Simple Proof of: L = λW". Operations Research. 15 (6): 1109–1116. doi:10.1287/opre.15.6.1109. JSTOR 168616.
- ^ Eilon, Samuel (1969). "A Simpler Proof of L = λW". Operations Research. 17 (5): 915–917. doi:10.1287/opre.17.5.915. JSTOR 168368.
- ^ Stidham Jr., Shaler (1974). "A Last Word on L = λW". Operations Research. 22 (2): 417–421. doi:10.1287/opre.22.2.417. JSTOR 169601.
- ^ Stidham Jr., Shaler (1972). "L = λW: A Discounted Analogue and a New Proof". Operations Research. 20 (6): 1115–1120. doi:10.1287/opre.20.6.1115. JSTOR 169301.
- ^ Kim, S. H.; Whitt, W. (2013). "Statistical Analysis with Little's Law" (PDF). Operations Research. 61 (4): 1030. doi:10.1287/opre.2013.1193.
- ^ Correll, Nikolaus (June 13, 2021). "Manufacturing Lead Time". Retrieved June 12, 2021.
- ^ Software Infrastructure Bottlenecks in J2EE by Deepak Goel
- ^ Benchmarking Blunders and Things That Go Bump in the Night by Neil Gunther
- ^ Little, J. D. C. (2011). "Little's Law as Viewed on Its 50th Anniversary" (PDF). Operations Research. 59 (3): 536–549. doi:10.1287/opre.1110.0940. JSTOR 23013126.
- ^ Harris, Mark (February 22, 2010). "Little's Law: The Science Behind Proper Staffing". Emergency Physicians Monthly. Archived from the original on September 5, 2012. Retrieved September 4, 2012.
- ^ Bertsimas, D.; Nakazato, D. (1995). "The Distributional Little's Law and Its Applications" (PDF). Operations Research. 43 (2): 298. doi:10.1287/opre.43.2.298. JSTOR 171838.
External links
[edit]- A Proof of the Queueing Formula L = λ W, Sigman, K., Columbia University
- A Proof of the Queueing Formula L = λ W, Eduardo, Maldonado., Alexby usm