Assertion: priority ceiling | /r/HasProperty | priority
Facets:
Source sentences:
text: In this protocol each resource is assigned a priority ceiling, which is a priority equal to the highest priority of any task which may lock the resource.