mnesiaイベントの注文

Question

私たちは、分散システムの異なるノード上の複数のプロセスがmnesiaイベントに登録するアプリケーションを開発しています。表は、ノードの1つの単一プロセスから書き込まれます。

しかし、テーブル上の操作と同じ順序でイベントを確実に受け取ることができるかどうかは不確実です。

例： mnesia：（TAB1、SomeRec）を削除し、 mnesia：書き込み（TAB1、SomeOtherRec）

私達は時々私たちのデザインは機能しません書き込みイベントの後に削除イベントを取得し、私たちがしなければならない場合他の種類の通知メカニズムを作成します。

また、（同じプロセスの）異なるテーブルの操作についてはどうでしょうか？

mnesia：書き込み（TAB1、SomeRec）、 mnesia：書き込み（TAB2、SomeOtherRec）

我々は常にTAB2から1前TAB1からイベントを取得することを確認できますか？すべてのプロセスとすべてのノードで？

おかげで、全体としてのErlangのために イェンス

Answer 1

、プロセスBにプロセスAからのメッセージの送信は、常に順序であることが保証されます。

しかし、以上の2つのプロセス間のメッセージのために、あなたはBへAから送信されたメッセージがAのメッセージが世界的に最初に送信された場合でも、BへCから送信されたメッセージの前に到着することを保証することはできません。スケジューラ、ネットワーク遅延またはネットワークの問題（特に、AとCが同じノードにない場合）が、そのような保証が得にくい理由の良い例になるかもしれません。

すべてのイベントが同じプロセスから送信された場合、発注は確実なことです。それ以外の場合は、イベントの順序を信頼できません。

mnesiaイベントに関しては、それらはすべてmnesia_subscr.erlで管理されます。これは、テーブルに関係なくノードのすべてのイベントを転送する単一のgen_serverです。したがって、これはA〜Bの原則に従い、順序付けられたイベントを保証するはずです。

Answer 2

mnesiaがデフォルトで望むことをするのかどうか分かりませんが、おそらく、Paxosのような分散型コンセンサスアルゴリズムの使用を見る必要があると仮定していますか？ lib_paxosというGPLライセンスのオープンソースライブラリの形で実装されています。

言うまでもなく、これはパフォーマンスに影響を与えますが、一貫性を保証します。

Answer 3

あなたが探しているソリューションは、パクソスです。受け入れられた値の選択を、以前に受け入れられた提案の最大値にする。これにより、指示書の注文に使用できるシーケンスが作成されます。