リモート スレッド プリミティブ プロトコルを設計しています。現在、ミューテックス (つまり、モニター) とセマフォのみが必要です。主な考え方は、中央機関が存在する必要はないということです。プリミティブは、それらに関心のあるピア間で調整する必要があります。
私はいくつかのアイデアを紙の上と頭の中で数週間ぶつけました。しかし、私は本当に以前の文献を見たほうがよいと思います。ありますか？
XMPP で実行されますが、これは実装の詳細です。私は実際のプロトコル フローに関する仕様などを探しているだけなので、文献がどのプロトコルに由来するかは問題ではありません。
どうもありがとう。
分散ミューテックスは扱いにくい構造です。単一のマシンベースの実装では存在しない、あらゆる種類の奇妙な条件を処理する必要があります。特に、エージェントがグループとの通信を失い、共有リソースのロックを保持している状況を処理する必要があります。そのシナリオに加えて、グループがフラクチャされ、リソースのロックを取得するという複雑なシナリオがあります。断片化されたグループが大きなグループに参加すると、ロックを調整する何らかの方法が必要になりますが、これは簡単なことではありません。
ErlangやJBossなどのメッセージング ベースのミドルウェアを検討することを強くお勧めします。
また、実装が必要な特定の分散アルゴリズム/データ構造について個別の質問を投稿することをお勧めします。ニーズに合わせて調整できるミドルウェア ライブラリですぐに使用できる実装で問題を解決できる可能性があります。