Elixirのライバルを 紹介する (仮) / Shibuya.ex #1 LT by moccos

2015-08-25 Shibuya.ex #1 LT
発表に使ったバージョンに、喋った概要と一部補足のテキストをのせたもの

Transcript

1. Elixirのライバルを 紹介する (仮) 2015-08-25 Shibuya.ex #1 LT もっこす(@moccos[twitter|GitHub])
2. ライバル? 適用分野が似ているという意味のライバル(Rails等)ではなく 姿形の似たアクターモデルのライバルを紹介
3. VS Erlangとの比較も話題としてはあるけれど、今回は無しで
4. VS この4つを紹介 (一番右はロゴがなかった)
5. Akka • http://akka.io/ • 2.3.12 (current stable release) • JVM • Java / Scala 既にメジャーバージョン2、だいぶ充実してきている
6. Akkaといえば… Play Frameworkが一番有名かも Akkaの上に実装されている
7. 公式を見ると、何やらあちこちで採用されている おそらくErlangと同様にバックエンドなので、見た目にはわからない
8. ドキュメントも充実
9. いろいろな機能が実装されている Erlang/OTPの売りであるSupervisorも ある
10. Akka vs Elixir Akka Elixir Scala / Java 言語 Elixir / Erlang JVM 処理系 Erlang VM メッセージ スケジュール単位 簡約 全体 GC Processごと 静的 型 動的 速い 演算速度 遅い そんな強力なライバルAkkaとの比較 かなりの部分がJVM と Erlang VMの比較
11. Akka vs Elixir Akka Elixir Scala / Java 言語 Elixir / Erlang JVM 処理系 Erlang VM メッセージ スケジュール単位 簡約 全体 GC Processごと 静的 型 動的 速い 演算速度 遅い Erlang VMの強みは • Actorのスケジュール → 長く演算しているErlangプロセスが占有しない • グローバルに同期しないGC → Stop the worldの危険性が低い という、Actor model専用機ならではの部分かと
12. Orleans • http://dotnet.github.io/orleans/ • 1.0.9 (NuGet) • .NET • C# / F# / VB Microsoft謹製 超大型FPS Halo4 のサーバーサイド (https://channel9.msdn.com/Events/Build/2014/3-641 このスライドの説明がとてもわかりやすい)
13. Orleansの思想 Virtual Actor
14. Virtual Actor instances always exist, virtually
15. Virtual Actor • あるActorが常時存在する (ように見える) • 落ちたら勝手にどこかで復活する • Let it crash! の単純化 Erlang等だと、再起動ポリシーをこまごまと設定できるけども とりあえず再起動してくれればいいよ、とまで単純化できるのであれば 楽が出来そうなしくみ
16. Orbit • http://orbit.bioware.com/ • 0.4.5 (Maven central) • JVM • Java / Scala
17. heavily inspired by the Orleans project
18. Orbitの雑な説明 • OrleansのJVM版クローン ほとんど同じ機能が実装されている でも、.NETではなくJVMで動くというだけで価値がある
19. Pony • http://www.ponylang.org/ • 0.1.7 (on 18 Jun) • ネイティブバイナリにコンパイル 最後に色物、まだ出来たての言語
20. でも既にCommercial Supportがある。謎の気合
21. 要素は全てActor。これはErlang VMと同じといえる (喋る時間がなかったけども、GCがActor単位で可能な利点をPonyも持つ)
22. 他の文法を雰囲気だけ見てみると… 変数宣言、これはわかる
23. なんだこれは → Objectの参照権で細かく分類されている
24. Pony • ドキュメントがなくてつらい • そもそも言語機能が多くて難しい • 理想が高いのはわかる • 演算性能が高くなるはずなのもわかる (ドキュメントについて補足) 一切全く無いのでなくチュートリアルはあるが、網羅的でない Exampleやソースコードが頼り
25. (とても大雑把な) まとめ • Akka • 機能豊富 • 実績あり • Orleans / Orbit • Actorの死活管理がシンプルでよければ • 分散システム前提 • Pony • 現状は人柱 • たぶん動けば速い
26. (とても大雑把な) まとめ •Elixir • Erlang VMの応答性が最強