Premium
Systematic programming of scheduling algorithms
Author(s) -
Shrivastava S. K.
Publication year - 1976
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380060308
Subject(s) - computer science , synchronizing , structuring , scheduling (production processes) , fair share scheduling , two level scheduling , rate monotonic scheduling , dynamic priority scheduling , algorithm , distributed computing , mathematical optimization , mathematics , schedule , operating system , telecommunications , finance , transmission (telecommunications) , economics
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.