Journal of the ACM · 1967 · 368 citations · 7 references
BusinessComputer ScienceComputer SystemsComputer ArchitectureQueuing TheorySchedulingPriority QueuesQueue DisciplineQueueing AnalysisQueueing SystemsQueueing TheoryStochastic Service SystemsInterarrival Time DistributionsPriority QueueingPriority Queueing ModelsPriority Service PoliciesProcessor Sharing DisciplineProcessor Sharing QueuesProcessor Sharing With PrioritiesSystem Utilization
Time‑shared computer facilities are modeled as stochastic queueing systems with priority disciplines to minimize average system time, offering rapid service for short jobs and a virtual full‑time fractional processor, but the results apply only to Poisson arrivals and geometric or exponential service times. The authors analyze a time‑shared model where each request receives a fixed quantum Q of processor time before returning to the queue, extend it to a processor‑shared limit as Q→0, introduce priority groups that receive g_p Q seconds per cycle, compare these disciplines with first‑come‑first‑served, and assume no swap‑time cost to model ideal systems. In the limit Q→0, the analysis yields performance results for the priority processor‑shared system.
Time-shared computer (or processing) facilities are treated as stochastic queueing systems under priority service disciplines, and the performance measure of these systems is taken to be the average time spent in the system. Models are analyzed in which time-shared computer usage is obtained by giving each request a fixed quantum Q of time on the processor, after which the request is placed at the end of a queue of other requests; the queue of requests is constantly cycled, giving each user Q seconds on the machine per cycle. The case for which Q → 0 (a processor-shared model) is then analyzed using methods from queueing theory. A general time-shared facility is then considered in which priority groups are introduced. Specifically, the p th priority group is given g p Q seconds in the processor each time around. Letting Q → 0 gives results for the priority processor-shared system. These disciplines are compared with the first-come-first-served disciplines. The systems considered provide the two basic features desired in any time-shared system, namely, rapid service for short jobs and the virtual appearance of a (fractional capacity) processor available on a full-time basis. No charge is made for swap time, thus providing results for “ideal” systems. The results hold only for Poisson arrivals and geometric (or exponential) service time distributions.
7
A Proof for the Queuing Formula: <i>L</i> = λ<i>W</i>
John D. C. Little · Operations Research · 1961 · 2.7K citations
Malcolm C. Harrison, M. V. Wilkes · Mathematics of Computation · 1970 · 157 citations
Analysis of A time‐shared processor
Leonard Kleinrock · Naval Research Logistics Quarterly · 1964 · 138 citations
A general-purpose time-sharing system
Jules I. Schwartz, Edward G. Coffman, Clark Weissman · 1964 · 60 citations
The MAC system: the computer utility approach
Robert M. Fano · IEEE Spectrum · 1965 · 53 citations