ruby-list

原です。

mutex.rb があるにもかかわらず、現在の thread.rb に入っている CV
のコードを元にして、正常に動作するものに書き直そうと思ったので
すが、、、

-----------------------^ cv1.rb
class ConditionVariable
  def initialize
    @waiters = []
  end
  
  def wait(mutex)
    mutex.unlock
    Thread.critical = true
    @waiters.push(Thread.current)
    Thread.stop
    mutex.lock
  end
  
  def signal
    Thread.critical = true
    t = @waiters.shift
    Thread.critical = false
    t.run if t
  end
    
  def broadcast
    Thread.critical = true
    waiters0 = @waitors.dup
    @waiters.clear
    Thread.critical = false
    for t in waiters0
      t.run
    end
  end
end
-----------------------$ cv1.rb

となりました。少し解説すると、現在の thread.rb では

  def wait(mutex)
    mutex.unlock
    @waiters_mutex.synchronize {
      @waiters.push(Thread.current)
    }
    Thread.stop
    mutex.lock
  end

ですが、これは例えば咳さんの TinyQueue でいえば、Thread.stop の前
に Thread.pass を書いただけで、dead lock したりします。これの理由
は前田さんが [ruby-list:14504] で言っているように stop してないう
ちに run されてしまうからです。で、Thread.critical = true をそれ
以前に書かなければならないわけですが、synchronize にも unlock にも
Thread.critical = false というコードが含まれますから、このままで
は効果がありません。そこで cv1.rb の様になったのです。

ところが、cv1.rb でもやはり wait の mutex.unlock の後に「すき間」
があるので、ここに Thread.pass を書いたりすると dead lock を起こ
したりします。そこで次のように改良します。

-----------------------^ cv2.rb
def Thread.exclusive
  begin
    Thread.critical = true
    r = yield
  ensure
    Thread.critical = false
  end
  r
end

class Mutex
  def exclusive_unlock
    return unless @locked
    Thread.exclusive do
      t = @waiting.shift
      @locked = false
      t.wakeup if t
      yield
    end
    self
  end
end

class ConditionVariable
  def initialize
    @waiters = []
  end
  
  def wait(mutex)
    mutex.exclusive_unlock do
      @waiters.push(Thread.current)
      Thread.stop
    end
    mutex.lock
  end
  
  def signal
    t = @waiters.shift
    t.run if t
  end
    
  def broadcast
    waitors0 = nil
    Thread.exclusive do
      waiters0 = @waitors.dup
      @waiters.clear
    end
    for t in waiters0
      t.run
    end
  end
end
-----------------------$ cv2.rb

これでうまく動くと思います。

#同じ事が monitor.rb でも問題になると思いますが、大丈夫なのかな。

signal の後、条件が変わってしまって、、、という [ruby-list:6735]
以降のスレッドで議論された問題は run を使う限りないと思うのです
がどうでしょうか。

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