https://en.wikipedia.org/wiki/Priority_ceiling_protocol
lecture13-handout4.pdf
synchronization-resource-sharing.pdf