From 31ac946975a8e20157e1f47d23546ae237484024 Mon Sep 17 00:00:00 2001 From: ko1 Date: Fri, 15 Jun 2007 03:20:13 +0000 Subject: [PATCH] * cont.c (rb_cont_call): forbid cross fiber continuation call. * test/ruby/test_fiber.rb: ditto. git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@12542 b2dd03c8-39d4-4d8f-98ff-823fe69b080e --- ChangeLog | 6 ++++++ cont.c | 6 +++++- test/ruby/test_fiber.rb | 30 ++++++------------------------ 3 files changed, 17 insertions(+), 25 deletions(-) diff --git a/ChangeLog b/ChangeLog index 91b6f59bcb..9f4e19d38b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +Fri Jun 15 12:20:11 2007 Koichi Sasada + + * cont.c (rb_cont_call): forbid cross fiber continuation call. + + * test/ruby/test_fiber.rb: ditto. + Fri Jun 15 12:14:07 2007 Koichi Sasada * sample/test.rb: fix to show line information whether test succeeds. diff --git a/cont.c b/cont.c index 6e37f84707..3450593867 100644 --- a/cont.c +++ b/cont.c @@ -439,6 +439,10 @@ rb_cont_call(int argc, VALUE *argv, VALUE contval) rb_context_t *fcont; GetContPtr(cont->saved_thread.fiber, fcont); + if (th->fiber != cont->saved_thread.fiber) { + rb_raise(rb_eRuntimeError, "continuation called across fiber"); + } + if (!fcont->alive) { rb_raise(rb_eRuntimeError, "continuation called dead fiber"); } @@ -610,7 +614,7 @@ rb_fiber_yield(int argc, VALUE *argv, VALUE fval) cont_restore_0(cont, (VALUE *)&cont); rb_bug("rb_fiber_yield: unreachable"); } - + return value; } diff --git a/test/ruby/test_fiber.rb b/test/ruby/test_fiber.rb index 6c67a5815d..d6212cc7ea 100644 --- a/test/ruby/test_fiber.rb +++ b/test/ruby/test_fiber.rb @@ -70,6 +70,12 @@ class TestFiber < Test::Unit::TestCase f.yield f.yield } + assert_raise(RuntimeError){ + f = Fiber.new{ + @c = callcc{|c| @c = c} + }.yield + @c.call # cross fiber callcc + } end def test_loop @@ -102,29 +108,5 @@ class TestFiber < Test::Unit::TestCase end.yield } end - - def test_with_callcc - c = nil - f1 = f2 = nil - f1 = Fiber.new do - callcc do |c2| - c = c2 - f2.yield - end - :ok - end - f2 = Fiber.new do - c.call - end - assert_equal(:ok, f1.yield) - - assert_equal(:ok, - callcc {|c| - Fiber.new { - c.call :ok - }.yield - } - ) - end end