A Real-Time Scheduler