futex: priority boosting, take 2