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
わりこまれるはなし
Search
seki at druby.org
August 05, 2023
Programming
0
820
わりこまれるはなし
toRuby拡大版 (2023-08-05)
seki at druby.org
August 05, 2023
Tweet
Share
More Decks by seki at druby.org
See All by seki at druby.org
RWC 2024 DICOM & ISO/IEC 2022
m_seki
0
440
ERB, ancient and future
m_seki
3
880
ERB Hacks
m_seki
1
1.5k
ぼくのかんがえたさいきょうのけいやくによるプログラミング
m_seki
2
1.2k
Learn Ractor
m_seki
1
2.7k
How many copies did you buy the first print?
m_seki
1
740
Create my own search engine.
m_seki
1
5.3k
Rinda in the real-world embedded systems.
m_seki
0
440
xpjug2019 A-4: チケットシステムの設計と実装、『あのチーム』の運用
m_seki
6
6.5k
Other Decks in Programming
See All in Programming
TypeScript LSP の今までとこれから
quramy
1
500
Haskell でアルゴリズムを抽象化する / 関数型言語で競技プログラミング
naoya
17
4.6k
F#で自在につくる静的ブログサイト - 関数型まつり2025
pizzacat83
0
300
iOSアプリ開発で 関数型プログラミングを実現する The Composable Architectureの紹介
yimajo
2
210
つよそうにふるまい、つよい成果を出すのなら、つよいのかもしれない
irof
1
290
生成AIで日々のエラー調査を進めたい
yuyaabo
0
570
Go1.25からのGOMAXPROCS
kuro_kurorrr
1
630
Practical Tips and Tricks for Working with Compose Multiplatform Previews (mDevCamp 2025)
stewemetal
0
120
「ElixirでIoT!!」のこれまでとこれから
takasehideki
0
360
業務自動化をJavaとSeleniumとAWS Lambdaで実現した方法
greenflagproject
1
110
CSC307 Lecture 17
javiergs
PRO
0
110
Cursor Meetup Tokyo ゲノミクスとCursor: 進化と制約のあいだ
koido
2
1k
Featured
See All Featured
Six Lessons from altMBA
skipperchong
28
3.8k
VelocityConf: Rendering Performance Case Studies
addyosmani
329
24k
The Cost Of JavaScript in 2023
addyosmani
50
8.4k
CSS Pre-Processors: Stylus, Less & Sass
bermonpainter
357
30k
For a Future-Friendly Web
brad_frost
179
9.8k
A better future with KSS
kneath
239
17k
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
marcduiker
30
2.1k
Refactoring Trust on Your Teams (GOTO; Chicago 2020)
rmw
34
3k
Faster Mobile Websites
deanohume
307
31k
ピンチをチャンスに:未来をつくるプロダクトロードマップ #pmconf2020
aki_iinuma
123
52k
Connecting the Dots Between Site Speed, User Experience & Your Business [WebExpo 2025]
tammyeverts
4
160
Product Roadmaps are Hard
iamctodd
PRO
53
11k
Transcript
わりこまれるはなし
[email protected]
Ractorの中では限定的な操作しかできないぞ!の補足として話そうとしたが没にした
まとめ わりこまれたことを知るのは相当めんどくさいぞ 結局イベントループ的な構造が必要になるぞ イベントとかコールバックとかめんどくさいからスレッ ドにやらせればいいや!と思うかもしれないけど、その スレッドのためにイベントループが必要でなにも解決し ないぞ! 2
プログラムがわりこまれる? 実行中のプログラムがわりこまれるって なにか特別なイベントが発生したら 中断、変更、サービス開始... どうやって? 3
実行主体 プログラムが走ってるな!って感じるアレ コンテキストとかいうときもある? プロセス、スレッド、ファイバ(コルーチン) そういう概念あるでしょ? 4
昔のこと 1982 - 8bit PC(MZ-80系列) 1992 - RealTime OSとデバイスドライバ、pthread 1999
- dRuby 5
OSҎલ OSとかないころ
SHARP MZ-80 BASICのテキストだよ
BREAKキーとは! BASICインタプリタ ≒ REPL BREAKキーを押すとプログラムの実行を停止して、対話 モードに戻る BREAKキーに特別な能力があると信じていたがマシン語 で書いたサブルーチンは止まってくれない...なんでだ!? 当時BASICで書くと遅いルーチンはハンドアセンブルで 作ったサブルーチンをコールする、という宗派があった
shでいうとCtrl-Cとか? 8
関西弁...
BREAK
BREAKキーの実装 実際にはこんな感じ!RUNすると構文木を処理するぞ 11 BREAK RUN
BREAKキーの実装 OPコードを一つ処理する 12 BREAK
BREAKキーの実装 BREAKキーが押されているか見る 13 BREAK
BREAKキーの実装 OPコードを一つ処理する 14 BREAK
BREAKキーの実装 また見る 15 BREAK
BREAKキーの実装 OPコードを一つ処理する 16 BREAK
BREAKキーの実装 また見る...押されてた!! 17 BREAK
BREAKキーの実装 実行やめてプロンプトへ戻る 18 BREAK READY _
処理の合間にキーを見る 処理を小さな単位に分けて、その合間にBREAKキーが押 されているか調べてる 都合のよいときにチラ見する→ポーリング これは割り込み機能がないからなの!? OSがあればこんな苦労しなくて良いのに(妄想 それはどうかな... 19
signal UNIXのケース 20
signal Ctrl-Cで停止させるのは? 止めてるのはOS側 じゃあプロセスがうけとるときは? 21 signal
signal シグナルがきた!実行主体は横取りされるぞ 22 signal
signal 割り込みサービスルーチン 本体とは別人格 async-signal-safe関数のみ preemptiveとかいう 23 signal
async-signal-safe 本体がどのような状態でも別人格に切り替わる mallocなどのメモリ管理中や再入可能でない関数の中、ト ランザクション的な処理の途中であっても別人格になる 本体を壊さないように限られた処理だけが許されている async-signal-safeと言われる操作だけだよ 「許されている」っていうのは約束を守れば動くけど、 守っていないことをコンパイラが教えてくれたりはしな いぞ みんなもシグナルハンドラでログを書いていた先人のコードで困ったことがあるはず
24
signal 割り込みサービスルーチン 本体とは別人格 async-signal-safe関数のみ 大域変数に遺言を残して終了 たいしたことはできないので、割り込まれたよーというメモを残して終わる 25 signal
signal 割り込みサービスルーチン 本体とは別人格 async-signal-safe関数のみ 大域変数に遺言を残して終了 本体は... 割り込まれたことを知らないので... 残されたメモを定期的に見に行くことに Rubyでsignalつかってもこういうことは身につかないかもしれん 26
signal
signal 割り込まれたときに気づけない 長いシステムコール中ならEINTR わかることもあるがわからないこともある 割り込まれたときに気づけないので、都合の良いときに メモがないか調べることになる なんらかのイベントループを構成しとく必要がある またか! 27
pthreadのcancel RubyでいうところのThread#killのはなし スレッドを任意の瞬間に止めることはできない malloc中とかトランザクション中とかさっきのasync- signal-safeと同じようなもの 次の都合のよいときに止まってくださいな pthread_cancel() cancel要求受けました、というメモをしておく 標準ライブラリは呼ばれたときにメモを見て自殺する めっちゃ使いにくい!!
Rubyのスレッドは楽すぎて堕落する 28
select族が便利 シグナルハンドラやスレッド間の通信が必要な局面で socket_pairやpipeなどを用いるテクニックも多い FDとして扱える select族で多元待ちも簡単 一度に複数の事象を待てる select()使えるようになって歓喜した人たちがいた(旧世紀) 29
都合のよいときにメモを見る 割り込まれた!は自分で見る 確認する単位はいろいろ OSがあるとメモを効率よく書いてくれる でも本質的な形はかわらない 実行主体には割り込めない 30
「処理の合間に見る」を反転 チラ見するたびに処理をする イベントドリブンのスタイル 巧みに隠されているけどWebのJSとか コールバックを呼ぶ人はだれなのか?を想像しよう 31
コールバックめんどくさいから めんどくさいからマルチスレッドにしてみたー めんどくささは解決していない スレッド間通信もチラ見のループになる よくある勘違い 32
まとめ わりこまれたことを知るのは相当めんどくさいぞ 結局イベントループ的な構造が必要になるぞ イベントとかコールバックとかめんどくさいからスレッ ドにやらせればいいや!と思うかもしれないけど、その スレッドのためにイベントループが必要でなにも解決し ないぞ! 33