请问Ruby的GC的原理？

taroxd

现在有点搞不懂一个对象什么时候会被回收了，于是写了一点代码。下面是Ruby2.0.0中的运行结果

RUBY 代码复制

def test
  GC.start
  arr = []
  100000.times { a_method(arr) }
  p arr.size
end
 
# test1
def a_method(arr)
  obj = 'temp'
  ObjectSpace.define_finalizer(obj, proc {|id| arr.push(id) })
end
test #=> 0
 
# test2
def a_method(arr)
  ObjectSpace.define_finalizer('temp', proc {|id| arr.push(id) })
end
test #=> 69872

def test


  GC.start


  arr = []


  100000.times { a_method(arr) }


  p arr.size


end


 


# test1


def a_method(arr)


  obj = 'temp'


  ObjectSpace.define_finalizer(obj, proc {|id| arr.push(id) })


end


test #=> 0


 


# test2


def a_method(arr)


  ObjectSpace.define_finalizer('temp', proc {|id| arr.push(id) })


end


test #=> 69872

在test1中，虽然‘temp’字符串被赋给了变量obj，但是很快obj就出了作用域无法引用了。这个字符串应该是可以被回收的，可是最后却没有被回收。
在test2中，直接把'temp'作为参数传给了define_finalizer，这样倒是可以触发ruby的垃圾回收机制。

所以到底怎么样的对象可以触发ruby的垃圾回收？我以前一直觉得，当一个对象不被任何东西引用的时候就可以被回收了。但是test1证明似乎不是这样？求科普~~

Sion

貌似那个 define_finalizer 导致无法回收。

RUBY 代码复制

class T
end
 
def m1
  p a = T.new
end
 
m1
GC.start
ObjectSpace.each_object( T ) {|obj| p obj}
puts '已释放 m1中的 T.new'
 
def m2
  p a = T.new
  ObjectSpace.define_finalizer( a, proc {} )
end
 
m2
GC.start
ObjectSpace.each_object( T ) {|obj| p obj} 
puts '无法释放 m2 中的 T.new'

class T


end


 


def m1


  p a = T.new


end


 


m1


GC.start


ObjectSpace.each_object( T ) {|obj| p obj}


puts '已释放 m1中的 T.new'


 


def m2


  p a = T.new


  ObjectSpace.define_finalizer( a, proc {} )


end


 


m2


GC.start


ObjectSpace.each_object( T ) {|obj| p obj} 


puts '无法释放 m2 中的 T.new'

运行环境是 1.9.2
这就是 Ruby 饱受诟病的内存泄露吧。其实都是些鸡肋功能...

masix8

应该是这样的，定义obj=‘temp’的时候给了一个内存段来存数据，而后面还有使用，这一段是不会当作垃圾的

那个代码里面m2也是，之前定义，后面使用的局部变量不会当作垃圾，全局变量无论何时都不会当作垃圾

精灵使者

GC只会回收已经不会再引用的东西【也就是断开连接】的东西。
最著名的例子就是

1. RPG::Cache.clear
   
2. 
   
3. Module RPG
   
4. Module Cache
   
5.   def self.clear
   
6. @Cache= {} #清理所有@cache的所有链接
   
7.    GC.start #由于失去链接，所有的内存都会被清理
   
8.   end
   
9. end
   
10. end

复制代码