ロックの順番

A,B,Cがロックを取得しようとし、最初に Aが取得できて、B,Cは待ち行列に並んだ。
Aの処理が終わり、Aはロックを開放して続けて Bが取得した。
Bの処理中に Aが再びロックを取得しようとし、Aは待ち行列に並んだ。
Bの処理が終わり、順番で言えば次は Cになってほしいんだけど
それが保証されているロックってどんなのがあるんだろうか