ruby-list

前田です。

At Sun, 6 Jun 1999 01:20:14 +0900,
Shin-ichiro Hara <sinara@blade.nagaokaut.ac.jp> wrote:
> |> 例えば Thread#run が一つも無くて、Thread#wakeup のみが使われている
> |> こと。これも、スケジューリング問題の調整のためでしょうか。あとロッ
> |> クの owner という概念があって、そこかしこに、owner がずれてると例外
> |> を発生させる様になっているところとか。owner はカウントつきロックの
> |> ためにだけあるのでは無いようですね。
> |
> |[ruby-list:6791]あたりにその辺の理由が書いてあります。
> |簡単に言うとsignal/broadcastされた時点でwaitしたスレッドが優先的
> |にロックを獲得できるようにするためです。
> 
> ええ、そうなっているのはわかります。しかしそんなことが必要になっ
> てしまうのは signal で run させずに wakeup させているからですよ
> ね。私の cv2.rb みたいに run させればいいだけのことではないかな
> あ。なぜ run させずに wakeup & pass させるのだろう。

t.run

というのは、

t.wakeup
Thread.pass

と同値なので、t.runした直後にtに実行権が渡ることは必ずしも保証さ
れないような気がして、このようにしてあります。
# ひょっとして保証されるんですか?＞まつもとさん

つまりrunでも問題が起きる可能性はあるのではないかと。

> |あと、wakeupを使っているのはスケジューリングが起こって欲しくない
> |からですね。
> 
> ああ、ここでスケジューリングというのはスレッドのスイッチという意味
> ですね。なぜスイッチしたらいかんのだろう。どうせ不定な時期にスイッ
> チするんだからここで意図してスイッチを起こしてもいいようが気がする
> のですが。

すいません、「スケジューリング」と書いてたのは「スケジューリング
イベント」と書こうとしていたのでした。

で、ここでwakeupしているのは、クリティカルセクションではrunしても
スケジューリングイベントは起きないからです。
# つまり、runでも同じだけど意味がないのでwakeupにしているわけです。

> いや、条件変数の signal が原因でスレッドのスイッチが起こらないよう
> にできるなら、その方が気持ちいいとは思います。たかが変数ごときにス
> ケジュールを変形されたくないという気持ちは分かります。
> 
> もしそういうことなら、signal の頭で Thread.critical の値を保存し
> て、最後にそれを復活させる（そして Thread.pass もさせない）という
> のが徹底していて、いい様な気もします。

いや、ここはスケジューリングイベントを起こさないといけないんです。
というのは、signalしたスレッドがまだロックを保持している間に、
waitしているスレッドにスイッチしておかないと、せっかくキューに優
先順位を設けたのに、キューに並ぶひまもなく、他のスレッドにロック
を奪われてしまうかもしれないからです。
signalしたスレッドがまだロックを保持している間は、他のスレッドに
実行が渡ってもキューの優先順位があるので大丈夫なのですが、ロック
がフリーになってからはじめてスケジューリングイベントが起こったと
すると、他のスレッドにロックを横取りされてしまいます。

で、[ruby-list:6791]でも書いているのですが、さらにsignalしたスレッ
ドから他のスレッドに移ってまた戻ってくる間に必ずwaitしたスレッド
に実行が移る保証があるのか、というのが問題になるんですが、たぶん
少なくとも今の実装では保証されると思います。

> |う、手元のmonitor.rbの253行目はスクリプトの終わりになってます(^_^;
> |なんかこの間バグを一つつぶしたような気がする(夢だったかも)ので
> |ruby-1.3.4付属のもので試していただけませんか?
> 
> おおっ、新しい monitor.rb を見てみました。かなり分かりやすい。いま
> まで難しい、難しいと言っていたのは、ruby-1.2.5 までの話です。なるほ
> ど、組み込みクラスのインスタンスがインスタンス変数を持てる様になっ
> たのは大きいですね！

このおかげでかなり楽になりましたね。

> 時代は 1.3 だな。(^^)

です:-)

-- 
前田 修吾

Thread

Prev Next

In This Thread

Prev Next

