Erlangの俳優の基本的な説明

Question

私はErlangの俳優の非常に基本的な説明をまとめようとしています。可能な限り素人であると考えられていますが、理論やErlangの実装の重要な特徴を除外することはありません。

アクター・モデルは俳優同時計算の普遍的なプリミティブとしてを扱い、並行計算の数学的モデルである：これは私の説明です。アクターは計算エンティティです。受信したメッセージに応答して、（1）有限数のメッセージを他のアクタに送信し、（2）有限数の新しいアクタを作成し、（3）受信した次のメッセージに使用される動作。

Erlangでは、各アクタは、仮想マシン内の別のプロセスであり、関数によって実装されています。プロセスは、互いにメッセージを送信して通信します。すべてのメッセージは明示的、追跡可能、安全です。メッセージはメールボックスで受信され、受信された順に格納されます。それらは、受信プロセスが読み出されるまでそこに格納されます。これを非同期メッセージパッシングといいます。

皆さんはどう思いますか？大丈夫ですか？私は何かを追加したり変更したりすべきですか？ありがとう。

Answer 1

私はあなたがアーランのプロセスと俳優を混同していないと自分自身を助けると思います。あなたはWikipediaのActorモデルの記述から始まり、Erlangプロセスについての記述をシームレスに開始することができます。 Actorモデルは数学的モデルであり、純粋なCまたはC++低レベル実装を含む多くの異なる方法で実装できます。一方、Erlangプロセスは、ネイティブシステムプロセスやスレッドを使用して可能になるよりもはるかに効果的に膨大な量のプロセスを並行して実行することを可能にする、軽量なプリエンプティブ言語機能です。彼らは数学的モデルの後にモデル化されるが、それはspecific requirementsに基づく設計決定であった。

私は、アクターモデルを数学モデルとして簡単に議論し、Erlangでどのように実装されているのか、Erlang特有の違いと特長を指摘すれば、より良くフィットすると思います。