Before revision: Formulation Consider two tasks and , of high and low priority respectively, either of which can acquire exclusive use of a shared resource .
After revision: Formulation Consider two tasks H and L , of high and low priority respectively, either of which can acquire exclusive use of a shared resource .