epoll()无论涉及wait队列分析

事件1. epfd-file->eventpoll->wq:

struct eventpoll {

...

wait_queue_head_t wq; //用于epoll_pwait()事件的等待队列 情况1分析

struct list_head rdllist; //就绪的fd队列 ready list

struct rb_root rbr; //红黑树根，epitem->rbn为红黑树结构的节点

struct file *file; //epoll文件系统中构建的虚拟文件

...

};

主要用于epoll_pwait()时候，判定epfd-file->eventpoll->rdlist（就绪fd）是否为空。假设为空而且epoll_pwait()为堵塞调用。那么将当前进程将被挂到epfd-file->eventpoll->wq中，而且当前进程进入堵塞等待，直到rdlist非空的时候唤起epfd-file->eventpoll->poll_wait链表中的进程（相互排斥唤起和非相互排斥唤起？）唤起的回调函数默觉得wake_up_interruptible或者wake_up

情况2.被监听的fd->poll_wait

将被监听套接字fd在epoll期间构建的epitem和eppoll_entry

epitem{

struct rb_node rbn; //epitem挂在rbtree上的节点信息

struct list_head rdllink; //假设fd就绪，将挂入ready list

struct eventpoll *ep; //所属主eventpoll（维护rbtree rdllist poll_wait队列...）

struct epoll_event event; //fd上监听的事件

}

struct eppoll_entry {

struct list_head llink;

struct epitem *base; //所属epitem

wait_queue_t wait; //作为一元素挂入被监听fd的wait队列中

wait_queue_head_t *whead; //被监听fd的等待队列。假设fd为socket。那么whead为sock->sk_sleep

};

eppoll_entry主要完毕epitem和epitem事件发生时的callback函数之间的关联。

首先将eppoll_entry的whead指向fd的设备等待队列（同select中的wait_address）。

然后初始化eppoll_entry的base变量指向epitem。

最后通过add_wait_queue将epoll_entry挂载到fd的设备等待队列上。

当在设备硬件数据到来时，硬件中断处理函数中会唤醒该等待队列上等待的进程时，会调用唤醒函数ep_poll_callback（ep_poll_callback: 当fd上出发事件后。将epitem中的rdllink节点增加到readlist中（epfd-file->eventpoll->rdlist））

对照：

1和2对照，主要是等待队列的回调函数用处不同，1的回调是为了唤起处于等待事件而处于休眠的进程，2的回调是为了将epitem中的rdllink结构增加到ready list中。

參考：
http://www.cnblogs.com/apprentice89/archive/2013/05/09/3068274.html http://www.cnblogs.com/apprentice89/p/3234677.html