Ruby 2.2.0发布,支持增量式垃圾收集和符号的垃圾收集
| 2015-01-08 09:53 评论: 1 分享: 2
Ruby 2.2.0已于2014年12月25日发布,这是给Ruby开发者的圣诞礼物。该版本的亮点包括一些垃圾收集方面的改进:引入了一个新的增量式垃圾收集算法,支持对符号(Symbol)进行垃圾收集。核心类和标准库方面也有小幅改进。
根据Ruby 2.1.0中分代垃圾收集(RGenGC)相关的说明,分代方式可以改进GC吞吐量。在新版本中,Ruby的维护者继续引入了重要的改进。大部分对象都会在很年轻的时候死掉,根据这个假设,分代垃圾收集将对象分为几个代。这个假设使得对较年轻对象的处理有较高的吞吐量和较低的延迟,因为较老的对象会在内存不足时才去计算是否要删除。不过也意味着,较老的对象仍然要承受高延迟之困。
增量式垃圾收集(RIncGC)是在分代垃圾收集的基础上构建的,致力于在维持同样吞吐量的前提下减少停顿时间。通过将标记阶段(把对象标记为可以进行垃圾收集)与Ruby的正常执行交错进行,较少了停顿时间。而在Ruby 2.2.0之前,标记阶段要占用很大的一步。
RGenGC和RIncGC都不能管理所有对象,意味着某些对象不会被提升到较老的一代。主要是因为C扩展,无法保证全部满足RGenGC和RIncGC的约束。在RubyConf 2014大会上, Koichi Sasada详细描述了RGenGC和RIncGC。如果想了解所有的算法细节和性能基准测试,这是很好的材料。
全局停顿GC与增量式GC之对比 来源:Koichi Sasada
RIncGC消除了长期停顿 来源:Koichi Sasada
Ruby 2.2.0引入的对符号的垃圾收集,也改进了Ruby的内存管理。这个改进如此之大,乃至计划于2015年秋季发布的Ruby on Rails 5.0,将仅支持Ruby 2.2及以上的版本。
Rails 5.0将仅支持Ruby 2.2及以上的版本。Ruby 2.2带来的很多优化都非常棒,但是对Rails而言,符号的垃圾收集是最重要的。这意味着在处理来自外部的字符串时,可以轻松很多。而且我们可以完全转换到最新的Ruby带来的关键字参数(keyword arguments)和其他所有良好特性。
因为Ruby内部会将每个符号映射到一个整形数(integer),带来了一个问题。CRuby(用C实现的Ruby)将这个整形数用作符号的ID。如果一个符号在Ruby端释放了,之后又创建了同样的字符串,那会出现不同的CRuby整形数ID。这意味着,根据语言规范是同样的符号,但是出现了不同的ID,所以是个bug。
最简单的解决方案是用字符串替换CRuby中的整形数,这样在两端(C和Ruby)就一致了。另外,C扩展将问题变得更复杂了,因为它们会妨碍运行时探测和管理所有的符号。解决方案是将符号分成两组:永久的(immortal)和非永久的(mortal)。永久的符号会继续使用整形数ID,不会被回收。这类例子包括方法名、变量名、常量和其他语言元素。非永久的符号,比如"foo".to_sym,没有整形数ID,可以被回收。
非永久的符号与永久的符号之对比 来源:Narihiro Nakamura
Narihiro Nakamura在RubyKaigi2014大会上描述了符号GC的解决方案,还介绍之所以使用这种方案的所有约束条件。
仍然是内存管理方面,Ruby 2.2.0还提供了一个选择,即使用jemalloc代替系统的malloc,此举有可能会提高速度,并减少内存碎片。这还是一个实验性特性,在收集到更多性能数据和使用案例后才会正式提供。
诸如system()和spawn()等创建进程的方法,在可能的情况下会使用vfork(2),代替了fork()。这种改变也会提高性能,尤其是当父进程会消耗大量内存时。这也是个实验性特性,未来可能会发生变化。
核心库现已支持Unicode 7.0,还引入了一些新方法,如Enumerable#slice_after、Enumerable#slice_when、Float#next_float、Float#prev_float、File.birthtime、File#birthtime和String#unicode_normalize。
Ruby 2.2.0废弃了mathn库,同时还更新了其他一些库:
- Psych 2.0.8
- Rake 10.4.2
- RDoc 4.2.0
- RubyGems 2.4.5
- test-unit 3.0.8
- minitest 5.4.3
更多细节,包括废弃的一些C API以及一些非兼容的改变,详见Ruby 2.2.0相关新闻。与Ruby 2.1.0相比,Ruby 2.2.0有1557处文件改动,包括125039条插入和74376条删除。