epoll是如何监控多个描述符及如何获得通知(1)

============================================================================================================================
有了宝宝以后，最近事情比较多，博客更新得远不如以前了。

前几天和人聊到epoll，我本身不是做应用的，对epoll的了解也仅限于几篇博文。所以本文关于epoll的描述，准确度值得怀疑哦~欢迎大家指正。

我们起初聊的是TCP/IP协议栈的自下而上的流程。当我说到内核在选择了正确的socket以后，会唤醒在这个socket上等待的进程，通知他们有新数据包来了。这时，该朋友说到，这是同步模式，那epoll是如何实现的呢？这里先插一句，我认为该朋友的说法有问题。对于前者，可以说是同步模式，其实我觉得他更想强调的是阻塞模式。而无论是将其说成阻塞模式，还是同步模式，epoll都不是相反的。聊这个问题的时候，我当时对epoll的太少了，也就没有对epoll的实现发表什么看法。只是简单的聊了聊epoll的一些特点，以及与select的对比。

这几天找了点空余时间，带着这个问题，看了一些epoll的资料。

关于epoll本身的文章和资料已经有了很多，大多数都是关于epoll的应用，或者是将其与poll，select进行对比，也有部分是分析epoll的源码的，但是都是分析epoll的API在内核的实现。对于我这个简单的问题，网上貌似没有直接的答案。这两天，看了看代码，大致明白了epoll如何同时监控多个描述符及如何获得通知。

1. 无论是select还是epoll，都是基于poll的机制实现的。而poll是VFS要求的一个成员函数，每个具体文件系统的实现，都有对应的poll实现（socket也是一个虚拟的文件系统）。
2. 无论是select还是epoll，其实仍然是阻塞模式。只不过select和epoll在阻塞调用中，可以监控多个文件描述符，还可以设置一个超时。

select的实现代码相对于epoll，要简单很多，是以轮询的方式查询各个描述符。下面看看epoll是如何做到的？

首先看ep_insert函数，这个函数用于插入新的监控描述符。