CERL2 系列4：CERL体系与框架概览

在《CERL2 系列1： Hello，CERL2！纤程！》中，我们提到：CERL2 在 CERL 上进行了编程模型的演化，并且形成了多个子库。最主要的两个子库为 async 和 venus。

 

我们这一篇中，将更加详细地描述 CERL2 的整体框架体系。先一图概括之：

 

 

                              async
                                |
 ------------------------------------------------------------------
 |                    |                    |                      |
venus                mars                httpd                   ...

 

 

目前在我们的构想中，已经有4个子库：async、venus、mars、httpd。

 

其中，async 基于纤程（Fiber）这样一个核心概念，提供了纤程相关的内存管理、网络IO、本地文件IO、定时器以及纤程的同步与互斥。从某种意义上说，async 是一个操作系统（或者说是操作系统的补丁），这个操作系统里面的进程（Process）就是我们通常说的纤程（Fiber）。

 

需要着重指出的一点是，async 是协议无关的库。它是基础设施提供方，是操作系统。在它的基础上，才会衍生出一系列的子库，venus，mars，httpd，等等。每个子库有自己的编程模型，有自己的网络协议（Protocol）的定义。像httpd子库，就是一个 http server 框架，类似于 apache。当然 httpd 比 apache 要小巧很多。

 

mars  这个子库的编程模型和 Erlang Style Concurrency 完全一致。它在 async 的进程（也就纤程）基础上，引入了自己的进程概念，每个进程拥有自己的邮箱，有 spawn，有消息的 send、receive 原语。看到这里，你可以发现其实 cerl 1.0 就是现在的 mars 这个子库。我们认为 Erlang Style Concurrency 比 venus 模型容易掌握，并且在编写多数非存储类型的服务器是有效的。所以它需要被提供。

 

venus 这个子库则是在 Erlang Style Concurrency 模型上有所取舍。在很多方面进行了调整和简化。例如，venus 的进程就是 async中的进程。venus 的进程并没有邮箱。

 

讲到这里，我相信大家对 CERL2 的体系已经有一个清晰的了解了。下一篇，我们会切换到网络协议（Protocol）这个关键话题上。