diff options
author | Koichi Sasada <ko1@atdot.net> | 2020-10-21 00:54:03 +0900 |
---|---|---|
committer | Koichi Sasada <ko1@atdot.net> | 2020-10-21 07:59:24 +0900 |
commit | 2f50936cb913b7458cbaa03dc4652f1127a7631a (patch) | |
tree | 9840d6ff3141bc0470e65489df640f5ef286329a /ractor.rb | |
parent | 587feb0b6e47477ec3b1872de0c951e3d062db98 (diff) |
Ractor.make_shareable(obj)
Introduce new method Ractor.make_shareable(obj) which tries to make
obj shareable object. Protocol is here.
(1) If obj is shareable, it is shareable.
(2) If obj is not a shareable object and if obj can be shareable
object if it is frozen, then freeze obj. If obj has reachable
objects (rs), do rs.each{|o| Ractor.make_shareable(o)}
recursively (recursion is not Ruby-level, but C-level).
(3) Otherwise, raise Ractor::Error. Now T_DATA is not a shareable
object even if the object is frozen.
If the method finished without error, given obj is marked as
a sharable object.
To allow makng a shareable frozen T_DATA object, then set
`RUBY_TYPED_FROZEN_SHAREABLE` as type->flags. On default,
this flag is not set. It means user defined T_DATA objects are
not allowed to become shareable objects when it is frozen.
You can make any object shareable by setting FL_SHAREABLE flag,
so if you know that the T_DATA object is shareable (== thread-safe),
set this flag, at creation time for example. `Ractor` object is one
example, which is not a frozen, but a shareable object.
Notes
Notes:
Merged: https://github.com/ruby/ruby/pull/3678
Diffstat (limited to 'ractor.rb')
-rw-r--r-- | ractor.rb | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -173,4 +173,10 @@ class Ractor rb_ractor_shareable_p(obj) ? Qtrue : Qfalse; } end + + def self.make_shareable obj + __builtin_cexpr! %q{ + rb_ractor_make_shareable(obj); + } + end end |