Multiprocessor priority ceiling based protocols