Elixirを利用した繊細なwebチャットの開発

1. Elixirを利用した繊細なWebチャットの開発 @ndruger

2. Tokyo.exでは以前「軽量プロセスとシューティングで戦う」 (https://www.slideshare.net/ndruger/elixirstg)という、少しネタっぽい発表しましたが、今回はElixirでの「安定したシステム運用」に関する正統派な話

3. Elixirでの安定したシステム構築をするため、有名な本「Erlang in Anger」を読んだ。

4. 「Erlang In Anger」の目次 ● I Writing Applications ○ 1 How to Dive into a Code Base ○ 2 Building Open Source Erlang Software ○ 3 Planning for Overload ● II Diagnosing Applications ○ 4 Connecting to Remote Nodes ○ 5 Runtime Metrics ○ 6 Reading Crash Dumps ○ 7 Memory Leaks ○ 8 CPU and Scheduler Hogs ○ 9 Tracing

5. 素晴らしい情報源であり、内容の理屈はわかる。ただ、Elixirでのシステム構築・障害の経験が少ない私には、実感が湧きにくい部分もある。

6. 「してはいけない」と書いてあるような、 Elixir/Erlangのアンチパターンを実際やってしまうと、どういうことが起きるんだろう？気になりませんか？

7. Elixirのアンチパターンによるシステム問題を体験できるWebアプリ「Delicate Chat」の開発。 https://github.com/ndruger/delicate_chat

8. Delicate Chatとは？ ● Phoenixを使ったシンプルなWebチャット ● 特徴 ○ サーバサイドのElixirでの実装が「Erlang In Anger」での「してはいけないこと(アンチパターン)」を活用して実装されている。 ○ そのアンチパターンが原因のシステム障害を体験できる。

9. こんな感じのUI(デモる) Erlang VM の情報投稿されたメッセージ入力欄障害生成ボタン

10. ● 「Erlang In Anger」から引用 ○ > Don’t use dynamic atoms! ○ > If you use the xmerl library that ships with Erlang, consider open source alternatives or figuring the way to add your own SAX parser that can be safe . つまり、アンチパターン的には、xmerlを使ってそれにユーザーの入力などを渡してやればいいのか。チャットにxmlを送信すると、サーバサイドでxmerlでxmlバリデーション (:xmerl_scan.string/1で実現(!?))した結果を付加してくれる機能を追加しよう。アンチパターン1 (ユーザー入力をAtom生成系ライブラリに渡す)

11. 体験デモ1

12. アンチパターン2 (過負荷を考えないメッセージ管理) ● 「Erlang In Anger」から引用 ○ > Chapter 3. Planning for Overload ○ > 3.2 Restricting Input 過負荷を考慮して実装するためのパターンが書いてある。つまり、アンチパターン的には、過負荷を考えずにメッセージを投げればいいのか。チャットに「メッセージの暴力性の判定＆暴力的ユーザーへの通知」機能を追加する。1 つのGenServerのプロセスで非同期(GenServer.cast/2)で処理を受けつけて仮想的な重い実装(Process.sleep(5_000))で処理して、定常的に過負荷を与えてみよう。

13. 体験デモ2

14. 1. 問題の起きるユースケースの理解が深まる。 2. 何が起きてどのような状態になるのかがわかり、ErlangVMのどの項目を監視しておけば早めに検出できるのかがわかる。アンチパターンが起こす問題を体験するメリット

15. たまにはElixir/Erlangを使って、不安定なWebアプリを作ってみませんか？