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

版权声明：本文博客原创文章。博客，未经同意，不得转载。