Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
【Crystal】Concurrency
Search
at_grandpa
July 18, 2018
Technology
3
870
【Crystal】Concurrency
crystal.tokyo #7 での発表資料です。
https://crystal.connpass.com/event/93629/
at_grandpa
July 18, 2018
Tweet
Share
More Decks by at_grandpa
See All by at_grandpa
技術書典5でチャレンジしたあれこれ
atgrandpa
3
1.9k
CSS組版おもしろい!
atgrandpa
1
300
Rubyを好きになった過程
atgrandpa
3
1.5k
技術同人誌を執筆して得たこと
atgrandpa
3
1.5k
【Crystal】Macroについて
atgrandpa
3
1.5k
初のサークル参加で気づいた小さなこと
atgrandpa
0
490
Other Decks in Technology
See All in Technology
いかにして命令の入れ替わりについて心配するのをやめ、メモリモデルを愛するようになったか(改)
nullpo_head
2
350
【CEDEC2025】『Shadowverse: Worlds Beyond』二度目のDCG開発でゲームをリデザインする~遊びやすさと競技性の両立~
cygames
PRO
1
290
製造業の課題解決に向けた機械学習の活用と、製造業特化LLM開発への挑戦
knt44kw
0
160
OPENLOGI Company Profile for engineer
hr01
1
37k
Amazon Q Developerを活用したアーキテクチャのリファクタリング
k1nakayama
2
190
AIエージェントを現場で使う / 2025.08.07 著者陣に聞く!現場で活用するためのAIエージェント実践入門(Findyランチセッション)
smiyawaki0820
6
710
相互運用可能な学修歴クレデンシャルに向けた標準技術と国際動向
fujie
0
210
生成AI時代におけるAI・機械学習技術を用いたプロダクト開発の深化と進化 #BetAIDay
layerx
PRO
1
1k
バクラクによるコーポレート業務の自動運転 #BetAIDay
layerx
PRO
1
860
金融サービスにおける高速な価値提供とAIの役割 #BetAIDay
layerx
PRO
1
750
【新卒研修資料】数理最適化 / Mathematical Optimization
brainpadpr
25
12k
【Λ(らむだ)】最近のアプデ情報 / RPALT20250729
lambda
0
230
Featured
See All Featured
Why You Should Never Use an ORM
jnunemaker
PRO
58
9.5k
Evolution of real-time – Irina Nazarova, EuRuKo, 2024
irinanazarova
8
880
Music & Morning Musume
bryan
46
6.7k
RailsConf & Balkan Ruby 2019: The Past, Present, and Future of Rails at GitHub
eileencodes
139
34k
Building a Modern Day E-commerce SEO Strategy
aleyda
43
7.4k
Designing Dashboards & Data Visualisations in Web Apps
destraynor
231
53k
Let's Do A Bunch of Simple Stuff to Make Websites Faster
chriscoyier
507
140k
Bootstrapping a Software Product
garrettdimon
PRO
307
110k
The MySQL Ecosystem @ GitHub 2015
samlambert
251
13k
The Success of Rails: Ensuring Growth for the Next 100 Years
eileencodes
46
7.5k
Facilitating Awesome Meetings
lara
54
6.5k
Speed Design
sergeychernyshev
32
1.1k
Transcript
Concurrency 2018.07.18 @at_grandpa Crystal.tokyo #7 in 渋谷
@at_grandpa
圧倒亭グランパのブログ
Concurrency
✔ Concurrency の雰囲気を話します ✔ 細かい syntax などはドキュメント参照
None
“as in Go or Clojure” ✔ Go の goroutine/channel とほぼ同じ
終了!
Concurrency の中身を ちょっと覗いてみましょう
サンプルコード ✔ 並行処理 ✔ 各処理からの値の取得
None
String型のChannelをインスタンス化
2つのFiberを生成
Channel経由で値を取得
2018-07-18 08:12:50 +09:00 start 2018-07-18 08:12:50 +09:00 [fiber 1] start
2018-07-18 08:12:50 +09:00 [fiber 2] start 2018-07-18 08:12:55 +09:00 [top level] value: send from fiber 1 2018-07-18 08:12:55 +09:00 [fiber 1] end 2018-07-18 08:13:00 +09:00 [top level] value: send from fiber 2 2018-07-18 08:13:00 +09:00 end
2018-07-18 08:12:50 +09:00 start 2018-07-18 08:12:50 +09:00 [fiber 1] start
2018-07-18 08:12:50 +09:00 [fiber 2] start 2018-07-18 08:12:55 +09:00 [top level] value: send from fiber 1 2018-07-18 08:12:55 +09:00 [fiber 1] end 2018-07-18 08:13:00 +09:00 [top level] value: send from fiber 2 2018-07-18 08:13:00 +09:00 end ・並行に動いている ・値も取れている
どういう仕組みで動いているか
✔ Fiber ✔ Runtime Scheduler ✔ Event Loop ✔ Channel
✔ IO::Syscall Concurrencyを理解するポイント
Fiber ✔ Process ⊃ Thread ⊃ Fiber ✔ 協調マルチタスク -
Fiber自ら、処理を他のFiberに委譲する - 1つのFiberが固まるとシステム全体が固まる ✔ Crystalの処理は全てFiberで行われている - 「Main Fiber」でメインの処理を実行している
Runtime Scheduler ✔ Fiberの切り替えを担当 ✔ クラス変数にFiberのqueueを持っている - @@runnables = Deque(Fiber).new
- 実行可能Fiberのqueue ✔ Scheduler.rescheduleで切り替え
Event Loop ✔ I/O処理の委譲先 ✔ 委譲している間に別のFiberを実行できる ✔ I/O処理が終了したら委譲元のFiberに移る
Channel ✔ Fiber間のデータのやりとり ✔ 送信元Fiberや受信先Fiberを保持 - @senders = Deque(Fiber).new -
@receivers = Deque(Fiber).new ✔ 送受信時にFiberを切り替え - Runtime Scheduler を使う
IO::Syscall ✔ 以下でincludeされている - Crystal::System::FileDescriptor - Socket ✔ read/writeでFiber切り替え -
Runtime Scheduler を使う ほぼ全てのI/Oを網羅
実際の動き追う
None
Channelをインスタンス化
・Fiber1を定義 ・Runtime Scheduler の 実行可能Fiberのqueueに Fiber1が enqueue される
concurrency.cr ・Fiber1を定義 ・Runtime Scheduler の 実行可能Fiberのqueueに Fiber1が enqueue される
・Fiber2を定義 ・Runtime Scheduler の 実行可能Fiberのqueueに Fiber2が enqueue される
・実際の処理はここから開始 ・Top Level のコードは 「Main Fiber」で動いている ・Channelの送受信時には Fiberの切り替えが行われる
・実際の処理はここから開始 ・Top Level のコードは 「Main Fiber」で動いている ・Channelの送受信時には Fiberの切り替えが行われる ・Runtime Scheduler
の 実行可能Fiberのqueue からshift ・Fiber1に処理が移る
・Fiber1に処理が移った
・sleep
concurrency.cr
concurrency.cr fiber.cr
concurrency.cr fiber.cr ・Event Loop に処理を委譲 ・Runtime Scheduler で queueの次のFiber切り替え
concurrency.cr fiber.cr ・Event Loop に処理を委譲 ・Runtime Scheduler で queueの次のFiber切り替え ・Fiber2へ移る
・Fiber2に処理が移った
・同じくFiber切り替え ・しかし、もう 実行可能Fiberのqueueには Fiberが存在しない ・I/O処理を待機するしかない
待機中 . . .
・Event Loop が sleep 5 の 終了を検知 ・処理中のFiberが他にいないので Fiber1の処理が再開される
・Channelに値を送信 ・sendの場合はreceiveを 呼んだFiberに切り替え ・Main Fiber に切り替わる ・このとき、sendしたFiberを Schedulerのqueueにenqueue
・Channelに値を送信 ・sendの場合はreceiveを 呼んだFiberに切り替え ・Main Fiber に切り替わる ・このとき、sendしたFiberを Schedulerのqueueにenqueue
・受信された値を表示
・Schedulerの 実行可能Fiberのqueueを元に Fiberの切り替え ・queueにはsendした際に enqueueされたFiber1が入っている
・Schedulerの 実行可能Fiberのqueueを元に Fiberの切り替え ・queueにはsendした際に enqueueされたFiber1が入っている ・Fiber1が再開
・値の表示
・Fiber1のブロックが終了 ・Fiberの切り替えが発生 ・しかし、Schedulerの queueには実行可能Fiberが 存在しない
待機中 . . .
・Event Loop が sleep 10 の 終了を検知 ・処理中のFiberが他にいないので Fiber2に処理が戻る
・Channelに値を送信 ・sendの場合はreceiveを 呼んだFiberに切り替え ・Main Fiber に切り替わる ・このとき、sendしたFiberを Schedulerのqueueにenqueue
・Channelに値を送信 ・sendの場合はreceiveを 呼んだFiberに切り替え ・Main Fiber に切り替わる ・このとき、sendしたFiberを Schedulerのqueueにenqueue
・受信された値を表示
・そのまま終了
・そのまま終了 ・ここは通らない
・そのまま終了 ・ここは通らない 2018-07-18 08:12:50 +09:00 start 2018-07-18 08:12:50 +09:00 [fiber
1] start 2018-07-18 08:12:50 +09:00 [fiber 2] start 2018-07-18 08:12:55 +09:00 [top level] value: send from fiber 1 2018-07-18 08:12:55 +09:00 [fiber 1] end 2018-07-18 08:13:00 +09:00 [top level] value: send from fiber 2 2018-07-18 08:13:00 +09:00 end [fiber 2] end は表示されてない
複雑!
とはいえ ✔ Concurrencyに必要な役者を知る - Fiber, Runtime Scheduler, Event loop, Channel
✔ Fiberが切り替わるタイミングを知る - I/Oの場合 - 実行可能Fiber-queueからshift - receiveの場合 - 実行可能Fiber-queueからshift - sendしたFiberをqueueにenqueue - sendの場合 - receiveしたFiberに切り替え これらを知るだけで、だいぶ変わる
まとめ
✔ 並行処理 ✔ Concurrencyに必要な役者を知ろう ✔ Fiberを切り替えるタイミングを知ろう Concurrency
✔ 立て続けにsendされたらどうなるの? - sendされた値もqueueに保存される - receiveを呼ぶ度にqueueからshift ✔ Fiber内でI/O以外の重い処理があったら? - 委譲できない処理はそのまま処理される
- その処理が終わるまで他のFiberは実行できない ✔ 入れ子spawnとかどうなるんだろう? - \(^o^)/ まだまだあるよ
Happy Crystalling ! fin