わりこまれるはなし

by seki at druby.org

Slide 1

Slide 1 text

わりこまれるはなし [email protected] Ractorの中では限定的な操作しかできないぞ！の補足として話そうとしたが没にした

Slide 2

Slide 2 text

まとめわりこまれたことを知るのは相当めんどくさいぞ結局イベントループ的な構造が必要になるぞイベントとかコールバックとかめんどくさいからスレッドにやらせればいいや！と思うかもしれないけど、そのスレッドのためにイベントループが必要でなにも解決しないぞ！ 2

Slide 3

Slide 3 text

プログラムがわりこまれる？実行中のプログラムがわりこまれるってなにか特別なイベントが発生したら中断、変更、サービス開始... どうやって？ 3

Slide 4

Slide 4 text

実行主体プログラムが走ってるな！って感じるアレコンテキストとかいうときもある？プロセス、スレッド、ファイバ（コルーチン）そういう概念あるでしょ？ 4

Slide 5

Slide 5 text

昔のこと 1982 - 8bit PC（MZ-80系列） 1992 - RealTime OSとデバイスドライバ、pthread 1999 - dRuby 5

Slide 6

Slide 6 text

OSҎલ OSとかないころ

Slide 7

Slide 7 text

SHARP MZ-80 BASICのテキストだよ

Slide 8

Slide 8 text

BREAKキーとは！ BASICインタプリタ ≒ REPL BREAKキーを押すとプログラムの実行を停止して、対話モードに戻る BREAKキーに特別な能力があると信じていたがマシン語で書いたサブルーチンは止まってくれない...なんでだ！？当時BASICで書くと遅いルーチンはハンドアセンブルで作ったサブルーチンをコールする、という宗派があった shでいうとCtrl-Cとか？ 8

Slide 9

Slide 9 text

関西弁...

Slide 10

Slide 10 text

BREAK

Slide 11

Slide 11 text

BREAKキーの実装実際にはこんな感じ！RUNすると構文木を処理するぞ 11 BREAK RUN

Slide 12

Slide 12 text

BREAKキーの実装 OPコードを一つ処理する 12 BREAK

Slide 13

Slide 13 text

BREAKキーの実装 BREAKキーが押されているか見る 13 BREAK

Slide 14

Slide 14 text

BREAKキーの実装 OPコードを一つ処理する 14 BREAK

Slide 15

Slide 15 text

BREAKキーの実装また見る 15 BREAK

Slide 16

Slide 16 text

BREAKキーの実装 OPコードを一つ処理する 16 BREAK

Slide 17

Slide 17 text

BREAKキーの実装また見る...押されてた！！ 17 BREAK

Slide 18

Slide 18 text

BREAKキーの実装実行やめてプロンプトへ戻る 18 BREAK READY _

Slide 19

Slide 19 text

処理の合間にキーを見る処理を小さな単位に分けて、その合間にBREAKキーが押されているか調べてる都合のよいときにチラ見する→ポーリングこれは割り込み機能がないからなの！？ OSがあればこんな苦労しなくて良いのに（妄想それはどうかな... 19

Slide 20

Slide 20 text

signal UNIXのケース 20

Slide 21

Slide 21 text

signal Ctrl-Cで停止させるのは？止めてるのはOS側じゃあプロセスがうけとるときは？ 21 signal

Slide 22

Slide 22 text

signal シグナルがきた！実行主体は横取りされるぞ 22 signal

Slide 23

Slide 23 text

signal 割り込みサービスルーチン本体とは別人格 async-signal-safe関数のみ preemptiveとかいう 23 signal

Slide 24

Slide 24 text

async-signal-safe 本体がどのような状態でも別人格に切り替わる mallocなどのメモリ管理中や再入可能でない関数の中、トランザクション的な処理の途中であっても別人格になる本体を壊さないように限られた処理だけが許されている async-signal-safeと言われる操作だけだよ「許されている」っていうのは約束を守れば動くけど、守っていないことをコンパイラが教えてくれたりはしないぞみんなもシグナルハンドラでログを書いていた先人のコードで困ったことがあるはず 24

Slide 25

Slide 25 text

signal 割り込みサービスルーチン本体とは別人格 async-signal-safe関数のみ大域変数に遺言を残して終了たいしたことはできないので、割り込まれたよーというメモを残して終わる 25 signal

Slide 26

Slide 26 text

signal 割り込みサービスルーチン本体とは別人格 async-signal-safe関数のみ大域変数に遺言を残して終了本体は... 割り込まれたことを知らないので... 残されたメモを定期的に見に行くことに Rubyでsignalつかってもこういうことは身につかないかもしれん 26 signal

Slide 27

Slide 27 text

signal 割り込まれたときに気づけない長いシステムコール中ならEINTR わかることもあるがわからないこともある割り込まれたときに気づけないので、都合の良いときにメモがないか調べることになるなんらかのイベントループを構成しとく必要があるまたか！ 27

Slide 28

Slide 28 text

pthreadのcancel RubyでいうところのThread#killのはなしスレッドを任意の瞬間に止めることはできない malloc中とかトランザクション中とかさっきのasync- signal-safeと同じようなもの次の都合のよいときに止まってくださいな pthread_cancel() cancel要求受けました、というメモをしておく標準ライブラリは呼ばれたときにメモを見て自殺するめっちゃ使いにくい！！ Rubyのスレッドは楽すぎて堕落する 28

Slide 29

Slide 29 text

select族が便利シグナルハンドラやスレッド間の通信が必要な局面で socket_pairやpipeなどを用いるテクニックも多い FDとして扱える select族で多元待ちも簡単一度に複数の事象を待てる select()使えるようになって歓喜した人たちがいた（旧世紀） 29

Slide 30

Slide 30 text

都合のよいときにメモを見る割り込まれた！は自分で見る確認する単位はいろいろ OSがあるとメモを効率よく書いてくれるでも本質的な形はかわらない実行主体には割り込めない 30

Slide 31

Slide 31 text

「処理の合間に見る」を反転チラ見するたびに処理をするイベントドリブンのスタイル巧みに隠されているけどWebのJSとかコールバックを呼ぶ人はだれなのか？を想像しよう 31

Slide 32

Slide 32 text

コールバックめんどくさいからめんどくさいからマルチスレッドにしてみたーめんどくささは解決していないスレッド間通信もチラ見のループになるよくある勘違い 32

Slide 33

Slide 33 text

まとめわりこまれたことを知るのは相当めんどくさいぞ結局イベントループ的な構造が必要になるぞイベントとかコールバックとかめんどくさいからスレッドにやらせればいいや！と思うかもしれないけど、そのスレッドのためにイベントループが必要でなにも解決しないぞ！ 33