![イベント E の表記
[T ?? M]
? messenger(E) . . . 送る側のメッセージ
? terget(E) . . . E においてメッセージを受け取る](https://image.slidesharecdn.com/groovybase-130309181337-phpapp02/85/GPars-Actor-Model-30-320.jpg)
![3 + 4 の例
[+ ?? [request: [3 4], reply-to: c]]
+
+
V
[c ?? [reply: 7]]](https://image.slidesharecdn.com/groovybase-130309181337-phpapp02/85/GPars-Actor-Model-34-320.jpg)
![一つめのイベント
[+ ?? [request: [3 4], reply-to: c]]
? タプル [3 4] という引数
? “計算結果を c に送信すべき” という継続
? これらのメッセージを + に送信する](https://image.slidesharecdn.com/groovybase-130309181337-phpapp02/85/GPars-Actor-Model-35-320.jpg)
![ふたつめのイベント
[c ?? [reply: 7]]
? 計算結果 7 を返信データとして c に送信する](https://image.slidesharecdn.com/groovybase-130309181337-phpapp02/85/GPars-Actor-Model-36-320.jpg)
![simple primitive actor の記述方法
[x ?? [request: m, reply-to: c)]
? 計算結果 7 を返信データとして c に送信する](https://image.slidesharecdn.com/groovybase-130309181337-phpapp02/85/GPars-Actor-Model-37-320.jpg)
![阶乗の例
[factorial ?? [request: [3], reply-to: c]]
+
V
[loop (?? [request: [3 1], reply-to: c]]
+
+
V
[ loop ?? [request: [2 3], reply-to: c]]
+
+
V
[loop ?? [request: [1 6], reply-to: c]]
+
+
V
[c ?? [reply: 6]]](https://image.slidesharecdn.com/groovybase-130309181337-phpapp02/85/GPars-Actor-Model-38-320.jpg)
![factorial 内の loop
? factorial は loop を呼び出す
? loop は [index product] という引数が必要
? index が 1 なら結果を返す継続を実行
? index が 1 以外なら [(index - 1) (index *
product)] を引数としたメッセージを loop に
送る
? index の初期値は factorial で受け取ったデー
タ（ここでは 3）
? product の初期値は 1](https://image.slidesharecdn.com/groovybase-130309181337-phpapp02/85/GPars-Actor-Model-39-320.jpg)
![Actor の表現
[F ?? [request: argument-tuple, reply-to: continuation]]
[continuation ?? [reply: answer]]
[X ?? [request: message, reply-to: C]]](https://image.slidesharecdn.com/groovybase-130309181337-phpapp02/85/GPars-Actor-Model-45-320.jpg)
GParsの?Actor Model
- 1. GPars の？? Actor Model pocketberserker 2013 年 3 月 9 日
- 2. 自己紹介 ? 中山 / なかやん / ぺんぎん ? @pocketberserker / id:pocketberserker ? どこにでもいるふつーのぺんぎん ? F# / Haskell / Erlang / Scala / TDD ? FSharpx、Scalaz のこんとりびゅーた ? Groovy は…イベントでたまに使う？
- 3. 発表者になった経纬とか
- 4. 発表者になった経纬とか 宇佐美ミィさん（仮称）の質問に答えていたら発 表者になっていた
- 5. 本题の前に…
- 7. 本题の前に… ? Actor モデルを知っている？ ? GPars を知っている？
- 8. 本题の前に… ? Actor モデルを知っている？ ? GPars を知っている？ ? Actor モデルを使い倒している？
- 9. 本题の前に… ? Actor モデルを知っている？ ? GPars を知っている？ ? Actor モデルを使い倒している？ ? GPars の Actor を使い倒している？
- 10. 谢罪
- 12. Actor Model とは
- 13. Actor Model とは ? 并行计算モデルの一つ
- 14. Actor Model とは ? 并行计算モデルの一つ ? メッセージパッシングの一つ
- 15. Actor Model とは ? 并行计算モデルの一つ ? メッセージパッシングの一つ ? Actor = 計算実体（Computational Entity）
- 16. Actor Model とは ? 并行计算モデルの一つ ? メッセージパッシングの一つ ? Actor = 計算実体（Computational Entity） ? 哲学「全てのものは Actor である」
- 17. Actor Model とは ? 并行计算モデルの一つ ? メッセージパッシングの一つ ? Actor = 計算実体（Computational Entity） ? 哲学「全てのものは Actor である」 ? 操作的意味論
- 18. Actor の振る舞い
- 19. Actor の振る舞い ? Actor に有限个のメッセージを送信
- 20. Actor の振る舞い ? Actor に有限个のメッセージを送信 ? 有限個の新たな Actor の生成
- 21. Actor の振る舞い ? Actor に有限个のメッセージを送信 ? 有限個の新たな Actor の生成 ? メッセージを受信し、受信したメッセージに 応じた動作を行う
- 22. Actor の振る舞い ? Actor に有限个のメッセージを送信 ? 有限個の新たな Actor の生成 ? メッセージを受信し、受信したメッセージに 応じた動作を行う ? 上記振る舞いを並列的に実行する
- 23. メッセージの送受信は并行
- 26. さて このあたりで公理的法則群の一部を見てみま しょう
- 27. Actor System の公理的法則群 Henry Baker “Laws for Communicating Parallel Processes”
- 28. Actor である A 自身と A の隣人の集合 acquaintances*(A) = {A} U acquaintances(A) U acquaintances2(A) U ... (ad infinitum)
- 30. イベント E の表記 [T ?? M] ? messenger(E) . . . 送る側のメッセージ ? terget(E) . . . E においてメッセージを受け取る
- 31. E と直接関係するものの集合 participants(E) = {target(E), messenger(E))
- 32. E1 と E2 の依存表記 El ++ E2 ? E1 が発生したら E2 が活性化される ? 一般に半順序（要素が必ずしも比較可能では ない） ? E が E1 . . . En を活性化することで fork(分岐) を引き起こす可能性がある
- 33. 足し算の例 1. 足し算に必要なデータと返信先を Actor に 送る 2. 計算結果を指定された返信先に送る
- 34. 3 + 4 の例 [+ ?? [request: [3 4], reply-to: c]] + + V [c ?? [reply: 7]]
- 35. 一つめのイベント [+ ?? [request: [3 4], reply-to: c]] ? タプル [3 4] という引数 ? “計算結果を c に送信すべき” という継続 ? これらのメッセージを + に送信する
- 36. ふたつめのイベント [c ?? [reply: 7]] ? 計算結果 7 を返信データとして c に送信する
- 37. simple primitive actor の記述方法 [x ?? [request: m, reply-to: c)] ? 計算結果 7 を返信データとして c に送信する
- 38. 阶乗の例 [factorial ?? [request: [3], reply-to: c]] + V [loop (?? [request: [3 1], reply-to: c]] + + V [ loop ?? [request: [2 3], reply-to: c]] + + V [loop ?? [request: [1 6], reply-to: c]] + + V [c ?? [reply: 6]]
- 39. factorial 内の loop ? factorial は loop を呼び出す ? loop は [index product] という引数が必要 ? index が 1 なら結果を返す継続を実行 ? index が 1 以外なら [(index - 1) (index * product)] を引数としたメッセージを loop に 送る ? index の初期値は factorial で受け取ったデー タ（ここでは 3） ? product の初期値は 1
- 40. こんな感じで . . .
- 41. こんな感じで . . . ? 論文では公理的法則群が書かれている
- 42. こんな感じで . . . ? 論文では公理的法則群が書かれている ? Arrival Orderings で到着順序の話とか
- 43. こんな感じで . . . ? 論文では公理的法則群が書かれている ? Arrival Orderings で到着順序の話とか ? ラムダ計算の記述例などが続く
- 44. こんな感じで . . . ? 論文では公理的法則群が書かれている ? Arrival Orderings で到着順序の話とか ? ラムダ計算の記述例などが続く ? が、長いのでここでは飛ばす
- 45. Actor の表現 [F ?? [request: argument-tuple, reply-to: continuation]] [continuation ?? [reply: answer]] [X ?? [request: message, reply-to: C]]
- 46. Actor の実装例 ? Erlang のあれ ? Scala の Akka ? GPars の Actor ? etc . . .
- 47. Actor の実装
- 49. Actor の実装 ? 実装方法は様々 ? fault-tolerance な方向は共通
- 50. Actor の実装 ? 実装方法は様々 ? fault-tolerance な方向は共通 ? let it crash(クラッシュさせちゃいなよ)
- 51. 話していないこと ? スケーラビリティ（Lock Free との差はうさ みみさんが並行/並列基礎勉強会で話してく れるかと） ? OneForOne、OneForAll ? メッセージは immutable 云々
- 52. まとめ ? 「全てのものは Actor である」という哲学 ? 実装は様々 ? 並行/並列基礎勉強会では喋りません