Priority ceiling protocol