为了解决多线程服务器在高并发的I/O密集型应用中的不足,同时避免早期简单单线程服务器的性能障碍,Node.js采用了基于"事件循环"的非阻塞式单线程模型,实现了如下两个目标:
(1)保证每个请求都可以快速响应;
(2)实现远超过多线程模型的并发连接数。
提示:Node.js在JS层面是单线程的——没有创建新线程的机制。但是在底层的C/C++层面是多线程的,即访问底层操作系统服务时,存在多个并发工作线程的情形——使用了线程池。
阻塞(Block):也称为同步执行(Synchronize),只有前面的操作全部执行完成,才能开始后续操作。(常规的多线程服务器内部都是采用的是阻塞执行)
- var conn=mysql.createConnection(...); //步骤1
- var result=conn,query('INSERT...'); //步骤2
- conn.end(); //步骤3
非阻塞(Non—block):也称为异步执行(Asynchronize),后面的操作不必等待之前操作的执行完毕,可以先执行。
- const fs=require('fs');
- console.log('读取请求数据'); //操作1
- fs.writeFile('app.log','访问日志',()=>{ //操作2
- console.log('写出操作日志');
- })
- console.log('输出响应数据'); //操作3
- //读取请求数据
- //输出响应数据
- //写出操作日志
Node.js中的业务代码,都是在单一的主线程中执行的;当遇到耗时的阻塞操作时(如文件IO、网络访问、数据库请求等),不会等待其执行完毕,而是注册一个处理函数执行结果的回调函数,继续执行后续的代码。
待耗时的阻塞操作执行完成时,其对应的回调函数会转入回调函数队列,主线程在下次事件循环时会执行这些回调函数。
- const fs=require('fs');
- var data=fs.readFileSync('app.log');
- console.log('文件内容:',data);
- console.log('程序执行完成!');
- //文件内容:121212
- //程序执行完成!
- const fs=require('fs');
- fs.readFile('app.log',function(err,data){
- console.log('文件内容:',data)
- })
- console.log('程序执行完成!');
- //程序执行完成!
- //文件内容:121212
事件驱动编程是一种以事件为基础的编程范式,其中程序的执行是由事件的发生和相应的事件处理程序来驱动的。让我们详细了解事件循环和异步编程,并结合示例说明。
事件循环是事件驱动编程的核心机制之一,它负责监听和分发事件,并调用相应的事件处理程序来响应事件。事件循环在一个持续运行的循环中不断地从事件队列中获取事件,并按照事件的顺序依次处理。常见的事件循环模型是基于单线程的,每次只处理一个事件,避免了并发访问的问题。
示例
- const eventEmitter = require('events');
-
- // 创建事件发射器
- const emitter = new eventEmitter();
-
- // 监听事件
- emitter.on('event', (data) => {
- console.log('Event received:', data);
- });
-
- // 触发事件
- emitter.emit('event', 'Hello, world!');
在这个示例中,我们创建了一个事件发射器,并使用on
方法来监听一个名为"event"的事件。当"event"事件被触发时,事件处理程序会被调用,并将事件数据传递给它。最后,我们使用emit
方法触发了"event"事件,并传递了数据"Hello, world!"。这样,事件处理程序会被调用,并输出"Event received: Hello, world!"。
异步编程是事件驱动编程中的重要概念,它允许程序在执行耗时操作时不阻塞主线程,而是通过回调函数、Promise、async/await等机制来处理操作的结果。这样可以提高程序的并发性能,避免了长时间的等待。
利用编译好的libuv库文件,我们可以开始写一个简单又经典的例子: Hello world。
- #include "stdio.h"
- #include "uv.h"
-
- int main() {
- uv_loop_t *loop = uv_default_loop();
- printf("hello libuv");
- uv_run(loop, UV_RUN_DEFAULT);
- }
我们都知道线程是操作系统最基本的调度单元,而进程是操作系统的最基本的资源分配单元,因此可以知道进程其实是不能运行,能运行的是进程中的线程。进程仅仅是一个容器,包含了线程运行中所需要的数据结构等信息。一个进程创建时,操作系统会创建一个线程,这就是主线程,而其他的从线程,都要在主线程的代码来创建,也就是由程序员来创建。因此每一个可执行的运用程序都至少有一个线程
于是libuv一开始便启动了event-loop线程,再在这个主线程上利用线程池去创建更多的线程。在event-loop线程中是一段while(1)
的死循环代码,直到没有活跃的句柄的时候才会退出,这个时候libuv进程才被销毁掉。清楚这点对于后面的学习至关重要。
中文翻译为句柄,如[译文]libuv设计思想概述一文所属,整个libuv的实现都是基于Handle和Request。所以理解句柄以及libuv提供的所有句柄实例才能够真的掌握libuv。按照原文所述,句柄是:
表示能够在活动时执行某些操作的长生命周期对象。
理解这句话的意思,首先我们抓住两个关键词:长生命周期、对象。Libuv所有的句柄都需要初始化,而初始化都会调用类似这种函数:uv_xxx_init
。xxx
表示句柄的类型,在该函数中,会将传入的形参handle
初始化,并赋值返回具体的对象,比如初始化tcp句柄:
- ... // 随便截取一段初始化代码
- handle->tcp.serv.accept_reqs = NULL;
- handle->tcp.serv.pending_accepts = NULL;
- handle->socket = INVALID_SOCKET;
- handle->reqs_pending = 0;
- handle->tcp.serv.func_acceptex = NULL;
- handle->tcp.conn.func_connectex = NULL;
- handle->tcp.serv.processed_accepts = 0;
- handle->delayed_error = 0
- ...
理解了句柄其实就是个对象,那么长生命周期要是怎样的?还是以TCP句柄为例子,你在这个例子tcpserver.c中,可以看到后面tcp服务器的操作:绑定端口、监听端口都是基于tcp句柄,整个句柄存活于整个应用程序,只要tcp服务器没有挂掉就一直在,因此说是长生命周期的对象。
libuv提供的所有句柄如下:
接下去我们简单介绍以下所有的Libuv的句柄
首先libuv有一个基本的handle, uv_handle_t
,libuv是所有其他handle的基本范式,任何handle都可以强转为该类型,并且和该Handle相关的所有API都可以为其他handle使用。
libuv能否一直运行下去的前提是检查是否有活跃的句柄存在,而检查一个句柄是否活跃(可以使用方法uv_is_active(const uv_handle_t* handle)
检查),根据句柄类型不同,其含义也不一样:
uv_async_t
句柄总是活跃的并且不能停用,除非使用uv_close
关闭掉uv_pipe_t
、uv_tcp_t
, uv_udp_t
等,这些牵扯到I/O的句柄一般也都是活跃uv_check_t
, uv_idle_t
, uv_timer_t
等,当这些句柄开始调用uv_check_start()
, uv_idle_start()
的时候也是活跃的。而检查哪些句柄活跃则可以使用这个方法:uv_print_active_handles(handle->loop, stderr);
以tcpserver.c为例子,我们启动tcp服务器后,启动一个定时器去打印存在的句柄,结果如下:
- [-AI] async 0x10f78e9d8
- [RA-] tcp 0x10f78e660
- [RA-] timer 0x7ffee049d7c0
可以看到tcp的例子中一直存活的句柄是async、tcp、timer。它们前面中括号的标志解释如下:
- R 表示该句柄被引用着
- A 表示该句柄此时处于活跃状态
- I 表示该句柄是内部使用的
顾名思义,Libuv的计时器,用来在将来某个时候调用对应设置的回调函数。其调用时机是在整个轮询的最最开始,后面我们会说到轮询的整个步骤。
Idle句柄在每次循环迭代中运行一次给定的回调,而且执行顺序是在prepare句柄
之前。
与prepare句柄
的显著区别在于,当存在活动的空闲句柄时,循环将执行零超时轮询,而不是阻塞I/O。
在uv_backend_timeout
方法中我们可以看到返回的轮询I/O超时时间是0:
- if (!QUEUE_EMPTY(&loop->idle_handles))
- return 0;
idle句柄的回调一般用来执行一些低优先级的任务。
- **注意:尽管名称叫做“idle”,空闲句柄在每次循环迭代时都会调用它们的回调函数,
- 而不是在循环实际上是“空闲”的时候。**
prepare句柄将在每次循环迭代中运行一次给定的回调,而且是选择在I/O轮询之前。
问题是:libuv为什么要创造这么一种句柄?其实从名称来猜测,libuv应该是想提供一种方式让你可以在轮询I/O之前做些事情,然后在轮询I/O之后使用check句柄进行一些结果的校验。
check句柄将在每次循环迭代中运行一次给定的回调,而且是选择在I/O轮询之后。其目的在上面已经提过
Async句柄允许用户“唤醒”事件循环,并在主线程(原文翻译为another thread,其实不对)调用一开始注册的回调。这里说的唤醒其实就是发送消息给主线程(event-loop线程),让其可以执行一开始注册的回调了。
- **注意:libuv会对`uv_async_send()`做一个聚合处理。
- 也就是说它并不会调用一次就执行一次回调。**
我们使用thread.c为例子,使用uv_queue_work
和uv_async_send
来实践,得到的结果打印如下:
- // 打印出主进程ID号和event-loop线程ID
- I am the master process, processId => 90714
- I am event loop thread => 0x7fff8c2d9380
-
- // 这个是uv_queue_work执行的回调,
- 从线程ID可以看到回调函数是在线程池中的某个线程中执行
- I am work callback, calling in some thread in thread pool, pid=>90714
- work_cb thread id 0x700001266000
-
- // 这个是uv_queue_work执行完回调后结束的回调,
- 从线程ID可以看到这个回调已经回到了主线程中执行
- I am after work callback, calling from event loop thread, pid=>90714
- after_work_cb thread id 0x7fff8c2d9380
-
- // 这个是uv_async_init的回调,其触发是因为在work callback中执行了uv_async_send,
- 可以从0x700001266000得到验证,该回调也是在主线程中执行
- I am async callback, calling from event loop thread, pid=>90714
- async_cb thread id 0x7fff8c2d9380
- I am receiving msg: This msg from another thread: 0x700001266000
Poll句柄用于监视文件描述符的可读性、可写性和断开连接,类似于poll(2)的目的。
Poll句柄的目的是支持集成外部库,这些库依赖于事件循环来通知套接字状态的更改,比如c-ares
或libssh2
。不建议将uv_poll_t用于任何其他目的;因为像uv_tcp_t
、uv_udp_t
等提供了一个比uv_poll_t
更快、更可伸缩的实现,尤其是在Windows上。
可能轮询处理偶尔会发出信号,表明文件描述符是可读或可写的,即使它不是。因此,当用户试图从fd读取或写入时,应该总是准备再次处理EAGAIN错误或类似的EAGAIN错误。
同一个套接字不能有多个活跃的Poll句柄,因为这可能会导致libuv出现busyloop
或其他故障。
当活跃的Poll句柄轮询文件描述符时,用户不应关闭该文件描述符。否则可能导致句柄报告错误,但也可能开始轮询另一个套接字。但是,可以在调用uv_poll_stop()
或uv_close()
之后立即安全地关闭fd。
下面罗列的是轮询的事件类型:
- enum uv_poll_event {
- UV_READABLE = 1,
- UV_WRITABLE = 2,
- UV_DISCONNECT = 4,
- UV_PRIORITIZED = 8
- };
Signal句柄在每个事件循环的基础上实现Unix风格的信号处理。在udpserver.c中展示了Signal句柄的使用方式:
- uv_signal_t signal_handle;
- r = uv_signal_init(loop, &signal_handle);
- CHECK(r, "uv_signal_init");
-
- r = uv_signal_start(&signal_handle, signal_cb, SIGINT);
-
- void signal_cb(uv_signal_t *handle, int signum) {
- printf("signal_cb: recvd CTRL+C shutting down\n");
- uv_stop(uv_default_loop()); //stops the event loop
- }
关于Signal句柄有几个点要知悉:
raise()
或abort()
触发的信号不会被libuv检测到;所以这些信号不会对应的回调函数。process句柄将会新建一个新的进程并且能够允许用户控制该进程并使用流去建立通信通道。对应的demo可以查看:process.c,值得注意的是,args
中提供的结构体的第一个参数path指的是可执行程序的路径,比如在demo中:
- const char* exepath = exepath_for_process();
- char *args[3] = { (char*) exepath, NULL, NULL };
实例中的exepath是:FsHandle
的执行路径。
另外一个注意点就是父子进程的std的配置,demo中提供了一些参考,如果使用管道的话还可以参考另外一个demo:pipe
流句柄提供了双工通信通道的抽象。uv_stream_t
是一种抽象类型,libuv以uv_tcp_t
、uv_pipe_t
和uv_tty_t
的形式提供了3种流实现。这个没有具体实例。但是libuv有好几个方法的入参都是uv_stream_t
,说明这些方法都是可以被tcp/pipe/tty
使用,具体有:
- int uv_shutdown(uv_shutdown_t* req, uv_stream_t* handle, uv_shutdown_cb cb)
- int uv_listen(uv_stream_t* stream, int backlog, uv_connection_cb cb)
- int uv_accept(uv_stream_t* server, uv_stream_t* client)
- int uv_read_start(uv_stream_t* stream, uv_alloc_cb alloc_cb, uv_read_cb read_cb)
- int uv_read_stop(uv_stream_t*)
- int uv_write(uv_write_t* req, uv_stream_t* handle, const uv_buf_t bufs[], unsigned int nbufs, uv_write_cb cb)
- int uv_write2(uv_write_t* req, uv_stream_t* handle, const uv_buf_t bufs[], unsigned int nbu
tcp句柄可以用来表示TCP流和服务器。上小节说到的uv_stream_t
是uv_tcp_t
的”父类“,这里使用结构体继承的方式实现,uv_handle_t
、uv_stream_t
、uv_tcp_t
三者的结构关系如下图:
使用libuv创建tcp服务器的步骤可以归纳为:
- 1、初始化uv_tcp_t: uv_tcp_init(loop, &tcp_server)
- 2、绑定地址:uv_tcp_bind
- 3、监听连接:uv_listen
- 4、每当有一个连接进来之后,调用uv_listen的回调,回调里要做如下事情:
- 4.1、初始化客户端的tcp句柄:uv_tcp_init()
- 4.2、接收该客户端的连接:uv_accept()
- 4.3、开始读取客户端请求的数据:uv_read_start()
- 4.4、读取结束之后做对应操作,如果需要响应客户端数据,调用uv_write,回写数据即可。
Pipe句柄在Unix上提供了对本地域套接字的抽象,在Windows上提供了命名管道。它是uv_stream_t
的“子类”。管道的用途很多,可以用来读写文件,还可以用来做线程间的通信。我们在实例中用来实现主线程与多个子线程的互相通信。实现的模型是这样的:
UDP句柄为客户端和服务器封装UDP通信。使用libuv创建udp服务器的步骤可以概括为:
- 1、初始化接收端的uv_udp_t: uv_udp_init(loop, &receive_socket_handle)
- 2、绑定地址:uv_udp_bind
- 3、开始接收消息:uv_udp_recv_start
- 4、uv_udp_recv_start里执行回调,可以使用下面方法回写数据发送给客户端
- 4.1、uv_udp_init初始化send_socket_handle
- 4.2、uv_udp_bind绑定发送者的地址,地址可以从recv获取
- 4.3、uv_udp_send发送指定消息
FS事件句柄允许用户监视一个给定的路径的更新事件,例如,如果文件被重命名或其中有一个通用更改。这个句柄使用每个平台上最佳的解决方案。
FS轮询句柄允许用户监视给定的更改路径。与uv_fs_event_t
不同,fs poll句柄使用stat
检测文件何时发生了更改,这样它们就可以在不支持fs事件句柄的文件系统上工作。
那么接下去就说到Request这个短生命周期的概念,中文翻译为”请求“,类似于nodejs中的req,它也是一个结构体。还是以上述的tcp服务器为例子,有这么一段代码:
- if (r < 0) {
- // 如果接受连接失败,需要清理一些东西
- uv_shutdown_t *shutdown_req = malloc(sizeof(uv_shutdown_t));
-
- r = uv_shutdown(shutdown_req, (uv_stream_t *)tcp_client_handle, shutdown_cb);
- CHECK(r, "uv_shutdown");
- }
当客户端连接失败,需要关闭掉这个连接,于是我们就会初始化一个request
,然后传递给我们需要请求的操作,这里是关闭请求shutdown
。
uv_request_t
是基本的request,其他任何request都是基于该结构进行扩展,它定义的所有api其他request都可以使用。和uv_handle_t
一样的功效。
接着说说Libuv提供的三种运行模式: