Lecture 13: scheduling

We discuss the desirable characteristics of a process scheduler, and look in some detail at some  implementations.