Stack-based scheduling of realtime processes

It is shown how to extend the Priority Ceiling Protocol to handle: multiunit resources, which subsume binary semaphores and reader-writer locks; dynamic priority schemes, such as earliest-deadline-first (EDF), that use static “preemption levels”; sharing of runtime stack space between jobs.