Implementation 1
Goals
- Minimize overhead – function calls for efficiency
- Keep locking model simple
- Simplify thread states – Win2k has seven, HLS has three
Correctness criterion: loadable schedulers informed of all relevant thread state changes
Efficiency criterion: notified only of relevant thread state changes + hierarchical notifications + requested callbacks