This is my suggestion for the design of the priority scheduler.