理解epoll的实现.pdfVIP

理解epoll()的实现 看官兄弟姐妹们，你们都点过“理解epoll()的实现”的标题了，我想就不用再说epoll()如果使用的废话云 云了。直接进入正题吧： epoll_create() 系统调用 首先，我们注意epoll_create()返回的是一个文件描述符，这是epoll()与select()/poll()族系 统调用的一点显著不同。有文件描述符就一定有对应的文件系统，这个特殊文件系统，在RHEL5.4 内核 （主要基于2.6.18，混合了部分2.6.2x 的代码）里叫eventpollfs。不过，这个用来借壳“充数”的文件 系统在更新的内核里已经看不到了，因为新内核（至少2.6.32 以后是没有了）提供了更轻量级的方法实现 “借壳”。 “借壳”本身与epoll()的核心逻辑关系不大，我们略过不表。无论有没有这个特殊文件系统，这个打 开文件的对应的file_operations 都实现了两个方法：一个是release ，一个poll。前一个我不用介绍 了，从名字上猜含义不难。后一个就比较有趣了，这意味着epoll_create()返回文件描述符本身也是可以 select()/poll()/epoll()的，我们可以复合epoll ！ epoll_create()创建完对应的inode()之后，就是做一些常规的VFS 粘合代码，诸如将filp 与 f 关联，不说了。 另外，值得一提的，就是那个size 参数，其实是棒锤，什么也不顶。 epoll_ctl() 系统调用 前面做参数合法检查和退出时打扫战场的代码我就忽略了。这个函数的骨干逻辑如下： epi = ep_find(ep, tfile, fd); error = -EINVAL; switch (op) { case EPOLL_CTL_ADD: if (!epi) { epds.events |= POLLERR | POLLHUP; error = ep_insert(ep, epds, tfile, fd); } else error = -EEXIST; break; case EPOLL_CTL_DEL: if (epi) error = ep_remove(ep, epi); else error = -ENOENT; break; case EPOLL_CTL_MOD: if (epi) { epds.events |= POLLERR | POLLHUP; error = ep_modify(ep, epi, epds); } else error = -ENOENT; break; } 这是ep_find()调用的唯一地方，它的作用是在在一棵红黑树查找满足已经添加过的“事件结构”， 毫无疑问，这是为DEL 和MOD 操作的预备动作。而我们将主要关心ADD ，所以忽略它吧。此外一个值 得注意的地方，从以上代码可以看到，对于ADD ／MOD 操作， POLLERR | POLLHUP 都是必定 会通知用户空间程序的，即使你不指定它们。 OK，对于ADD 操作，就剩下ep_insert(ep, epds, tfile, fd) 需要解释了。这个函数首先 分配一个epi （event poll item ）结构，然后初始化上面的几个链表什么的，没什么大不了是不是？但 最关键的代码就隐藏在这个函数里面，其中最重要的代码是这么几行： struct ep_pqueue epq; epq.epi = epi; init_poll_funcptr(epq.pt, ep_ptable_queue_proc); revents = tfile-f_op-poll(tfile,