.pdf)
並行処理の統一モデルへの動向 松井和人 NPO法人 CSPコンソーシアム matsui@csp-consortium.org 24th/Nov/2012 第 10 回 CSP 研究会 Kazuto MATSUI はじめに コンピュータ業界はオブジェクト指向を基に関数型��
並行処理の統一モデルへの動向 松井和人 NPO法人 CSPコンソーシアム matsui@csp-consortium.org 24th/Nov/2012 第 10 回 CSP 研究会 Kazuto MATSUI はじめに コンピュータ業界はオブジェクト指向を基に関数型言語に移行する動きにあります。 更に並行処理はマルチスレッドから、Actorモデルに移行しようとしています。 Actorの利点だけがクローズアップされて、全て解決のような風潮があります。 そこで、Actor, Agent, CSPについて調べてみました。 CSP/occam コミュニティ(http://www.wotug.org/) が目指しているのは並行処理の Unification[1]であり、何処まで達成できているのか探ってみました。 第 10 回 CSP 研究会 Kazuto MATSUI 1 日経コンピュータ 業務系
CSPの紹介
CSPモデルの優位性 産業技術総合研究所 情報技術研究部門 磯部祥尚 1 第9回CSP研究会（2012年3月17日） 0:40 講演内容 2 1. CSPモデルの特徴 CSPモデルとは？ 同期型メッセージパッシング通信 イベント駆動 通信相手（チャネル）の自動選択 2. CSPモデルの実装 ライブラリ/言語 CSPモデルの実装例 ローカル/ネットワークチャネル 3. CSPモデルの検証 CSPモデルの記述例 検証ツール 振舞いの等しさ 4. CSPモデルベース開発 並列プログラミングの難しさ CSPによるモデル化、検証、実装 まとめ 理論 CSP 検証 FDR 実装 JCSP 1:20 CSPモデルの特徴 3 CSPモデルとは？ 同期型メッセージパッシング通信 イベント駆動 通信相手（チャネル）の自動選択 1:20 P1
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
