Avoiding unbounded priority inversion in barrier protocols using gang priority management