在C/C++中,libevent、boost asio 这两个网络库都采用异步编程模型,当IO完成事件发生时,调用一个回调函数处理它。这种编程模型有很好的IO吞吐量。但是付出的代价也很大:
Erlang 语言很好地解决了这个问题。正是它引入了“轻量级进程”这个解决方案。这个解决方案的观念很质朴:单个进程采用同步调用,而用足够多的进程来使得IO并行化,提高IO吞吐量。
其实,类似的观念并不是Erlang首先提出的。我们想想操作系统。单个进程(或线程)采用同步IO(read/write)。要同时做多个IO操作?创建新进程(或线程)来做这件事情。
所以,Erlang 真正的创举在于“进程”的“轻量级”。只有进程轻量级了,才可以无所顾忌地创建进程。而IO并行化才得以实施。
所以,我推崇 Erlang 语言,最根本的一点,在于它告诉大家,高性能的网络服务器的代码也可以是很简单、很优雅的。
CERL2 继承了 Erlang 或者 操作系统的这个哲学。我们举个例子:
假设我们已经实现了一个向单个服务器的rpc代码:
void call(Result& result,const Host& host, constRequest& req);
此为向 host 发送 req 请求,返回 result。
如果我们希望同时向多个服务器发送同一个请求,这个在网络编程中称为 multi_call。原型如下:
void multi_call(Result results[], const Host hosts[], size_t n, const Request& req);
在 CERL2 中要实现该功能,你无须修改call的代码。简单用 n 个纤程分别来做一个单独的 call 即可。
所以,CERL2 编程是很简单的,因为你一直以来就用这种方式在思考,不是吗?
最后我们重复一下 CERL2 编程哲学中最重要的原则:
在 CERL2 中,只有同步调用。要想使 IO 并行,用多个纤程(Fiber)就好。