Screen Version

School of Computer Science & Engineering
University of New South Wales
 Advanced Operating Systems 
 COMP9242 2002/S2 

L4 Scheduling

• Every L4 thread has a timeslice length and a priority.
• These are:
  • inherited from parent,
  • changeable via thread_schedule().
• L4 implements hard priorities:
  • scheduler will always select highest priority runable thread,
  • within priority scheduler uses round-robin.