BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

RubyConf'08视频:Ruby虚拟机YARV、Rubinius和MagLev

| 作者 Werner Schuster 关注 9 他的粉丝 ,译者 贾晓楠 关注 0 他的粉丝 发布于 2008年12月22日. 估计阅读时间: 6 分钟 | QCon上海2018 关注大数据平台技术选型、搭建、系统迁移和优化的经验。

RubyConf'08特别关注了各种Ruby VM。从纵深的技术实现细节,到实际演示和一般的Ruby性能,都进行了讨论。

Koichi Sasada:“Ruby VM的未来” 。Koichi Sasada认为Ruby的C实现是近期实用的Ruby VM解决方案,尽管其存在一些问题,比如保守的GC。

他接着谈到了一些为1.9实现的优化,但1.9已经发布了,所以要在1.9.2中实现了。这些优化包括尾部调用(tail call)优化、堆栈缓存、高效方法缓存,以及一种更高效的Fiber实现。

在视频第20分钟左右,他还谈到了一些他感兴趣的研究。其中包括Ricsin,这是一种可以在Ruby中嵌入C代码的技术。演示幻灯片中的一小段实例代码可以解释得更清楚些。

def open_fd(path)
 fd = _C_(%q[
 /* C code */
 return INT2FIX(open(RSTRING_PTR(path), O_RDONLY));
 ]) 
 raise 'open error' if fd == -1
 yield fd
 ensure
 raise 'close error' if -1 == _C_(%q[
 /* C Code */
 return INT2FIX(close(FIX2INT(fd)));
 ])
end

RubyInline不同的是,它允许在Ruby方法内部嵌入C代码。最新的版本获得了YARV的特别支持。Ricsin的SVN库也已经开放了。


下一步计划是做一个从Ruby到C的编译器(在视频的28分40秒前后),接下来是Atomic-Ruby,其通过剥离一些部件来轻量化Ruby。

在第41分钟,Koichi Sasada还介绍了Ruby MVM项目的现状(InfoQ曾做过关于Ruby MVM的报道)。 

Evan Phoenix关于Rubinius的讨论介绍了Rubinius项目及其C++ VM的近况。

他解释了重写C VM为C++ VM原因,这包括类型安全和C++有助于简化代码,减少许多手工检查。

在18分4秒,他还谈到了primitive当前的实现情况(如何用C来写primitive)。在26分30秒,介绍了方法分发(method dispatch)加快运行速度的策略。在35分钟的时候,他还提到了MethodContext(“堆栈框架”)分配的 现状。在Runinius的旧版本中,用的是堆分配,而新版本打算在栈上分配(在一个专用的内存区域),从而减少分配开销。不论怎 样,MethodContext能在方法的生命周期之外继续保持(例如闭包)。这些对象会被保持着,但由于专用内存区域大小有限,有时会撑满,这时就会触 发一个GC来清理不再被引用的MethodContext。

在38分40秒,他谈到了Rubinius对Ruby扩展的支持,这对于运行C扩展包非常重要,比如如hpricot、mongrel、mysql和sqlite驱动。他还解释了Rubinius是如何处理扩展问题的(例如分代GC、C代码段错误问题)。

Glenn Vanderburg的“Ruby能有多快”也讨论了这个话题。他虽然不是一个VM实现者,但也谈到了Ruby比较慢的原因。第7分钟他对垃圾收集的讲解大致说明了分代GC的理论,接下来,19分35秒时还有关于方法分发的性能优化的介绍。


Bob Walker和Allan Ottis在“MagLev中Ruby的持久性”中介绍了MagLev的现状。Bob Walker介绍了Gemstone的持久性模型(persistence model的一些基本优势,它可以通过简单地保持对象图,而不把它们映射到关系模型上,从而规避了ORM库和工具的很多问题。

在14分30秒,Allan Ottis对象持久性实现开始,详细说明了MagLev的内部工作方式。在18分50秒,他谈到Smalltalk和Ruby的相似点和区别,以及它们在Smalltalk上实现Ruby时遇到的问题。在22分29秒,他还讲解了编译过程,以及现在的解析方案(用一个Ruby服务来解释Ruby代码,使用ParseTree包来返回一个格式化为解析树s-exprs的AST)。

在第25分钟,Allan Ottis讲解了执行模式,包括解释本地代码产生。在30分30秒,他还演示了Context分配(“堆栈框架”)的实现,以及对象内存(堆)的细节和垃圾收集器。

提问从44分20秒开始,问题包括关于分布式缓存、未来的解析策略(使用ruby_parser),以及事务是如何工作在分布式对象存储上的。 

 

关于Ruby VM讨论的更多演示见:

视频最后以Brian Ford谈RubySpec圆满结束,他介绍了RubySpec项目,现在有成千上万个测试,定义了Ruby行为——这对于各种Ruby实现版本都是个重要的工具。

查看英文原文:RubyConf'08 Videos: Ruby VMs: Internals of YARV, Rubinius, MagLev

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我
社区评论

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT