有趣的 Erjang 项目

February 3rd, 2010 :: jackyz
11 comments

Kresten Krab Thorup 是一位有着 20 多年程序设计语言实现经验的大牛。

I have been doing language implementation for 20 years. I was at NeXT doing the Objective-C compiler for some years in early-mid 90’s. I have worked on severa rounds of gcc, the GNU Objective-C, the palmos-m68k port, the JVM interpreter inside GNU Compiled Java. I have also contributed little pieces to JRuby, and a ton of other language stuff.

貌似是一位靠谱程度相当之高的同学。他在 GitHub 上设立了一个 Running Erlang On JVM 的项目 —— Erjang，到目前为止，已经达到可以顺畅运行 RingTest 的完成度，有兴趣的同学可以 git clone git://github.com/krestenkrab/erjang.git 弄回来玩一玩。Erjang 的大致设计思路是：

It loads Erlang’s binary .beam file format, converts it into Java’s .class file format, and loads it into the JVM. It will eventually have it’s own implementation of all Erlang’s BIFs (built-in-functions) written in Java. Those are being implemented as I stumble upon them in testing.

当然了，这是“终极目标”，当前实现版本的状况是：

Right now Erjang relies on an external Erlang process to utilize some of the beam handling code in the standard library (e.g., so I don’t have to parse .beam files), but Erjang would eventually be able to self-host the required modules. Right now, Erjang also uses jinterface to talk to other Erlang nodes, but that will needs porting/rewriting, I think.

稍有常识的技术人员都知道，如果不是过过嘴瘾的话，这样的“终极目标”将会意味着多大的工作量，但是有 20年+ 专业经验值的牛人通常都是非常 unpredictable 的物种。因而，这些工作对他而言到底需要多少时间，确实也很难说。

我知道，看到这样的项目，和我一样，第一反应，你肯定也会产生这样的疑问 —— Erlang 的 BEAM 已经是一个有着相当长时间历史的成熟 VM ，在很多方面都已经做了高度优化，为其他 VM 所不及；而 Erlang 在 Language 和 VM 的配合上也颇多好评，为人称道。那么，Kresten 这么做又有什么必要呢？

实际上，这个问题在 Reddit 上确实也引来了一大堆激烈的争论。Kresten 本人为此单独写了一篇 Erjang, Why? 来讲述自己的观点，有兴趣了解的朋友可以点[这里]延伸阅读。以下是我的 blah ，不喜欢 blah 的同学可以直接略过。

对于我个人而言，似乎还看不见 Erjang 的实用意义(说不定是因为我短视呢)。

但，无论如何，人家牛人 Kresten 同学既然都已经做出来了，总归也不会是一件坏事。 JVM Team 好歹也是 20年+ 以上大量开发团队的智慧结晶，必有过人之处，两相对照，肯定能发现一些 BEAM 团队没有考虑到的地方。通常而言，一个语言出现多个实现，彼此互相对照和竞争，绝对是一件好事。比如说，在 Kresten 的 blog 中就已经提到，它在 fib 的测试上发现 BEAM 在 bignum 的运算表现上不如 JVM 的好。

除了这些“整体上”的好处，Erlang 在 JVM 的实现，想必会也受到 JVM 体系固有的限制，如果因而破坏语言本事的一些核心特性，比如，进程的独立性，GC的独立性之类的，那么在具体选择时，就值得我们这些使用者再三斟酌了。

———-我是分隔线————-

顺便要抱怨一下。今天点 Firefox 地址栏里的 RSS 图标想要直接订阅 Kresten 的 blog ，发现 fusion.google.com 居然也被该死的功夫网给墙了，纯粹一个工具，能颠覆什么？这帮魑魅魍魉怎么就怕成这样了？

大家大多都有翻墙经验，随便设置一下就好了。但是，其他人怎么办？一个这么好的功能，就这样被这些破玩意给糟蹋了，凭什么？想来都让人上火。希望大家和我一样，多向身边的人传播翻墙技巧。日拆一砖，就不信丫能在世界的东方永远屹立不倒。

misc

SNDA 并购 MochiMedia

