libuv是一个跨平台库,是围绕着事件驱动的异步I/O模型来设计的。
本库不止提供了对不同I/O polling机制的抽象,handles和streams机制也提供了一个更高层的对于sockets和其他实体的抽象。本库还提供了跨平台的文件I/O操作及线程功能。
- 最底层的socket相关操作有epoll/kqueue和event ports,这些事基于unix like系统的,在这些系统特定的API之上抽象出了一层uv_io_t结构用于提供统一的unix-like平台上的socket及事件接口。
- epoll ->linux内核;kqueue->freeBSD 4.1之后;event ports->貌似也是用在linux上的机制。
- IOCP为windows上特有的异步I/O事件模型,libuv也是支持的。着也就是libuv好于libev的地方。
- 此外libuv还支持线程池。
- 在上述底层抽象之上,libuv提供了更高一层的抽象,提供了抽象了的TCP/UDP/TTY/PIPE等接口。
- 在这些接口之上提供了文件I/O操作,DNS操作等。
- 用户可以基于上述的全部抽象接口实现自己的应用程序。
句柄和请求
libuv给用户提供了两种方式与event loop一起协同工作,一个是句柄(handle)一个是请求(request)。
句柄代表了一个长期存在的对象,这些对象当处于活跃状态的时候能够执行特定的操作。例如:一个准备(prepare)句柄在活跃的时候可以在每个循环中调用它的回调一次。一个TCP服务器的句柄在每次有新的连接的时候都会调用它的连接回调函数。
请求(request)一般代表短时操作。这些操作能用作用于句柄之上。写请求用于在句柄上写数据;还有一些例外,比如说getaddrinfo请求不需要句柄而是直接在循环中执行。
I/O循环
I/O循环或者叫做事件循环是整个libuv的核心部分。I/O循环建立了所有IO操作的执行环境,I/O循环会被绑定在一个线程之上。我们可以运行多个时间循环,只要每一个都运行在不同的线程之上。libuv事件循环 不是 线程安全的,所以所有包含事件循环的API及句柄都不是线程安全的。
事件循环遵循最普遍的单线程异步I/O方法:所有I/O或者网络操作在非阻塞的socket上执行,这个socket会使用基于平台的组好的poll机制:在linux上使用epoll,在OSX和其他BSD平台上使用kqueue,在sunOS上使用event ports,在windows上使用IOCP。为循环迭代的一部分,循环会阻塞以等待socket上的I/O活动,这些活动已经被加到socket的触发实践中了,一旦这些条件满足,那么socket的状态就会发生变化,从而循环不再阻塞,而且句柄也可以读、写及执行其他期望的I/O操作。
为了更好的理解事件循环操作如何进行,一下的图展示了一个循环迭代的所有阶段。
- 循坏中的“now”被更新为当前时间。事件循环在循环开始时缓存当前时间滴答数的目的是为了减少时间相关的系统调用数量。
- 如果循环是alive的,那么表明一个迭代已经开始了,否则的话循环会立即退出。那么,什么时候一个循环被认为是alive的呢?答案是如果一个循环中包括活跃及被引用的句柄(active and ref`d handles),活跃的请求或者是正在关闭的句柄,那么这个循环被认为是活的(alive)。
- Due定时器运行。
- 挂起的回调被调用。
- 空闲(idle)句柄回调被调用。
- 准备(prepare)回调句柄被调用。
- 计算poll超时。
- 循环阻塞。
- 调用check句柄。
- 调用close句柄。
- 特殊case运行。
- 一次循环迭代结束。
libuv利用线程池技术使得异步文件I/O操作称为可能,但是对于网络IO只能执行在一个单一线程中,即loop的线程中。