From: "sunaku (Suraj Kurapati)" <sunaku@...>
Date: 2013-02-13T14:49:57+09:00
Subject: [ruby-core:52182] [ruby-trunk - Feature #2294] [PATCH] ruby_bind_stack() to embed Ruby in coroutine


Issue #2294 has been updated by sunaku (Suraj Kurapati).


ko1 (Koichi Sasada) wrote:
> > 1.  Cannot bind Ruby to a pre-allocated stack address range.
> 
> I'm not sure what you are saying.

Changeset r38905 did not include my ruby_bind_stack() function.

Without that function (or something similar), I cannot tell Ruby 2.0.0-rc2 
about the stack address range of the coroutine which is hosting the Ruby.

And if Ruby is not told that information, it might make a fatal mistake: 
Ruby might go beyond the coroutine's pre-allocated stack address range.

This can cause memory corruption, segfault crashes, and undefined behavior.

> `ucontext' version do `pre-allocation'.

Yes, in my ruby-coroutine-example application, all versions do pre-allocation.

However, Ruby must also be told (bound to) the coroutine's stack address range.

For your reference:

* libpcl coroutine is bound to pre-allocated stack here:
  https://github.com/sunaku/ruby-coroutine-example/blob/master/main.c#L204

* pthread coroutine is bound to pre-allocated stack here:
  https://github.com/sunaku/ruby-coroutine-example/blob/master/main.c#L218-L223

* ucontext coroutine is bound to pre-allocated stack here:
  https://github.com/sunaku/ruby-coroutine-example/blob/master/main.c#L235-L236

* Ruby must _also_ be bound to coroutine's pre-allocated stack here:
  https://github.com/sunaku/ruby-coroutine-example/blob/master/main.c#L144-L150

> > 2.  In my coroutine example, only ucontext works correctly:
>
> I checked pthread and it okay...
> 
> I'll check again soon. Please wait.

Sure, thanks for your consideration.
----------------------------------------
Feature #2294: [PATCH] ruby_bind_stack() to embed Ruby in coroutine
https://bugs.ruby-lang.org/issues/2294#change-36197

Author: sunaku (Suraj Kurapati)
Status: Assigned
Priority: High
Assignee: ko1 (Koichi Sasada)
Category: core
Target version: 2.0.0


=begin
 Hi,
 
 I am attaching a "ruby_bind_stack.patch" patch file 
 that adds a ruby_bind_stack() function to the Ruby C API.
 
 This function allows me to inform the GC about the stack
 boundaries of the coroutine inside which Ruby is embedded:
 
   void ruby_bind_stack(void *lower, void *upper);
 
 I am also attaching tarballs containing code examples that
 embed Ruby inside two different coroutine environments:
 UNIX System V contexts[1] and libpcl[2] coroutines.
 
 Each tarball has an "output.log" file which contains the
 result of running `script -c ./run.sh output.log` on my
 machine:
 
 Linux yantram 2.6.31-ARCH #1 SMP PREEMPT Tue Oct 13 13:36:23 CEST 2009 i686 Intel(R) Pentium(R) D CPU 3.00GHz GenuineIntel GNU/Linux
 
 The last section in "output.log" corresponds to Ruby @ SVN
 trunk that is patched with the "ruby_bind_stack.patch" 
 patch file that is attached to this issue.
 
 Thanks for your consideration.
 
 [1]: http://www.gnu.org/s/libc/manual/html_node/System-V-contexts.html
 [2]: http://www.xmailserver.org/libpcl.html
 
 See also:
 * http://redmine.ruby-lang.org/issues/show/2258
 * http://redmine.ruby-lang.org/issues/show/2126
=end



-- 
http://bugs.ruby-lang.org/