ruby-list

前田です。

At Mon, 7 Jun 1999 01:44:26 +0900,
Shin-ichiro Hara <sinara@blade.nagaokaut.ac.jp> wrote:
> > で、ここでwakeupしているのは、クリティカルセクションではrunしても
> > スケジューリングイベントは起きないからです。
> > # つまり、runでも同じだけど意味がないのでwakeupにしているわけです。
> 
> Thread.critical == true では Thread.pass も Thread#run もスレッド
> のスイッチは起こらないのですね。いままでそういうことをやってみた
> ことがなかったので知りませんでした。(~~;

この辺はそもそもドキュメントがないので動作を知りたかったらソース
読むしかないですからね(^_^;

> > t.run
> > 
> > というのは、
> > 
> > t.wakeup
> > Thread.pass
> > 
> > と同値なので、t.runした直後にtに実行権が渡ることは必ずしも保証さ
> > れないような気がして、このようにしてあります。
> > # ひょっとして保証されるんですか?＞まつもとさん
> > 
> > つまりrunでも問題が起きる可能性はあるのではないかと。
> 
> ええっ、そうなんですか？いやっ、きっとそうなんですね。
> 
> 考えてみると Thread.stop; X; で止まったスレッドを他から run で起こし
> ても X がアトミックでない限り X が実行されるとはいえないですものね。
> 例えば X が Thread.critical=true だとすると true を評価したあと、
> critical= を実行する前にスイッチしてしまうかもしれない。（あるいは
> "Thread" を評価した直後にスイッチするかも。）と、いうことは、次に確
> 実に特定のスレッドを動かすという事を考えること自体、あまり意味がな
> いといえる。

その例はちょっと極端ですが(^_^;、ユーザレベルのプログラミングであ
まりスケジューリングを制御しようとするべきではないというのは確か
にそうですよね。
ただ、今回のはライブラリなので、ほんとはeval.cに手を入れてプライ
オリティを組込む方が良いのかもしれませんけど...。

> だいぶわかってきました。Ruby のスレッドは円形に並んでぐるぐる回っ
> ているわけですね。
> 
> 肝要なのは signal 後、条件を他のスレッドに変更されない事では
> なく、signal の後は（１周以上したとしても）必ず、しかも早めに
> wait のスレッドにロックが戻る事ですね。

そうです。
ロックさえ獲得できれば他のスレッドを気にしなくてよいですからね。

> 結局、私のあの単純な CV のコード（cv2.rb）、あれはあれでちゃん
> と動くんですよね。

競合する(条件を偽にしようとする)スレッドにロックを横取りされる可
能性はあります。
ただ、私のコードでも、競合するスレッドで、

1000.times do
  break if m.try_lock
  Thread.pass
end

などとされるとだめですね。
防ぐ手はある(フラグを一個追加すればいいのかな)と思うのですが、そ
こまでするとコードがどんどん見にくくなっていくのであまりやりたく
ないような気もします。

-- 
前田 修吾

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:14847] 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@...>