[ruby-dev:4096] Re: call/cc

えぐち＠エスアンドイー です。

call/cc のスレッドは特に興味深く読ませて頂いてます。

>>> On Sat, 9 Jan 1999 23:44:27 +0900, [e-mail] (Shugo Maeda) said:

shugo> これはSchemeと同じ動作ではないのですが、それはさておき、irb上で、
shugo> 
shugo> irb(main):001:0> call_cc {|c| $cont = c}
shugo> #<Continuation:0x4015f7e0>
shugo> irb(main):002:0> print "Hello!\n"
shugo> Hello!
shugo> nil
shugo> irb(main):003:0> $cont.call
shugo> nil
shugo> irb(main):004:0> $cont
shugo> #<nil:0x4015f7e0>
shugo> 
shugo> などという不穏な動作をします。
shugo> # Continuationがnilになっている?

FreeBSD-2.2.8上で再現させた時、気づきました。
irb で GC.disable を *２回* 評価すると

 irb(main):002:0> GC.disable
 false
 irb(main):003:0> GC.disable
 true
 irb(main):004:0>  call_cc {|c| $cont = c}
 #<Continuation:0xd8928>
 irb(main):005:0>  $cont
 #<Continuation:0xd8928>

や

 irb(main):001:0> GC.disable    
 false
 irb(main):002:0> GC.disable
 true
 irb(main):003:0> cont = call_cc {|c| c}
 #<Continuation:0xda278>
 irb(main):004:0> 

のような(おとなしげな)挙動になります。

Continuation が、GC の捕食対象になっているようです。 
Data_Wrap_Struct() の mark が怪しい気がしますが、
追い切れませんでした。

御報告まで、

	えぐち