CSCI 461 Lab 6
==============

Add the Priority Ceiling Protocol to TOSF.

Deliverables
------------

Demonstration of TOSF with Priority Ceiling.  To this end, construct an
example with two tasks where each task needs access to a data structure
protected by  a mutex (or semaphore). Without Priority Ceiling, show how
a higher priority task can be delayed by a lower priority task to the
point of missing a deadline. Then, with Priority Ceiling enabled, show how
the execution of the same two tasks does not result in missed deadlines.