Systematic programming of scheduling algorithms

1 July 1976

journal article
Published by Wiley in Software: Practice and Experience

Vol. 6 (3) , 357-370
https://doi.org/10.1002/spe.4380060308

Abstract

This paper applies the technique of systematic (or structured) programming for programming scheduling algorithms as encountered in operating system design. Monitors are used for structuring scheduling algorithms and a synchronizing method is proposed for process scheduling. Some fairly difficult scheduling problems are solved systematically to illustrate the usefulness of the monitor concepts and the synchronizing method. Certain implementation aspects are also discussed.

Keywords

This publication has 8 references indexed in Scilit:

A view of concurrent process synchronisation
The Computer Journal, 1975
Monitors
Communications of the ACM, 1974
Concurrent Programming Concepts
ACM Computing Surveys, 1973
Towards a Theory of Parallel Programming
Published by Springer Nature ,1972
Development of scheduling strategies in the TITAN operating system
Software: Practice and Experience, 1971
Hierarchical ordering of sequential processes
Acta Informatica, 1971
The programming language pascal
Acta Informatica, 1971
An axiomatic basis for computer programming
Communications of the ACM, 1969