It stops before the problems of lock congestion, infinite overtaking, and priority inversion, though.
It stops before the problems of lock congestion, infinite overtaking, and priority inversion, though.