January 13th, 2010 :: jackyz
12 comments

在 Erlang 领域富有盛名的开源 Web 开发框架 MochiWeb ，其作者也就是知名的 Bob Ippolito ，他的公司名叫 MochiMedia 。日前传出消息，这间公司已被 SNDA 以 8000w 美刀的价格收购，交易将以 6000w cash + 2000w stock 的方式，于 2010 年第一季度完成执行。

辛苦创业，终于取得重大成果，Bob Ippolito，可喜可贺！

与此同时，我们也不得不说，盛大这次表现出了远超国内同行的不俗品味与独到眼光。此次“采购”，无论是从中国的互联网企业资本运作的时机与实操层面，还是从能在全球 Erlang 技术圈激起的影响而言，都大有可圈可点之处。如果掌控良好，能够顺利克服海外收购的文化适应性问题，可以预期 MochiMedia 大有成为 SNDA 新“矿脉”的可能。

对于我等一众 Erlangors 来说，资本层面的这些运作都是“高层”的事，离大家还是比较遥远。最实惠的是，大概可以开始期待，在不久的将来，也许我们能在某次 Erlounge 上近距离目击 Bob Ippolito 偶像 himself ! :)

news

CPiE-CN 发布《Erlang 并发编程》第一部分 中文译稿

December 17th, 2009 :: jackyz
6 comments

我一直都觉得 Erlang 中文社区是一个又小又很活跃的技术社区，这里的人和事常常都能让人感觉到某种淡淡散发出来的温暖，不知道大家对此是否也有同感。

临近圣诞，又有好消息传来。由连城同学发起的 CPiE-CN 项目(成员包括：王飞、Ken Zhao、张驰原、丁豪、赵卫国、吴峻)宣布了他们近一年辛勤努力的辉煌成果——Erlang 官方的重量级技术文档《Concurrent Programming in Erlang》Part I主体部分(除附录B、E和参考文献列表以外的所有内容)的中文译稿。

还记得我对 Erlang 的第一印象，就是来自于旅游途中的火车上，对这份文档 pdf 英文原版厚厚一沓打印稿的缓慢阅读(我想我得感谢枯燥的列车旅行让我具有了某种阅读这种枯燥文档的合适心境)，老实说，这并不能算得上是一次愉快的阅读体验。现在好了，有了这份 CPiE-CN 团队精心翻译的中文版，可以想象，将会帮助多少人更顺畅的通过这条小径，步入 Erlang 独特的世界。

这里是发表在 liancheng 同学博客上的消息发布原文。

我想 Erlang 中文社区的所有用户都应该向这些志愿者们的辛勤劳动致以崇高的敬意：

  • 连城（序、致谢、简介、第1章、第2章、第3章、第9章、全文校对）
  • 王飞（第4章、第8章）
  • Ken Zhao（第6章）
  • 张驰原（第5章）
  • 丁豪（第7章）
  • 赵卫国（附录C、附录D）
  • 吴峻（附录A）

(for 那些眼神不大好的同学们)再一次推荐，精彩的中文译稿在[这里]。

news

WebSocket 和 Erlang

December 11th, 2009 :: jackyz
9 comments

好久没有露面的 Joe 大爷又在 Maillist 里出现了。这一次，他老人家在自己的 Google Chrome 浏览器上体验了一把 HTML5 的核心特性 —— 顺手用寥寥数十行的 Erlang 代码捣鼓出来了一个 WebSocket 服务器的参考实现(围观群众起哄：胜之不武，这本来就是 Erlang 的拿手好戏嘛)。咱还是照旧，废话少说，先上代码：

  1. <body>
  2. <script>
  3.    alert("hello");
  4.    if ("WebSocket" in window) {
  5.        var ws = new WebSocket("ws://localhost:1234");
  6.        ws.onopen = function() {
  7.            // Web Socket is connected. You can send data by send() method.
  8.            ws.send("hello from the browser");
  9.        };
  10.        ws.onmessage = function (evt) {
  11.                var data = evt.data; alert(data);
  12.        };
  13.        ws.onclose = function() {
  14.                alert("closed");
  15.        };
  16.    } else {
  17.        alert("sad");
  18.    };
  19. </script>
  20. </body>
