Mechanisms for Specifying Scheduling Policies

Authors:
Fred B. Schneider;A. J. Bernstein
Affiliations:
-;-
Venue:
Mechanisms for Specifying Scheduling Policies
Year:
1979

Citing 0
Cited 2

Output Guards and Nondeterminism in “Communicating Sequential Processes”

ACM Transactions on Programming Languages and Systems (TOPLAS)
Synchronizing Resources

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Extensions to concurrent programming languages are presented which allow control of scheduling policies previously defined by the run-time support system. It is shown that the use of these mechanisms simplifies the solutions of concurrent programming problems. In addition, the proposed extensions allow easy identification of those aspects of a program concerned with performance, thereby making programs easier to read and understand. Keywords: concurrent pascal, monitors, communicating sequential processes, operating systems, scheduling algorithms.