Requirement ID: F002-2
As a developer, I want no unbounded priority inversion to occur when a tasks tries to access a shared resource, so that a task doesn't starve.