下载: local_server.erl
  1. -module(local_server).
  2. -compile(export_all).
  3.  
  4. start() ->
  5.    {ok, Listen} = gen_tcp:listen(1234, [{packet,0},
  6.                                         {reuseaddr,true},
  7.                                         {active, true}]),
  8.    spawn(fun() -> par_connect(Listen) end).
  9.  
  10. par_connect(Listen) ->
  11.    {ok, Socket} = gen_tcp:accept(Listen),
  12.    spawn(fun() -> par_connect(Listen) end),
  13.    wait(Socket).
  14.  
  15. wait(Socket) ->
  16.    receive
  17.        {tcp, Socket, Data} ->
  18.            io:format("received:~p~n",[Data]),
  19.            Msg = prefix() ++
  20.                "WebSocket-Origin: http://localhost:2246\r\n" ++
  21.                "WebSocket-Location: ws://localhost:1234/\r\n\r\n",
  22.            gen_tcp:send(Socket, Msg),
  23.            loop(Socket);
  24.        Any ->
  25.            io:format("Received:~p~n",[Any]),
  26.            wait(Socket)
  27.    end.
  28.  
  29. prefix() ->
  30.    "HTTP/1.1 101 Web Socket Protocol Handshake\r\nUpgrade:
  31. WebSocket\r\nConnection: Upgrade\r\n".
  32.  
  33. loop(Socket) ->
  34.    receive
  35.        {tcp, Socket, Data} ->
  36.            Data1 = unframe(Data),
  37.            io:format("received:~p~n",[Data1]),
  38.            gen_tcp:send(Socket, [0] ++ "hello from erlang" ++ [255]),
  39.            loop(Socket);
  40.        Any ->
  41.            io:format("Received:~p~n",[Any]),
  42.            loop(Socket)
  43.    end.
  44.  
  45. unframe([0|T]) -> unframe1(T).
  46.  
  47. unframe1([255]) -> [];
  48. unframe1([H|T]) -> [H|unframe1(T)].

技术的部分已经说完了，就象 Joe 老头的那 48 行代码那样——简单明了，连注释都不需要。下面借 Joe 老头的光，顺便 Blah 一下。

Joe 老头说：

But I think it will kill ajax and comet and all that crap. Ajax is painful if you only want to send very small amounts of data, you still have to spend all your time parsing the http headers. Comet and long-poll etc will die since they are totally unecessary.

What I hope will happen that Google will pre-empt some action in firefox and this will push Microsoft into action – I can’t understand why this has taken so long after all it’s merely a question of *removing* code from the browser and giving access to the low-level socket interface.

It will make applications symmetric – anything that involved pushing data to the client was tricky hence the horrific workarounds that comet and long-poll involved – now things like chat in the browser become symmetric push/pull applications.

About time say I – I’ve waited years for this.

见过我的同学都知道，我关注这个领域(Ajax -> Erlang)有日子了，一直都在各种场合大肆吹嘘 Erlang 和 Ajax 是“天生的一对”。因此，大概也可以冒充半块砖(家)吧，老实说，对于 WebSocket 我也很兴奋，但对于它的前景我却不象 Joe 老头一样乐观。

从技术角度，不难预见 WebSocket 的普及将会带来 Web 应用领域的另外一场巨变。为了适应这一“气候变化”，现有的“技术物种”(框架怪兽和模式恐龙)必将再次剧烈进化，灭绝掉其中的几种也大有可能(其中之一就是现在的 OS 将会被“边缘化”)。然后，当当当，新的 Web 和一大堆新名词又将“横空出世”。但，就目前而言，这场变革还没有大幕拉开的迹象(至少远比我们这些观察家期望的要慢得多)。这无关技术，听起来好像很阴谋论，但这确实更像是一场智谋的较量。

多年以来，邪恶的 M$ 先通过免费和 OS 绑定来占领市场，然后通过有预谋的 IE 不作为，使得浏览器市场出现了畸形的“安定团结”局面。这些长期“被河蟹”的绑定用户，他们开始觉得浏览器就应该是这样缓慢、不安全、而且功能受限的。他们这群人，既是变革的最大受益者，但与此同时，却也正是这一变革当前最大的障碍，具有讽刺意味吧(历史何其相似)。