[#14708] ruby-gtk-0.18 — "Dai.K." <MAP2303@...>

[#14713] ruby/gtk 0.18 — matz@... (Yukihiro Matsumoto)

[#14715] HTTP Client with Ruby — TAKAHASHI Masayoshi <maki@...>

[#14736] RE: UNIX-based OS on PC-98x1 (Re: [BUG] def foo; foo end; foo) — "Takehiko Ueki" <takehiko@...>

[#14737] Re: [BUG] def foo; foo end; foo — "Takehiko Ueki" <takehiko@...>

[#14739] manual bug — kikutani@...

[#14740] Re: nkf(NKF::JIS, str) — 助田 雅紀 <masaki.suketa@...>

[#14746] gsub("'", "\\'") — Toshihiko SHIMOKAWA / 下川俊彦 <toshi@...>

[#14747] Ruby-gtk の Text Widget について — Takano Naoki <takanon@...>

[#14756] Re: ちっちゃい Ruby — 中村暁史 <anakamur@...>

[#14761] CGI.rb — Wakou Aoyama <wakou@...>

[#14763] do end + do end — Wakou Aoyama <wakou@...>

[#14765] ruby 1.3.4 with ipv6 — Yasunari Momoi <momo@...>

[#14766] ruby 1.3.4 on BSD/OS 3.1 — Yasunari Momoi <momo@...>

[#14790] Microsoft Perl ? — ARIMA Yasuhiro <fit0298@...>

[#14804] telnet.rb(0.20) — Wakou Aoyama <wakou@...>

[#14821] Re: UNIX-based OS on PC-98x1 (Re: [BUG] def foo; foo end; foo) — "Takehiko Ueki" <takehiko@...>

[#14822] Re: [BUG] def foo; foo end; foo — "Takehiko Ueki" <takehiko@...>

[#14826] Re: UNIX-based OS on PC-98x1 (Re: [BUG] def foo; foo end; foo) — "Takehiko Ueki" <takehiko@...>

[#14827] ruby-gtk-0.18 — Kenji Horikoshi <k-horix@...>

[#14833] Regacy scripts depend the ruby old version. — ARIMA Yasuhiro <fit0298@...>

[#14842] texinfo document for ruby-1.3 — Koji Arai <JCA02266@...>

[#14843] Ruby/Tk TkText#dump — Tomoyuki Kosimizu <greentea@...2.so-net.ne.jp>

[#14846] Re: Microsoft Perl ? — 助田 雅紀 <masaki.suketa@...>

[#14854] Rubyfaq-990607 — Akira Endo <akendo@...3.rim.or.jp>

[#14860] CVSup server — Yasuhiro Fukuma <yasuf@...>

[#14863] OO Software Construction by Meyer — Akira Endo <akendo@...3.rim.or.jp>

[#14874] ruby-gtk trouble — Jun Adachi <adachi@...>

[#14891] Re: extension library for mutual exclusion — SHUDO Kazuyuki <shudoh@...>

[#14898] font-lock on ruby-mode — Koji Arai <JCA02266@...>

[#14900] Rubyfaq-990608 — Akira Endo <akendo@...3.rim.or.jp>

[#14908] [Q] finalizer — gotoken@... (GOTO Kentaro)

[#14917] Ruby/Tk and Threads — Tomoyuki Kosimizu <greentea@...2.so-net.ne.jp>

[#14951] Missing tag in Reference Manual — Hiramatsu Yoshifumi <hiramatsu@...>

[#14953] 男親なら誰でも思う — 中村暁史 <anakamur@...>

[#14957] textarea with CGI.rb — HATTORI Masashi <hattori@...>

[#14970] thread with curses — HATTORI Masashi <hattori@...>

[#14980] 初期化メソッドの追加 — ARIMA Yasuhiro <fit0298@...>

[#14984] rd2html — TAKAHASHI Masayoshi <maki@...>

[#14993] Rubyfaq-990611 — Akira Endo <akendo@...3.rim.or.jp>

[#14994] FreeBSD port kit for Ruby/Gtk — Yasuhiro Fukuma <yasuf@...>

[#14995] HUP シグナルを受けとってファイルの読み込みがうまくいかないのですが — Keisuke Minami <keisuke@...>

[#14996] HUP シグナルを受けとってファイルの読み込みがうまくいかないのですが — Keisuke Minami <keisuke@...>

[#14997] ruby-1.3.4-990611 bug? — a-shigi@... (A.Shigihara)

[#15001] [BUG] File のサブクラスのインスタンス変数 — "Takehiko Ueki" <takehiko@...>

[#15003] 文字列から数値への変換失敗を検出したい — ARIMA Yasuhiro <fit0298@...>

[#15005] extention for faster scan — Minero Aoki <aamine@...>

[#15012] ext ML の過去ログはいずこ？ — 中村暁史 <anakamur@...>

[#15035] [Bug] Rubyfaq-990611 — Akira Endo <akendo@...3.rim.or.jp>

[#15039] Re: [BUG] File のサブクラスのインスタンス変数 — "Takehiko Ueki" <takehiko@...>

[#15042] Ruby for Debian GNU/Linux — akira yamada / やまだあきら <akira@...>

[#15043] UDPsocket bind — HATTORI Masashi <hattori@...>

[#15044] CGI.rb — Norihito Shinzan <kabbalah@...>

[#15045] mail library — Minero Aoki <aamine@...>

[#15053] ruby 1.2.6 is out! — matz@... (Yukihiro Matsumoto)

[#15056] mod_ruby 0.1.2 — Shugo Maeda <shugo@...>

[#15057] 複雑？な構造体の定義方法 — Koichi Shigematsu <shige@...>

[#15064] hako-iri — Masatoshi SEKI <m_seki@...>

[#15067] Re: [BUG] File のサブクラスのインスタンス変数 — "Takehiko Ueki" <takehiko@...>

[#15068] command not found — 助田 雅紀 <masaki.suketa@...>

[#15074] Re: command not found — 助田 雅紀 <masaki.suketa@...>

[#15093] String#rindex with arbitrary starting point — kjana@... (YANAGAWA Kazuhisa)

[#15098] Re: HUP シグナルを受けとってファイルの読み込みがうまくいかないのですが — "NAKAMURA, Hiroshi" <nakahiro@...>

[#15101] ruby-1.3.4-990611 [BUG] Segmentation fault — Yuji Shigehiro <sigehiro@...>

[#15104] delegate.rb — Wakou Aoyama <wakou@...>

[#15107] (?: ) in regexp — Yoshiki Wada <wada@...>

[#15108] ruby-1.3.4-990611 can not compile on alphaev56-osf4.0e — Yuji Shigehiro <sigehiro@...>

[#15111] attr makes a strange name method — Yoshinori Toki <toki@...>

[#15112] pty on NeXTSTEP3.3J — SHIROYAMA Takayuki <psi@...>

[#15113] description in links.html — kjana@... (YANAGAWA Kazuhisa)

[#15116] irb & ruby — Takashi Nishimoto <g96p0935@...>

[#15117] 他のプリンタで印刷したい — Takashi Nishimoto <g96p0935@...>

[#15121] ruby-gtk-0.19 released — Hiroshi Igarashi <igarashi@...>

[#15127] RE: face mark(Re: mail library) — 助田 雅紀 <masaki.suketa@...>

[#15128] telnet.rb and using it — matz@... (Yukihiro Matsumoto)

[#15131] game of life: ruby/gtk version — Takahiro Maebashi <maebashi@...>

[#15160] undefined method `-@' for Fixnum (NameError) — Tomoyuki Kosimizu <greentea@...2.so-net.ne.jp>

[#15168] [Q] Thread and Queue — kazuo@... (Kazuo DOI)

[ruby-list:14839] Re: ConditionVariable (again)

Thread

[#14740] Re: nkf(NKF::JIS, str) — 助田　雅紀 <masaki.suketa@...>

[#14846] Re: Microsoft Perl ? — 助田　雅紀 <masaki.suketa@...>

[#15068] command not found — 助田　雅紀 <masaki.suketa@...>

[#15074] Re: command not found — 助田　雅紀 <masaki.suketa@...>

[#15127] RE: face mark(Re: mail library) — 助田　雅紀 <masaki.suketa@...>