[ruby-list:774] Re: mech. of Thread (Re: httpd.rb)

In message "[ruby-list:773] Re: mech. of Thread (Re: httpd.rb)"
    on 96/10/07, Shin-ichiro Hara <[e-mail]> writes:

|> thread切替えはsetitimerのあるOSではそれを使って約50msec毎に
|> 行っています．そうでないOSではインタプリタが500ステップ実行
|> する毎に切替えています．
|
|分かりました。後者では、あるスレッドでインタプリタが入力待ちな
|どでブロックしてしまった場合、全体が止まってしまうことになるの
|かしら？

これはどっちでもそうです．rubyは実は疑似的なpreemptiveで，時
間で割込みが来てもフラグを立てるだけで実際のコンテキスト切替
えはインタプリタが安全な時に行います．ですから，前者でもブロッ
クされちゃったらそれまでです．

setitimerを使っているかどうかの違いは

  * 使っている方が正確な時間で切り替わる
  * 使っている方がほんの少し軽い(らしい)

くらいです．

なぜ前者でも割込みで切替えないかというと，ruby全体をthread
safeにするコストが現実的でなかったからです．別のアプローチと
しては危険な部分で切替えをブロックというものがありますが
(Guileはこっち)，extensionの書きやすさから，今の方を採用して
います．

ですが，rubyから使っている範囲内ではそのような問題は起きない
はずです．ブロックする可能性のあるメソッドはブロックしそうな
場合に他のthreadに制御権を引き渡すようになっています．
Socket#acceptはそれを忘れていたわけです．

問題のあるのはextensionでしょうね．拡張モジュールを書く時に
はブロックしたり，busy waitしたり，無限ループに落ちたりしな
いように気をつけてくださいね．

|ああ、知りたかったのはこれです。ensure は Thread.kill でも有効なの
|か！

原則: ensureはexit!(とBug()の呼出)を除くあらゆる場合に呼ばれ
るはずです．呼ばれなければそれはバグです．

                                まつもと ゆきひろ /:|)