Fix DescendantTracker.clear on Ruby 3.1

Previously I assumed it was useless, however I was wrong.

The method is called by the reloader to give the illusion that
the GC is precise. Meaning a class that will be unloaded is
immediately made invisible without waiting for it to be garbage collected.

This is easy to do up to Ruby 3.0 because `DescendantTracker` keeps
a map of all tracked classes.

However on 3.1 we need to use the inverse strategy, we keep a WeakMap
of all the classes we cleared, and we filter the return value of `descendants`
and `subclasses`.

Since `clear` is private API and is only used when reloading is enabled,
to reduce the performance impact in production mode, we entirely remove
this behavior when `config.cache_classes` is enabled.
This commit is contained in:
Jean Boussier 2021-11-25 12:55:53 +01:00
parent d0b53aa90d
commit cb82f5f0a4
5 changed files with 69 additions and 31 deletions

View File

@ -20,7 +20,7 @@ class Class
ObjectSpace.each_object(singleton_class).reject do |k| ObjectSpace.each_object(singleton_class).reject do |k|
k.singleton_class? || k == self k.singleton_class? || k == self
end end
end unless ActiveSupport::RubyFeatures::CLASS_DESCENDANTS end unless ActiveSupport::RubyFeatures::CLASS_SUBCLASSES
# Returns an array with the direct children of +self+. # Returns an array with the direct children of +self+.
# #

View File

@ -17,8 +17,44 @@ module ActiveSupport
end end
end end
if RubyFeatures::CLASS_DESCENDANTS @clear_disabled = false
if RubyFeatures::CLASS_SUBCLASSES
@@excluded_descendants = if RUBY_ENGINE == "ruby"
# On MRI `ObjectSpace::WeakMap` keys are weak references.
# So we can simply use WeakMap as a `Set`.
ObjectSpace::WeakMap.new
else
# On TruffleRuby `ObjectSpace::WeakMap` keys are strong references.
# So we use `object_id` as a key and the actual object as a value.
#
# JRuby for now doesn't have Class#descendant, but when it will, it will likely
# have the same WeakMap semantic than Truffle so we future proof this as much as possible.
class WeakSet
def initialize
@map = ObjectSpace::WeakMap.new
end
def [](object)
@map.key?(object.object_id)
end
def []=(object, _present)
@map[object_id] = object
end
end
end
class << self class << self
def disable_clear! # :nodoc:
unless @clear_disabled
@clear_disabled = true
remove_method(:subclasses)
remove_method(:descendants)
@@excluded_descendants = nil
end
end
def subclasses(klass) def subclasses(klass)
klass.subclasses klass.subclasses
end end
@ -27,8 +63,15 @@ module ActiveSupport
klass.descendants klass.descendants
end end
def clear(only: nil) # :nodoc: def clear(classes) # :nodoc:
# noop raise "DescendantsTracker.clear was disabled because config.cache_classes = true" if @clear_disabled
classes.each do |klass|
@@excluded_descendants[klass] = true
klass.descendants.each do |descendant|
@@excluded_descendants[descendant] = true
end
end
end end
def native? # :nodoc: def native? # :nodoc:
@ -36,10 +79,16 @@ module ActiveSupport
end end
end end
unless RubyFeatures::CLASS_SUBCLASSES
def subclasses def subclasses
descendants.select { |descendant| descendant.superclass == self } subclasses = super
subclasses.reject! { |d| @@excluded_descendants[d] }
subclasses
end end
def descendants
descendants = super
descendants.reject! { |d| @@excluded_descendants[d] }
descendants
end end
def direct_descendants def direct_descendants
@ -53,6 +102,10 @@ module ActiveSupport
@@direct_descendants = {} @@direct_descendants = {}
class << self class << self
def disable_clear! # :nodoc:
@clear_disabled = true
end
def subclasses(klass) def subclasses(klass)
descendants = @@direct_descendants[klass] descendants = @@direct_descendants[klass]
descendants ? descendants.to_a : [] descendants ? descendants.to_a : []
@ -64,18 +117,15 @@ module ActiveSupport
arr arr
end end
def clear(only: nil) # :nodoc: def clear(classes) # :nodoc:
if only.nil? raise "DescendantsTracker.clear was disabled because config.cache_classes = true" if @clear_disabled
@@direct_descendants.clear
return
end
@@direct_descendants.each do |klass, direct_descendants_of_klass| @@direct_descendants.each do |klass, direct_descendants_of_klass|
if only.member?(klass) if classes.member?(klass)
@@direct_descendants.delete(klass) @@direct_descendants.delete(klass)
else else
direct_descendants_of_klass.reject! do |direct_descendant_of_class| direct_descendants_of_klass.reject! do |direct_descendant_of_class|
only.member?(direct_descendant_of_class) classes.member?(direct_descendant_of_class)
end end
end end
end end

