From: "Eregon (Benoit Daloze)" Date: 2021-10-28T11:39:49+00:00 Subject: [ruby-core:105851] [Ruby master Bug#18243] Ractor.make_shareable does not freeze the receiver of a Proc but allows accessing ivars of it Issue #18243 has been updated by Eregon (Benoit Daloze). Description updated Sorry, I missed to paste some part of the snippet, fixed now. ---------------------------------------- Bug #18243: Ractor.make_shareable does not freeze the receiver of a Proc but allows accessing ivars of it https://bugs.ruby-lang.org/issues/18243#change-94390 * Author: Eregon (Benoit Daloze) * Status: Open * Priority: Normal * Backport: 2.6: UNKNOWN, 2.7: UNKNOWN, 3.0: UNKNOWN ---------------------------------------- ```ruby class C attr_accessor :foo def setter_proc Ractor.make_shareable(-> v { @foo = v }) end end c = C.new c.foo = 1 p c proc = c.setter_proc p c.frozen? Ractor.new(proc) { |s| s.call(42) }.take p c ``` gives ``` # false # # BUG ``` But that must be a bug, it means the non-main Ractor can directly mutate an object from the main Ractor. I found this while thinking about https://github.com/ruby/ostruct/pull/29/files and whether `Ractor.make_shareable` would freeze `@table` and the `OpenStruct` instance (I think it needs to). Repro code for ostruct and changing ostruct.rb to `$setter = ::Ractor.make_shareable(setter_proc)`: ```ruby require 'ostruct' os = OpenStruct.new os.foo = 1 $setter.call(2) p os Ractor.new($setter) { |s| s.call(42) }.take p os ``` gives ``` # :267: warning: Ractor is experimental, and the behavior may change in future versions of Ruby! Also there are many implementation issues. # # BUG ``` -- https://bugs.ruby-lang.org/ Unsubscribe: