Scheduling

Interface and Execution Models in the Fluke Kernel	Feb 24 1999
CPU Inheritance Scheduling	Oct 30 1996
Evolving Mach 3.0 to A Migrating Thread Model	Jan 17 1994
Notes on Thread Models in Mach 3.0	Apr 1 1993