Time-shared Systems

Leonard Kleinrock

Journal of the ACM · 1967 · 368 citations · 7 references

DOIFull text

Open access

Concepts

TL;DR

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.

Abstract

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.

References

7