Implementation and Verification of a Consensus Protocol in Erlang
![Actor Systems In Rust: Techniques and Tradeoffs](https://cdn-ak-scissors.b.st-hatena.com/image/square/4501b1a1d7a14590367e4dcd6924bff1098f8693/height=288;version=1;width=512/https%3A%2F%2Ffiles.speakerdeck.com%2Fpresentations%2F0fe08a3ab73f431d8578cfb367b3187b%2Fslide_0.jpg%3F8988266)
Implementation and Verification of a Consensus Protocol in Erlang
Pony¶ Welcome! This is the website for the Pony programming language. Pony is an open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language. Quick links¶ What is Pony? Frequently asked questions Try it in your browser Example Pony applications Installation Get started learning Pony Tutorial Standard Library Documentation Getting help Existing user referen
概要 Actorは、送られてきたメッセージ(オブジェクト)に対して処理を行う。 1つのActorに対して1つのスレッドが割り当てられる。 同一Actorに複数のメッセージが送られた場合、キュー(メッセージボックス)に入れられ、そこから順番に処理していく。 Actor同士は同じデータを共有することが無い為、スレッド間の競合を気にする必要が無い。 ただしメッセージとして送られたオブジェクトは共有されうるので、同一オブジェクトを複数Actorに送るような事をする場合には注意が必要。 ただ、オブジェクトが不変であれば気にする必要は無いので、不変オブジェクトが推奨されるのだろう。 Actorトレイト 普通は直接Actorトレイトを使うことは無いが、基本(実際に使用される動作)として。 Scala Java相当 備考
Build, Operate, and Secure Distributed Applications Simpler Concurrent & Distributed Systems Actors and Streams let you build systems that scale up, using the resources of a server more efficiently, and out, using multiple servers. Resilient by Design Building on the principles of The Reactive Manifesto Akka allows you to write systems that self-heal and stay responsive in the face of failures. Hi
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く