working priority inversion with two locks