Avoiding unbounded priority inversion in barrier protocols using gang priority managementHarald RöckJoshua Auerbachet al.2009JTRES 2009