見えないチカラ: 【翻訳】アクターによる並列性、そしてRubyでGoroutine
Ilya Grigorikさんの "Concurrency with Actors, Goroutines & Ruby" を翻訳しました。 元記事はこちら： http://www.igvita.com/2010/12/02/concurrency-with-actors-goroutines-ruby/ （翻訳の公開と画像の利用は本人より許諾済みです） 翻訳の間違い等があればブログコメントやTwitter(@oshow)などで遠慮無くご指摘ください。 アクターによる並列性、 そしてRubyでGoroutine 並列コンピューティングの世界は複雑なものだ。私たちはハードウェア、ランタイム、そして半ダースもの異なるモデルとプリミティブから選択することを考えなければならない： fork / wait、スレッド、シェアードメモリ、メッセージパッシング、セマフォ、そしてトランザクションなど。ゆえに
OKUIZUMI, Naoko
More than 20 years of industry, consulting experience have brought me a wide range of project management practice, and UX industry domain skills and capabilities. どんなリサーチにもベストな体制と心意気で臨めるように準備を怠りません。 同時に現場では、そのときどきの状況に合わせた冷静な対処を心掛けます。 調査に協力してくださる方々に対する敬意を忘れずに、様々な商品やサービスを利用する人たちの声を、 言葉にならない気持ちを、丁寧にすくい取って、作り手や提供者へ分かりやすくお届けすることをお約束します。 more
並列プログラムの開発（1/4） - ＠IT
本コーナーは、マイクロソフトが季刊で発行する無料の技術論文誌『アーキテクチャジャーナル』の中から主要な記事をInsider.NET編集部が選び、マイクロソフトの許可を得て転載したものです。基本的に元の文章をそのまま転載していますが、レイアウト上の理由などで文章の記述を変更している部分（例：「上の図」など）や、図の位置などを本サイトのデザインに合わせている部分が若干ありますので、ご了承ください。『アーキテクチャ ジャーナル』の詳細は「目次情報ページ」もしくはマイクロソフトのサイトをご覧ください。 ■概要 並列プログラミングとは、逐次プログラミングを拡張したものです。今日、並列プログラミングは、日常的な情報処理における主流のパラダイムとなりつつあります。並列プログラミングが目指しているのは、並列コンピューター上で高速に稼動するプログラムの構築です。並列プログラムの開発手法は、統合フレームワーク
A Very Brief Introduction to the Pi-Calculus (in Japanese)
π-calculus 超入門 π-calculus は、80 年代の終わりごろに Milner らによって提案された並行計算のモデルの一つです。そこでは、プロセスと呼ばれる複数の独立した主体が、通信チャネルと呼ばれるデータの通り道を介して値をやりとりしながら、計算を行っていきます。π-calculus にはいろいろな変種があるのですが、ここではとりあえず次のような構成要素からなるものを考えましょう。 new x . P 新しいチャネル x を作ってから、プロセス P を実行する (channel creation) x![v1, ..., vn] チャネル x に値 v1, ..., vn を送る (asynchronous output) x?[v1, ..., vn] . P チャネル x から値 v1, ..., vn を受け取って、P を実行する (input guard) P |
π-calculus - Wikipedia
In theoretical computer science, the π-calculus (or pi-calculus) is a process calculus. The π-calculus allows channel names to be communicated along the channels themselves, and in this way it is able to describe concurrent computations whose network configuration may change during the computation. The π-calculus has few terms and is a small, yet expressive language (see § Syntax). Functional prog
アクターモデル - Wikipedia
アクターモデル（英: actor model）とは、1973年、カール・ヒューイット、Peter Bishop、Richard Steiger が発表した並行計算の数学的モデルの一種[1]。アクターモデルでは、並行デジタル計算の汎用的基本要素として「アクター」という概念を導入している。アクターモデルは並行性の理論的理解のフレームワークとして使われるほか、並行システムの実装の理論的基礎としても利用されてきた。 アクターモデルはそれ以前の計算モデルとは異なり、物理法則を発想の基本としている。他にも、LISP言語、Simula言語、ケーパビリティ・システム、パケット通信、初期のSmalltalkなどの影響を受けている。アクターモデルは「数百・数千のマイクロプロセッサから構成され、個々にローカルメモリを持ち、高性能通信ネットワークで通信を行う並列コンピュータが近い将来登場するとの予測」から開発され
Communicating Sequential Processes - Wikipedia
Communicating Sequential Processes（CSP）とは、並行性に関するプロセス計算の理論のひとつである[1]。プログラミング言語Occamにも影響を与えた[2][1]。 CSPは1978年、アントニー・ホーアが最初に考案し[3]、その後かなり改良されていった。CSPは様々なシステムにおける並行性を記述し検証する、形式仕様記述ツールとして産業で利用されてきた。たとえば、T9000トランスピュータ[4]やセキュアな電子商取引システム[5]などの例がある。理論としても、応用範囲を広げる（より大規模なシステムの解析に使えるようにする[6]）などの研究が行われている。 ホーアの1978年の論文で提示されたCSPは、プロセス計算というよりも本質的には並行プログラミング言語であった。後のCSPとは構文が著しく異なり、数学的に定義された意味論を持っておらず[7]、無制限の非決定
Communicating Sequential Processes, by C. A. R. Hoare (PDF Version)
Communicating Sequential Processes Communicating Sequential Processes (CSP) is a language for the description of patterns of interaction. It is supported by an elegant, mathematical theory, a set of tools, and an extensive literature. Tony Hoare's book Communicating Sequential Processes is an excellent introduction to the language. It was first published in 1985 by Prentice Hall International. To
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
