LinSched: The Linux Scheduler Simulator.
Real-Time Synchronization on Multiprocessors: To Block or Not to Block, to Suspend or Spin?