The Linux priority inheritance futexes are also fair, which adds unnecessary overhead if you only care about PI, not fairness.