Segmented Stackについて

SKS rep @repeatedly

@methane ほー．てっきりgoしまくるとそれらが勝手にがんがん平行処理されると思ってたんですが，IOが発生するとかchannelでブロックするとか，そういうのがないと基本的にはgoroutineが順番に処理される，という感じなんですかね？

methane @methane

@repeatedly GOMAXPROCS分は並列実行します。切り替えが preemptive じゃなくて協調的。で、切り替えのトリガーがシステムコール待ちやチャンネルとかだけだったのが、1.2からスタック伸びるタイミングも入ったので簡易 preemptive

SKS rep @repeatedly

@methane I see

methane @methane

@repeatedly Go で CGO 使うプログラム書くときは、それを扱う goroutine 分けた方がよさそうですねぇ。その goroutine のスタックだけうにょーん。

SKS rep @repeatedly

@methane ですねぇ．GHCはこの辺勝手にやってくれるっぽいのですが，どうやってるのかは実装読んでみないとわからんですね > https://t.co/pDDxhEw32y

SKS rep @repeatedly

今時の言語はランタイムが複雑で俺みたいな年寄りにはつらい…

methane @methane

@repeatedly あー、Go って M:N モデルで、GoroutineはNに紐付けた segmented stack 使ってるけど、C呼び出すときは M に紐付かれた (pthread とかがが用意した) スタックでそのC関数呼び出すみたいです。なのでうにょーんしない

SKS rep @repeatedly

@methane ほぅ！それってどの辺のコードかとかわかります？

methane @methane

@repeatedly http://t.co/wZomdNmgpq このファイルの先頭にコメントとして書かれてました。

SKS rep @repeatedly

@methane おお，確かに書かれてますね．どうやって動作保証するんだと思ったら，runtime·lockOSThread()とかいろいろやってますね．なるほど…

mkotha @mkotha

@repeatedly @methane Haskellコードの実行中もOSスレッドのスタックへのポインタがレジスタ(amd64ならrsp)に入っていて、外部関数を呼ぶときに使われます https://t.co/uqRQgdd2YE https://t.co/xavZJ2zfPN

mkotha @mkotha

外部呼び出しとレジスタスピルの為だけにrspを使うのって無駄に思えるけどなんでこうなってるんだろう。どうせレジスタは沢山あるから大した問題じゃないのかもしれないけど

mkotha @mkotha

いやしかしx86も現役だぞ(とくにwindows)