テストとセットのアトミック操作に関するウィキペディアの記事を読んでいます。相互排除を実装する 1 つの方法は、テスト アンド セット ベースのロックを使用することです。
ただし、同じ記事によると、テスト アンド セット操作には有限のコンセンサス数があり、最大 2 つの同時プロセスの待機なしコンセンサス問題を解決できます。
では、テスト アンド セット操作に基づくミューテックスは 2 つのスレッドに対してのみ機能するのでしょうか? もしそうなら、「実際の」ミューテックスはどのように実装されていますか?