I/O(或者)循环是libuv的核心。它用来建立所有的I/O操作的内容,并且这意味着I/O 循环是一个单线程的。当然当我们在多个线程上运行的时候就可以跑多个事件循环了。libuv事件循环(或涉及循环或handle的任何其他API)就不是线程安全的,除非另有说明。事件循环遵循常见的单线程异步I/O方法:所有(网络)I/O在非阻塞套接字上执行,使用给定平台上可用的最佳机制:epoll on linux, kqueue on OSX其他等等。作为循环迭代的一部分,循环将阻塞等待已经添加到轮询器的套接字上的I/O活动,并且将触发回调来指示套接字条件(可读,可写的挂断),因此句柄可以读,写或执行期望的I/O操作。
见图
设计概览
libuv是一个跨平台的异步事件库。 libuv对于不同的I/O轮询机制提供了很多的抽象。例如:handle和stream是对socket和其他实体的高等抽象。还提供了跨平台的文件I / O和线程功能。以及一些其他的功能。 此处图一张:
handles 和requests
libuv给用户提供了两个抽象用于和事件循环进行交互: handle和request。 handle表示长期存在的对象,当它激活时,它是用来处理特定的操作。例如:
request是用来表示短期存在的操作。这些操作可以通过一个handle来执行:写request通常是用来在一个handle上写数据;或者是独立于handle的: getaddrinfo rquest就不需要一个handle可以直接在事件循环上执行。
I/O 循环
I/O(或者)循环是libuv的核心。它用来建立所有的I/O操作的内容,并且这意味着I/O 循环是一个单线程的。当然当我们在多个线程上运行的时候就可以跑多个事件循环了。libuv事件循环(或涉及循环或handle的任何其他API)就不是线程安全的,除非另有说明。事件循环遵循常见的单线程异步I/O方法:所有(网络)I/O在非阻塞套接字上执行,使用给定平台上可用的最佳机制:epoll on linux, kqueue on OSX其他等等。作为循环迭代的一部分,循环将阻塞等待已经添加到轮询器的套接字上的I/O活动,并且将触发回调来指示套接字条件(可读,可写的挂断),因此句柄可以读,写或执行期望的I/O操作。 见图
loop的now会被更新,在循环开始前,循环会缓存当前的时间以减少和和时间相关的系统调用。
如果循环处于活动状态,则开始迭代,否则循环将立即退出。 那么,什么时候循环被认为是活着的呢? 如果一个循环有处于激活状态或者被ref的handle,或者活动的请求或者正在被关闭的句柄,它就被认为是活着的。
运行(due)到期的定时器。所有活跃的的定时器如果他们的时间在now之前就会运行他们的cb。
处于等待的回调被调用。虽然所有的I/O回调都会在循环之后立即调用,但是还有这样的一些例子,比如一个回调被延迟到下一此循环了。因此如果上次循环有延时的I/O回调会在这个时间点调用。
Idle handle callbacks are called. Despite the unfortunate name, idle handles are run on every loop iteration, if they are active.
prepare handle 回调被调用。在循环被I/O阻塞之前(right before the loop will block for I/O)prepare回调就会立即被调用。
轮询超时时间计算。在循环被阻塞之前计算他会被阻塞多久。这里有一些计算的规则:
循环被I/O阻塞。在这一步,循环会被阻塞一段时间而这个时间就是上一步计算来的。所有的相关handles都会在给定的文件描述符上等待读或写事件若是有就调用他们的回调。
Check handle的回调被调用。当事件循环被I/O阻塞结束之后立刻调用check handle的回调。本质上他是和prepare handle 相反的。
关闭回调被调用。如果一个handle呗uv_close()关掉了,此时就会在这个点调用关闭的回调。
在UV_RUN_ONCE的情况下的特殊情况,他意味着进一步的处理。比如在循环被I/O阻塞时没有回调被触发,但是已经过去一段时间了,有可能会有定时器到期,那么在进行一次定时器的回调就可以被调用了。
循环结束。当循环是在UV_RUN_NOWAIT或者UV_RUN_ONCE模式下运行的,那么循环将结束。uv_run会返回。如果实在UV_RUN_DEFAULT模式下运行的,若是他还处于alive状态那么循环会继续,否则也会结束。
文件I/O
与网络I/O不同,没有libuv可以依赖的特定于平台的文件I/O原语,因此当前的方法是在线程池中运行阻塞文件I/O操作。
libuv目前使用一个全局的线程池,所有的循环都可以和其交互。有如下3种操作使用的是线程池:
参考
libuv 的队列操作(好久没看c的神操作了,在libuv中我又看到了, 下面这段解释是借来的)
2. 定义基本操作
数组的第0个表示下一个,1表示上一个。 这里使用(*(QUEUE *) &(((q))[0]))这么复杂的表达是有两个原因。一个是转成左值(这里指的左值是指从数组元素的赋值的角度去看,就是指能不能给数组元素赋值),另一个是保存类型信息。
这样会丢失类型信息
这样不是左值
3. 取值 这个队列的实现和数据无关,所以宏里面看不到data的定义,是不是很神奇,像在c++这种面向对象的语言中,我们一般通过迭代器来实现操作和数据的分离,而c语言可以用很巧妙的方式去高效的实现哦。
((char ) &((type ) 0)->field))是拿到偏移量。为什么这样就可以拿到偏移量?其实很好理解,把0当做其实地址,取field的地址,就是偏移量啦。
上面的解释的出处 另一篇解释 还有一篇参考