mutexとlock構造はどのように実装されていますか？

Question

私はロック、ミューテックス、その他の同期構造の概念を理解していますが、どのように実装されていますか？これらはOSによって提供されているのですか、またはこれらの構造はCPU MMUの特別なCPU命令に依存していますか？

Answer 1

あなたはこれらのリンクを見てみたいことがありますが、主なものは、テスト・アンド・セットウィキペディアにある： http://en.wikipedia.org/wiki/Test-and-set

How are mutexes implemented?

ます。また、この特許で見ることができます： http://www.faqs.org/patents/app/20080222331

Answer 2

ほとんどの相互排除および同期メカニズムでは、ハードウェアのアトミック操作が使用されていると指摘されています。ただし、相互排除を完全にソフトウェアで実装することは可能です。 Dekker's algorithmおよび関連するアルゴリズムもPetersonおよびLamportを参照してください。これらは主にハードウェアアトミックが普及している歴史的な関心事ですが、私はまだソフトウェア技術が必要な「面白い」システム（まだ生産中）に取り組んできました。