然而，第一个可以体验 WebSocket 的 Google Chrome 却并非第一个实现这一特性的浏览器。FireFox 早就已经实现了，然而这个特性却一直停留在 trunk 之中(有好奇心的童鞋可以看这里顺便练练英文)，尘封已久。作为旗手兼宣传队和播种机的 Google Chrome 是第一个把 WebSocket 拿出来 show 的。记得当初 Google Chrome 计划推出时不少人还有疑惑——“为什么不直接加入OpenSource 的 Firefox 项目呢？”，现在回想起来，是不是有点豁然开朗的意思？

窑洞的墙壁上挂着一张巨大的世界地图，Google 主教和 M$ 长老分别站在地图前的左右两侧，叉着腰、拿着红蓝铅笔，做沉思装……。

又到了万众期待的押宝时刻，想冒一把险，给自己整个“xx框架创始人”头衔的同学，赶紧了。

misc

Erlang OTP r13 的新气象

November 28th, 2009 :: jackyz
2 comments

Nov 25 日 Erlang OTP R13B03 已经发布！那么，这次发布，又有什么新东西呢？

  • Release plans
    发布计划？虽说在其他的 OpenSource 项目中已经稀松平常，但对于一直以来低调再低调的 Erlang 团队来说，好像还是第一次听说哦。
  • New Build Process for Documentation
    新的文档生成系统？貌似关系不大……，有文档看就行啦。
  • GIT repository
    没错！而且是基于 GIT 的哦。可以到这里参观学习，Fork、Watch、Download、Ticket、Patch、Issue……终于成真！
  • New erlang.org WEB-site
    几十年如一日的 erlang.org 终于准备要一改长久以来的严肃面孔，实在可喜可贺。[还没上线哪]
  • Native Implemented Functions (NIFs)
    NIF！用过 Java 的同学是不是“情不自禁”地想起了 JNI 呢？虽说是 R13B03 刚刚才推出的实验性设施，但快刀 yufeng 同学已经迅猛无比的博了一篇，请看这里。

就到这里，先写这么多。
-EOF-

news

素数求解，兼谈Erlang的性能特性

November 24th, 2009 :: jackyz
16 comments

javaeye 的 dachidahu 同学不久前提了一个关于 Erlang 的问题 —— 《Erlang 求解1到N 素数的效率问题》。我试了一下，这个问题并不复杂，但结果相当有趣。对于初学 Erlang 的朋友而言，这个程序作为一个了解 Erlang 语言性能特性的例子，非常具有典型性。因此，特地整理一番，与众初学者共享。

Read more…

study

[ANN]《Mnesia用户手册》中文版

November 17th, 2009 :: jackyz
7 comments

Erlang 中文社区的朋友们，大家又有福了(呵呵，为什么要说“又”呢)！

这一次，“法无定法”同学给大家带来了他翻译的《Mnesia 用户手册》。这是一份多达 95 页的“重量级”文档(无论是从其大小还是 Mnesia 在 Erlang 中的位置而言)，翻译任务之艰巨，大家可以自己想象。

不知大家是否有同感，我们很少能在 Erlang 项目之中见到连接传统关系型数据库的例子(虽说相关的库和例程很早就有了)。或许，这是因为，传统关系型数据和 Erlang 的软件哲学在某种程度上是彼此冲突的，况且，“Erlang 也已经有了 Mnesia”。从这个角度而言， Mnesia 对于 Erlang 的重要程度，应该就好比 MySQL 之于 PHP 一样才对。

然而，在我们所能见到的大量实践中，很多 Mnesia 早已提供的特性却在被一批又一批的程序员们“重新发明”——它似乎从来就没有获得过它应该得到的重视。出现这种状况，文档的匮乏(一方面是专注于此的文档本来就不多，另一方面 Ericsson 暧昧的开放态度又使得 Mnesia 还有一些“从未被写进文档”的神奇特性)，不能不说是其中的一个重要原因。

