Segmented Stackについて

Masanori Ogino @omasanori

Rustがsegmented stackをやめた件 https://t.co/fSibG8zoqA を見逃していたので、別の議論でsegmented stackをやめてないと成り立たない話が展開されて混乱した

SKS rep @repeatedly

@omasanori 詳細教えてください！ > segumented stack周り

Masanori Ogino @omasanori

@repeatedly SS自体は説明しなくてもいいですよね？ ・RustのランタイムがSSを廃止した ・理由はスタックのスイッチコスト、及びそれを最適化することにかかる労力が割に合わないと判断したから ・スタックの割り当てとスイッチは予測不可能な性能低下を起こす

SKS rep @repeatedly

@omasanori SSってgoroutineとかでも使われてるあの仮想的なスタックなことだよね？そうだとすると，Rustの並行処理はこれに依存していたのでは？

Masanori Ogino @omasanori

@repeatedly ・SSしてるとFFIの難易度が増す ・LLVMの一部の命令はlibcにリンクするか組み込み命令になるかをLLVMが判断するので上述の理由によりFFIと同様の考慮が必要になる ・上2つの問題を回避するためにスタックの初期サイズを大きくしたらSSの意味がない

Masanori Ogino @omasanori

@repeatedly そうです。OSやMMUがうまくやってくれることに頼ることにしたようです。x86_64だとSSやってた頃と大差ないだろう、32ビットのアドレス空間だときついかもしれないけどそれは"calculated risk"だ、とのこと。

Masanori Ogino @omasanori

"Bill, memory is cheap." https://t.co/63Vjvkck6L

SKS rep @repeatedly

@omasanori OSやMMUがうまくやるってのがどこまで現実的かよくわかってないんですが，Rustで並行処理のユニットを一つspawnすると，それはネイティブスレッドが起動する？それとも今まで通りなんか間に一つ挟む？

Masanori Ogino @omasanori

予測不能な性能低下はGoではhot split problemと呼ばれているらしい。 https://t.co/HESNe52lun

SKS rep @repeatedly

Rustでポンポン並行処理の単位を生成出来るのはSegmented Stackのおかげだったはずだけど，それをやめるとなると，いわゆるネイティブスレッドでほげほげ，という感じになるんだろうか？Goでもパフォーマンス低下が知られてるようだけど，今は無視出来るほどなのかな…？

SKS rep @repeatedly

GHCの軽量スレッドは同じような問題抱えてないのかな？実装の問題だろうか？ > "[rust-dev] Abandoning segmented stacks in Rust" https://t.co/T65emmLgri

Masanori Ogino @omasanori

@repeatedly タスクとスレッドの間にはスケジューラがあった（＝分離されている）ような。前にあなたが紹介していたあのスレッドでそれもどうしようかという話が挙がっていますが。（M:Nスレッドモデルと1:1スレッドモデルの両方の需要に応えられるようにしたいとか何とか）

Masanori Ogino @omasanori

Rustできなかった時期にランタイムライブラリがごっそり入れ替わったので正直わからない部分ある

Masanori Ogino @omasanori

0.8のリリースノート読むところからかな

Masanori Ogino @omasanori

"Having memory is cheap, accessing it isn't." https://t.co/KLTPAJaqLP

SKS rep @repeatedly

@omasanori なるほどー．タスクの割り当て先としてのSegmented Stackが消えて，そこは適当に環境に任せる，という感じかー．複数のスレッドモデル対応はなんか面倒そうだ

Masanori Ogino @omasanori

shelarcy氏が補足してくれるでしょう #他力本願

SKS rep @repeatedly

実装レベルで理解するにはソース読んだ方が早いか

SKS rep @repeatedly

"Memory is cheap"を見て，某JVM実装の"Buy more RAM"を思い出した

Masanori Ogino @omasanori

HaskellのIOスケジューラを改善する"Mio: A High-Performance Multicore IO Manager for GHC"という論文がrust-devで話題になっていたので、多分GHCも何かやってはいるはず

SKS rep @repeatedly

Erlangもそうなのかな？皆この軽量スレッドなアプローチ取ってて，追求し出すと終わらんな…

Masanori Ogino @omasanori

@repeatedly 確かに。

SKS rep @repeatedly

Rust，順調に茨の道に行ってるっぽい

Masanori Ogino @omasanori

きっと最初から茨の道です。いやでも方針としては既に誰かがやったことある技術の組み合わせだったはず。

SKS rep @repeatedly

#[fixed_stack_segment] というのが大量にRustのコードから消えてるけど，これがsegmented stackを示すattributeなのか？Task周りのコード読むか…