View File

@ -2,7 +2,6 @@
module ActiveSupport module ActiveSupport
module RubyFeatures # :nodoc: module RubyFeatures # :nodoc:
CLASS_DESCENDANTS = Class.method_defined?(:descendants) # RUBY_VERSION >= "3.1"
CLASS_SUBCLASSES = Class.method_defined?(:subclasses) # RUBY_VERSION >= "3.1" CLASS_SUBCLASSES = Class.method_defined?(:subclasses) # RUBY_VERSION >= "3.1"
end end
end end

View File

@ -11,7 +11,6 @@ class DescendantsTrackerTest < ActiveSupport::TestCase
@original_state.each { |k, v| @original_state[k] = v.dup } @original_state.each { |k, v| @original_state[k] = v.dup }
end end
ActiveSupport::DescendantsTracker.clear
eval <<~RUBY eval <<~RUBY
class Parent class Parent
extend ActiveSupport::DescendantsTracker extend ActiveSupport::DescendantsTracker
@ -90,17 +89,8 @@ class DescendantsTrackerTest < ActiveSupport::TestCase
end end
end end
test ".clear deletes all state" do test ".clear(classes) deletes the given classes only" do
ActiveSupport::DescendantsTracker.clear ActiveSupport::DescendantsTracker.clear(Set[Child2, Grandchild1])
if ActiveSupport::DescendantsTracker.class_variable_defined?(:@@direct_descendants)
assert_empty ActiveSupport::DescendantsTracker.class_variable_get(:@@direct_descendants)
end
end
test ".clear(only) deletes the given classes only" do
skip "Irrelevant for native Class#descendants" if ActiveSupport::DescendantsTracker.native?
ActiveSupport::DescendantsTracker.clear(only: Set[Child2, Grandchild1])
assert_equal_sets [Child1, Grandchild2], Parent.descendants assert_equal_sets [Child1, Grandchild2], Parent.descendants
assert_equal_sets [Grandchild2], Child1.descendants assert_equal_sets [Grandchild2], Child1.descendants

View File

@ -176,9 +176,7 @@ module Rails
initializer :set_clear_dependencies_hook, group: :all do |app| initializer :set_clear_dependencies_hook, group: :all do |app|
callback = lambda do callback = lambda do
# Order matters. # Order matters.
ActiveSupport::DescendantsTracker.clear( ActiveSupport::DescendantsTracker.clear(ActiveSupport::Dependencies._autoloaded_tracked_classes)
only: ActiveSupport::Dependencies._autoloaded_tracked_classes
)
ActiveSupport::Dependencies.clear ActiveSupport::Dependencies.clear
end end
@ -194,6 +192,7 @@ module Rails
if config.cache_classes if config.cache_classes
# No reloader # No reloader
ActiveSupport::DescendantsTracker.disable_clear!
elsif config.reload_classes_only_on_change elsif config.reload_classes_only_on_change
reloader = config.file_watcher.new(*watchable_args, &callback) reloader = config.file_watcher.new(*watchable_args, &callback)
reloaders << reloader reloaders << reloader