Erlang/IoLanguage/Ruby

最近下决心和Erlang说再见了，想了很多，也用了一段时间，断断续续数落过几次Erlang的优缺点，看得不深，权当我是瞎说。简单整理一下：

优点：高并发、分布式、资源管理、高效率（和其它动态语言比较）、热升级、自动并行
缺点：语言抽象能力不强、语言扩展能力不强、FP让大多数人不适应、和C库交互不好

有一段时间我打算自己做一套类似的框架，使用coroutine，虽然我测试过的coroutine库都不如Erlang高效(注1)，但C编写处理代码比Erlang高效多了，完全可以弥补。和C库的交互可以更自然地实现。我不打算做个多线程的调度器，因为有太多第三方库需要线程池、异步IO去完成的操作，这些也需要CPU，当然目前飞速发展的多核技术也不能完全忽视，这方面必须留下扩展的余地，但重点只是在调度器上。

原打算项目不忙的时候就开工，不过最近看到了IoLanguage，感觉也挺值得研究一下的。它还很年轻，对于第三方库的调用也没有很好地解决，但它的语法吸引了我。看一下它的addons库，还挺丰富，OpenGL/Image/Gui/XML/Network/Video/Database，各种库都有，对于一个年轻的语言来说够多了。IoLanguage最吸引我的是它的优雅的异步实现（用库而不是语言），没有关键字，这都证明了它本身是非常容易扩充的，它的Socket库更证明了这一点。

IoLanguage的缺点除了第三方库的调用以外，多核支持还没有，效率还很差，从诞生到现在还没有进行过大的性能提升。

IoLanguage给我的最大帮助是帮我从Erlang的并发中脱离出来，很长一段时间我的脑子都跟着Erlang的spawn在跑，即便我想用其它语言来实现类似的并发，我也会选想到spawn。从IoLanguage的学习中我认清了并发、异步的目的，我们的目的不是为了创建进程，只是为了让它脱离当前执行序列来并行执行，有时候我们不想取得它的执行结果，有时候又需要这个结果，Erlang没有对这种差异或者类似的层次进行抽象。Erlang在这方面走了个极端，创建进程很容易，但处理结果相对麻烦，pmap给了我很深的印象，但远不如IoLanguage的优雅。这主要是由于Erlang的语言抽象能力有限造成的。

Ruby很久没有使用了，自从接触Erlang，项目中又完全是C++以后，就远离它了。最近却突然感觉它的潜力还很大，1.9的性能大幅提升，加上强悍的扩展能力，完全可以代替IoLanguage，实现一套基于Fiber的并发库。

总之我现在觉得coroutine是并发的唯一出路，它能极大地简化并发和异步编程，仅为了并发就改变习惯使用另一种风格的语言，代价也非常大，所以Erlang不是我的选择，IoLanguage还不成熟，C++/Ruby还是可以尝试一下的。

这一年多在各种语言中游走了一圈，难道又要走回去了。。。

注1：
很多C版本的coroutine库不如erlang高效的原因在于，C版本的coroutine库都是使用栈跳转的，执行跳转的时候还是要保存一些上下文比如寄存器，而erlang/stackless python则本身不使用这种跳转方式，切换开销较小。

评论

9 楼 axgle 2009-10-17  

"我们的目的不是为了创建进程，只是为了让它脱离当前执行序列来并行执行，有时候我们不想取得它的执行结果，有时候又需要这个结果"

8 楼 pascal4123 2009-02-09  

别走阿：（

7 楼 zgd 2008-07-02  

那热升级的问题怎么处理？

6 楼 qiezi 2008-02-18  

对了，用Ruby实现并发框架可以参考IoLanguage，它在底层也只是实现了Coroutine，调度器是在上层实现的，然后又优雅地把libevent(可以理解为epoll/select)和aio集成进来了，关键的胶合部分都是Coroutine。

5 楼 qiezi 2008-02-18  

我已经在打草稿了，只是很容易把话题扯得很长，超出我的把握之外。所以我打算用几个实例来比较基于事件、基于多线程和基于coroutine+actor的不同做法。

很多语言只提供了基本的coroutine，但没有提供调度器，Erlang的好处在于它把这个给完成了，甚至还是个smp版本的。

提纲我简单列一下：

1、状态机编程
2、多线程并发
3、基于事件的并发
4、使用coroutine＋调度器的解决方案（Erlang和IoLanguage都算是这种方式）
5、coroutine+actor最佳拍挡
6、Erlang和IoLanguage在并发实现和语言抽象上的比较。
7、Ruby实现高并发框架的可能性


内容挺多，可能不是一篇能解决的。表达能力有限，很多东西我想明白了，却感觉把它说出来又是另一码事。今天刚上班，一周都会比较忙，晚上和周末抽空看看。

4 楼 robbin 2008-02-17  

引用

总之我现在觉得coroutine是并发的唯一出路，它能极大地简化并发和异步编程，仅为了并发就改变习惯使用另一种风格的语言

我对并发编程模型比较感兴趣，对你这段话印象很深刻，什么时候可以展开的解释为什么coroutine是并发编程的未来呢？ruby 1.9的Fiber似乎也是coroutine的方式，不知道ruby 1.9以后是如何编写并发程序的，而ruby又如何调度并发的。

3 楼 qiezi 2008-02-17  

补了一点：

引用

IoLanguage给我的最大帮助是帮我从Erlang的并发中脱离出来，很长一段时间我的脑子都跟着Erlang的spawn在跑，即便我想用其它语言来实现类似的并发，我也会选想到spawn。从IoLanguage的学习中我认清了并发、异步的目的，我们的目的不是为了创建进程，只是为了让它脱离当前执行序列来并行执行，有时候我们不想取得它的执行结果，有时候又需要这个结果，Erlang没有对这种差异或者类似的层次进行抽象。Erlang在这方面走了个极端，创建进程很容易，但处理结果相对麻烦，pmap给了我很深的印象，但远不如IoLanguage的优雅。这主要是由于Erlang的语言抽象能力有限造成的。

2 楼 qiezi 2008-02-17  

好哇，有时间我结合状态机和异步操作，讨论一下coroutine的解决办法，正好在研究IoLanguage，可以用它作例子，看它是如何优雅地把libevent和aio结合进来的。

1 楼 robbin 2008-02-17  

能不能多介绍一点coroutine的经验和见解？