Abstract

The services received by a process from a time-sharing operating system can be characterized by a resource count ∑ w i R ij where R ij is the number of units of service received by process j from resource i and w i is the cost per unit of the service. Each class of users can be characterized by a policy function which specifies the amount of service a user who belongs to this class should receive as a function of time. Priority changes dynamically as a function of the difference between the service promised to the user by the policy function and the service he actually receives. A scheduling and swapping algorithm which keeps the resource count of each process above its policy function will provide the specified level of service. Overhead can be reduced by avoiding swaps of processes which have received at least this level of service. The algorithm has been implemented in a general purpose operating system, and it has provided significantly better service to interactive and to batch jobs than the previous scheduler.

Keywords

Computer scienceScheduling (production processes)Shared resourceService (business)Time-sharingOverhead (engineering)Function (biology)Operating systemBusinessOperations managementEngineering

Affiliated Institutions

Related Publications

Publication Info

Year
1971
Type
article
Volume
14
Issue
2
Pages
74-78
Citations
33
Access
Closed

External Links

Social Impact

Social media, news, blog, policy document mentions

Citation Metrics

33
OpenAlex

Cite This

A. J. Bernstein, J.C. Sharp (1971). A policy-driven scheduler for a time-sharing system. Communications of the ACM , 14 (2) , 74-78. https://doi.org/10.1145/362515.362520

Identifiers

DOI
10.1145/362515.362520