欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Muduo 是基于 Reactor 模式的 C++ 网络库,其核心是个事件循环 EventLoop,用于响应计时器和 IO 事件,适合编写 Linux 服务端多线程网络应用程序。