对 Erlang 的中文用户而言，问题则更为突出。Joe Armstrong 的“那本书”，对于 Mnesia 只有一章相当简短的介绍，末了，限于篇幅也只能说“关于 Mnesia 的更多内容，恐怕得另外再写一本书才行”。现在好了，有了“法无定法”带给我们的中文译本，这一空白已经在很大程度得到了填补。

现在，单就文档而言，我们虽然还不能说已经“走在世界前列”，但至少可以说“跟上世界的脚步”。让我们严重感谢“法无定法”为 Erlang 中文社区所作的贡献！

Mnesia用户手册 [pdf][docx]

misc

CN-Erlounge IV 珍宝

November 12th, 2009 :: jackyz
1 comment

CN-Erlounge IV 圆满结束，各路英豪流出宝藏一大堆。经四处放狗，收刮如下：

0. 各位演讲者帅锅精心准备的演讲 slide

2. 由方块帅锅和莫帅锅 “以某种说不清楚的方式合作” 的 现场剧照
update: 对了，还有 zq 同学的 腐败前哨战实录

3. cn-erlounge-iv 现场抢到了 wifi 的幸运星们联袂演出的华丽 推推乐(请自备工具，以翻墙行动纪念柏林20年前那堵同样“伟大”的墙)

4. ZoomQueit 帅锅整理的 现场原声

5. 同样是由 ZoomQueit 从会场第一线发回的 “现场文字报导”(内容太长，放到后面了，点击 more 展开阅读)

6. yufeng 帅锅言简意赅的总结

7. litaocheng 帅锅同样言简意赅的总结

8. 一位我还没有和真人对上号的帅锅的围观观后感
update: 围观观后感下

Read more…

misc

Ubuntu 9.10 的新惊喜

November 5th, 2009 :: jackyz
2 comments

刚把我的 Ubuntu 升级到了最新的 9.10 版。十分惊喜地发现 couchdb 已经被包含在发行版里了(貌似正被 Evolution 组件使用)。也就是说，全新安装的 Ubuntu 9.10 desktop edtion 已经默认替你安装好了 couchdb ，这不仅意味着将会有一个被广泛预装的 Restful 接口的 K-V 存储机制可以在 desktop 上直接可用，而且同时也意味着 Erlang 运行环境已经默认装好，看一下是什么版本：

jackyz@jackyz-ubuntu:~/Boost$ erl
Erlang R13B01 (erts-5.7.2) [source] [rq:1] [async-threads:0] [kernel-poll:false]

Eshell V5.7.2  (abort with ^G)
1>

R13B01 ，虽说还不是最新的 R13B02-1，但也相差不多了。对于广大 Erlang Programmer 而言，这无疑是一个振奋人心的消息。

今年的 CN Erlounge IV 召开在即，我的时间排不开，无法适逢其会，甚憾！只能遥祝本次大会圆满成功，各位大拿聚会开心。本次大会的好 Topic 如潮(其中包括将会正式宣布的 yufeng 的重量级 R13B02-1 Performence Patch，还有 xushiwei 的 CERL，以及众多业界大佬秘密研发的 Erlang 相关项目)，敬请各位通过 Twitter/GoogleReader 密切留意来自 ecug.org 的相关报导。

news

[转]InfoQ视频访谈 Joe Armstrong and Simon Peyton Jones

October 10th, 2009 :: jackyz
1 comment

InfoQ 又为我们带来了新的访谈！感谢 InfoQ 的编辑们。

这次记者在 Erlang Factory 上逮到了 Joe Armstrong 和 Simon Peyton Jones 这两头大猛人，一起抓来做了一个 Interview 。众所周知，这两人分别在 Erlang 和 Haskell 语言中都是的大神级的人物，此番聚首实在是难得的机缘。

这次在 Erlang Factory 上的会面，两人大聊 Erlang 和 Haskell 在并发方面的特性，从技术角度而言，含金量颇高。当 Programmer 界两个脾气火爆的老头碰到一起，各位 IT 八卦爱好者同样也很好奇，他们究竟会冒出怎样火花呢？请移步 [这里] 观看。

misc , , ,