[ruby-list:16949] Re: irb-0.6.0 deadlock (Re: Ruby 1.4.2)

小松です。

In the message of [ruby-list:16868] Re: irb-0.6.0 deadlock (Re: Ruby 1.4.2)
    on 1999/9/18 11:31:37 Katsuyuki Komatsu <[e-mail]> wrote:
||なる。このメールにはeval.cに対するパッチと、win32.cに対する
||パッチの両方が含まれていますが、これはwin32.cに対するものだ
||けを取り込めば良いんですか？
|
|うーん、win32.cはまだ手を入れなきゃならいのですが、ハングする
|よりはいいか。win32.cの方だけ取り込んでください。
|eval.cの方は、一時的な物です。

win32/win32.cのdeadlock対応の超手抜きパッチです。

あと、デバッグしてるとInvalid Handleの例外が上がってくるのが
鬱陶しいので、mypclose()の余分なCloseHandle()を削除しました。

一応これでも、[ruby-list:15168]、[ruby-list:15174]が期待通りに
動くようになりました。
ちょっと納得できないですけど、irb-0.6.0もdeadlockしなくなって
しまいました。

WIN32のselect()はソケット専用で、それ以外のファイルやパイプ等と
組み合わせて使うことはできず、使うとWSAENOTSOCKのエラーになります。

WIN32上でUNIXのselect()を完全にインプリメントしようと思うと
cygwin並のことをしなければならないのですが、ここでは、WSAENOTSOCK
が返ってきたら、すべて通常のファイルで読み書き可能だったとみなす
というあからさまな手抜きをしています。

パッチ後の動作は以下のような感じです。
前の動作は[ruby-list:16855], [ruby-list:16868]を参照してください。

C:\lang\ruby>ruby -v ruby-list-15168.rb x
ruby 1.4.2 (1999-09-18) [i386-mswin32]
Cuby-list-15168.rb:18: warning: assignment in condition
1
2
3
C:/usr/local/lib/ruby/1.4/thread.rb:151:deadlock 0x6d5c70: 1:0 (main)
ruby-list-15168.rb:11:in `pop': Thread: deadlock (fatal)
        from C:/usr/local/lib/ruby/1.4/thread.rb:146:in `loop'
        from C:/usr/local/lib/ruby/1.4/thread.rb:146:in `pop'
        from ruby-list-15168.rb:17

C:\lang\ruby>ruby -v ruby-list-15174.rb x
ruby 1.4.2 (1999-09-18) [i386-mswin32]
1
2
3

C:\lang\ruby>irb.rb
irb(main):001:0> IRB.version
"irb 0.6(99/09/15)"
irb(main):002:0> quit


C:\lang\ruby>

--- win32/win32.c.dist	Sat Sep 18 11:37:34 1999
+++ win32/win32.c	Mon Sep 20 21:35:39 1999
@@ -679,3 +679,4 @@ mypclose(FILE *fp)
     //
-    CloseHandle(MyPopenRecord[i].oshandle);
+    // Closehandle() is done by fclose().
+    //CloseHandle(MyPopenRecord[i].oshandle);
     fflush(fp);
@@ -1837,3 +1838,16 @@ myselect (int nfds, fd_set *rd, fd_set *
 	case WSAENOTSOCK:
-	    errno = EBADF;
+	    // assume normal files are always readable/writable
+	    // fake read/write fd_set and return value
+	    r = 0;
+	    if (rd) r += rd->fd_count;
+	    if (wr) r += wr->fd_count;
+	    if (ex && ex->fd_count > 0) {
+		// exceptional condition never happen for normal files
+		if (r > 0)
+		    ex->fd_count = 0;
+		else {
+		    errno = EBADF;
+		    r = SOCKET_ERROR;
+		}
+	    }
 	    break;

--
小松克行 / Katsuyuki Komatsu <[e-mail]>