epoll分析
1.什么是epoll
epoll是当前在Linux下开发大规模并发网络程序的热门人选,epoll 在Linux2.6内核中正式引入,和select相似,都是I/O多路复用(IO multiplexing)技术,按照man手册的说法:是为处理大批量句柄而作了改进的poll。
Linux下有以下几个经典的服务器模型:
①Apache模型(Process Per Connection,简称PPC) 和 TPC(Thread Per Connection)模型
这两种模型思想类似,就是让每一个到来的连接都有一个进程/线程来服务。这种模型的代价是它要时间和空间。连接较多时,进程/线程切换的开销比较大。因此这类模型能接受的最大连接数都不会高,一般在几百个左右。
②select模型
最大并发数限制:因为一个进程所打开的fd(文件描述符)是有限制的,由FD_SETSIZE设置,默认值是1024/2048,因此select模型的最大并发数就被相应限制了。
效率问题:select每次调用都会线性扫描全部的fd集合,这样效率就会呈现线性下降,把FD_SETSIZE改大可能造成这些fd都超时了。
内核/用户空间内存拷贝问题:如何让内核把fd消息通知给用户空间呢?在这个问题上select采取了内存拷贝方法。
③poll模型
虽然解决了select 最大并发数的限制,但是依然存在select的效率问题,select缺点的2和3它都没有改掉。
④epoll模型
对比其他模型的问题,epoll的改进如下:
1.支持一个进程打开大数目的socket描述符(FD)
select
最不能忍受的是一个进程所打开的FD是有一定限制的,由FD_SETSIZE设置,默认值是2048。对于那些需要支持的上万连接数目的IM服务器来说显
然太少了。这时候你一是可以选择修改这个宏然后重新编译内核,不过资料也同时指出这样会带来网络效率的下降,二是可以选择多进程的解决方案(传统的
Apache方案),不过虽然linux上面创建进程的代价比较小,但仍旧是不可忽视的,加上进程间数据同步远比不上线程间同步的高效,所以也不是一种完
美的方案。不过
epoll则没有这个限制,它所支持的FD上限是最大可以打开文件的数目,这个数字一般远大于2048,举个例子,在1GB内存的机器上大约是10万左
右,具体数目可以cat
/proc/sys/fs/file-max察看,一般来说这个数目和系统内存关系很大。
2.IO效率不随FD数目增加而线性下降
传统的select/poll另一个致命弱点就是当你拥有一个很大的socket集合,不过由于网络延时,任一时间只有部分的socket是"活跃"的,
但是select/poll每次调用都会线性扫描全部的集合,导致效率呈现线性下降。但是epoll不存在这个问题,它只会对"活跃"的socket进行
操作---这是因为在内核实现中epoll是根据每个fd上面的callback函数实现的。那么,只有"活跃"的socket才会主动的去调用
callback函数,其他idle状态socket则不会,在这点上,epoll实现了一个"伪"AIO,因为这时候推动力在os内核。在一些benchmark中,如果所有的socket基本上都是活跃的---比如一个高速LAN环境,epoll并不比select/poll有什么效率,相
反,如果过多使用epoll_ctl,效率相比还有稍微的下降。但是一旦使用idle
connections模拟WAN环境,epoll的效率就远在select/poll之上了。
3.使用mmap加速内核与用户空间的消息传递
这点实际上涉及到epoll的具体实现了。无论是select,poll还是epoll都需要内核把FD消息通知给用户空间,如何避免不必要的内存拷贝就
很重要,在这点上,epoll是通过内核于用户空间mmap同一块内存实现的。而如果你想我一样从2.5内核就关注epoll的话,一定不会忘记手工
mmap这一步的。
4.内核微调
这一点其实不算epoll的优点了,而是整个linux平台的优点。也许你可以怀疑linux平台,但是你无法回避linux平台赋予你微调内核的能力。
比如,内核TCP/IP协议栈使用内存池管理sk_buff结构,那么可以在运行时期动态调整这个内存pool(skb_head_pool)的大小
--- 通过echo
XXXX>/proc/sys/net/core/hot_list_length完成。再比如listen函数的第2个参数(TCP完成3次握手
的数据包队列长度),也可以根据你平台内存大小动态调整。更甚至在一个数据包面数目巨大但同时每个数据包本身大小却很小的特殊系统上尝试最新的NAPI网
卡驱动架构。
2.Epoll API
epoll只有epoll_create,epoll_ctl,epoll_wait 3个系统调用。
1: #include <sys/epoll.h>2:int size);4:int epfd, int op, int fd, structepoll_event *event);6:int epfd, struct epoll_event* events, int maxevents. int timeout);8:9:
① int epoll_create(int size);
创建一个epoll的句柄。自从linux2.6.8之后,size参数是被忽略的。需要注意的是,当创建好epoll句柄后,它就是会占用一个 fd值,在linux下如果查看/proc/进程id/fd/,是能够看到这个fd的,所以在使用完epoll后,必须调用close()关闭,否则可能 导致fd被耗尽。
②int epoll_ctl(int epfd, int op, int fd, struct epoll_event *event);
epoll的事件注册函数,它不同于select()是在监听事件时告诉内核要监听什么类型的事件,而是在这里先注册要监听的事件类型。
第一个参数是epoll_create()的返回值。
第二个参数表示动作,用三个宏来表示:
EPOLL_CTL_ADD:注册新的fd到epfd中;
EPOLL_CTL_MOD:修改已经注册的fd的监听事件;
EPOLL_CTL_DEL:从epfd中删除一个fd;
第三个参数是需要监听的fd。
第四个参数是告诉内核需要监听什么事,struct epoll_event结构如下:
1: //保存触发事件的某个文件描述符相关的数据(与具体使用方式有关)2:union epoll_data {void *ptr;int fd;6: __uint32_t u32;7: __uint64_t u64;8: } epoll_data_t;//感兴趣的事件和被触发的事件11: __uint32_t events; /* Epoll events *//* User data variable */13: };
events可以是以下几个宏的集合:
EPOLLIN :表示对应的文件描述符可以读(包括对端SOCKET正常关闭);
EPOLLOUT:表示对应的文件描述符可以写;
EPOLLPRI:表示对应的文件描述符有紧急的数据可读(这里应该表示有带外数据到来);
EPOLLERR:表示对应的文件描述符发生错误;
EPOLLHUP:表示对应的文件描述符被挂断;
EPOLLET: 将EPOLL设为边缘触发(Edge Triggered)模式,这是相对于水平触发(Level Triggered)来说的。
EPOLLONESHOT:只监听一次事件,当监听完这次事件之后,如果还需要继续监听这个socket的话,需要再次把这个socket加入到EPOLL队列里
③ int epoll_wait(int epfd, struct epoll_event * events, int maxevents, int timeout);
收集在epoll监控的事件中已经发送的事件。参数events是分配好的epoll_event结构体数组,epoll将会把发生的事件赋值到
events数组中(events不可以是空指针,内核只负责把数据复制到这个events数组中,不会去帮助我们在用户态中分配内存)。
maxevents告之内核这个events有多大,这个
maxevents的值不能大于创建epoll_create()时的size,参数timeout是超时时间(毫秒,0会立即返回,-1将不确定,也有
说法说是永久阻塞)。如果函数调用成功,返回对应I/O上已准备好的文件描述符数目,如返回0表示已超时。
3.Epoll 工作模式
①LT模式:Level Triggered水平触发
这个是缺省的工作模式。同时支持block socket和non-block socket。内核会告诉程序员一个文件描述符是否就绪了。如果程序员不作任何操作,内核仍会通知。
②ET模式:Edge Triggered 边缘触发
是一种高速模式。仅当状态发生变化的时候才获得通知。这种模式假定程序员在收到一次通知后能够完整地处理事件,于是内核不再通知这一事件。注意:缓
冲区中还有未处理的数据不算状态变化,所以ET模式下程序员只读取了一部分数据就再也得不到通知了,正确的用法是程序员自己确认读完了所有的字节(一直调
用read/write直到出错EAGAIN为止)。
如下图:
0:表示文件描述符未准备就绪
1:表示文件描述符准备就绪
对于水平触发模式(LT):在1处,如果你不做任何操作,内核依旧会不断的通知进程文件描述符准备就绪。
对于边缘出发模式(ET): 只有在0变化到1处的时候,内核才会通知进程文件描述符准备就绪。之后如果不在发生文件描述符状态变化,内核就不会再通知进程文件描述符已准备就绪。
Nginx 默认采用的就是ET。
4.实例
2: #include <stdlib.h>
3: #include <unistd.h>
4: #include <sys/socket.h>
5: #include <errno.h>
6: #include <sys/epoll.h>
7: #include <netinet/in.h>
8: #include <fcntl.h>
9: #include <string.h>
10: #include <netdb.h>
11:
12:
13:
14: struct epoll_event *events = NULL;
15: int epollFd = -1;
16:
int MAX_SOCK_NUM = 1024;
18:
19:
20: int epoll_init();
21: int epoll_socket(int domain, int type, int protocol);
22: int epoll_cleanup();
23: int epoll_new_conn(int sfd);
24:
25:
27: {
struct sockaddr_in listenAddr;
int listenFd = -1;
30:
if(-1 == epoll_init())
32: {
"epoll_init err\n");
return -1;
35: }
36:
if((listenFd = epoll_socket(AF_INET,SOCK_STREAM,0)) == -1)
38: {
"epoll_socket err\n");
40: epoll_cleanup();
return -1;
42: }
43:
44: listenAddr.sin_family = AF_INET;
45: listenAddr.sin_port = htons(999);
46: listenAddr.sin_addr.s_addr = htonl(INADDR_ANY);
47:
if(-1 == bind(listenFd,(struct sockaddr*)&listenAddr,sizeof(listenAddr)))
49: {
"bind err %d\n",errno);
51: epoll_cleanup();
return -1;
53: }
54:
if(-1 == listen(listenFd,1024))
56: {
"listen err\n");
58: epoll_cleanup();
return -1;
60: }
61:
//Add ListenFd into epoll
if(-1 == epoll_new_conn(listenFd))
64: {
"eph_new_conn err\n");
66: close(listenFd);
67: epoll_cleanup();
return -1;
69: }
70:
71:
//LOOP
while(1)
74: {
int n;
76: n = epoll_wait(listenFd,events,MAX_SOCK_NUM,-1);
for (int i = 0; i < n; i++)
78: {
if( (events[i].events & EPOLLERR) || ( events[i].events & EPOLLHUP ) || !(events[i].events & EPOLLIN) )
80: {
"epoll err\n");
82: close(events[i].data.fd);
continue;
84: }
else if(events[i].data.fd == listenFd)
86: {
while(1)
88: {
struct sockaddr inAddr;
char hbuf[1024],sbuf[NI_MAXSERV];
91: socklen_t inLen = -1;
int inFd = -1;
int s = 0;
int flag = 0;
95:
sizeof(inAddr);
97: inFd = accept(listenFd,&inAddr,&inLen);
98:
if(inFd == -1)
100: {
if( errno == EAGAIN || errno == EWOULDBLOCK )
102: {
break;
104: }
else
106: {
"accept error\n");
break;
109: }
110: }
111:
if (s == getnameinfo (&inAddr, inLen, hbuf, sizeof(hbuf), sbuf, sizeof(sbuf), NI_NUMERICHOST | NI_NUMERICSERV))
113: {
"Accepted connection on descriptor %d (host=%s, port=%s)\n", inFd, hbuf, sbuf);
115: }
116:
//Set Socket to non-block
if((flag = fcntl(inFd,F_GETFL,0)) < 0 || fcntl(inFd,F_SETFL,flag | O_NONBLOCK) < 0)
119: {
120: close(inFd);
return -1;
122: }
123:
124: epoll_new_conn(inFd);
125: }
126: }
else
128: {
while (1)
130: {
131: ssize_t count;
char buf[512];
133:
sizeof buf);
135:
if (count == -1)
137: {
if (errno != EAGAIN)
139: {
"read err\n");
141: }
142:
break;
144:
145: }
else if (count == 0)
147: {
break;
149: }
150:
151: write (1, buf, count);
152: }
153: }
154: }
155:
156: }
157:
158: epoll_cleanup();
160:
161:
163: {
if(!(events = (struct epoll_event* ) malloc ( MAX_SOCK_NUM * sizeof(struct epoll_event))))
165: {
return -1;
167: }
168:
if( (epollFd = epoll_create(MAX_SOCK_NUM)) < 0 )
170: {
return -1;
172: }
173:
return 0;
176:
178: {
int sockFd = -1;
int flag = -1;
181:
if ((sockFd = socket(domain,type,protocol)) < 0)
183: {
return -1;
185: }
186:
//Set Socket to non-block
if((flag = fcntl(sockFd,F_GETFL,0)) < 0 || fcntl(sockFd,F_SETFL,flag | O_NONBLOCK) < 0)
189: {
190: close(sockFd);
return -1;
192: }
193:
return sockFd;
196:
198: {
199: free(events);
200: close(epollFd);
return 0;
203:
205: {
206:
struct epoll_event epollEvent;
sizeof(struct epoll_event));
209: epollEvent.events = EPOLLIN | EPOLLERR | EPOLLHUP | EPOLLET;
210: epollEvent.data.ptr = NULL;
211: epollEvent.data.fd = sfd;
212:
if (epoll_ctl(epollFd, EPOLL_CTL_ADD, sfd, &epollEvent) < 0)
214: {
return -1;
216: }
217:
218: epollEvent.data.fd = sfd;
219:
return 0;
221: }
5.Epoll为什么高效
Epoll高效主要体现在以下三个方面:
①从上面的调用方式就可以看出epoll比select/poll的一个优势:select/poll每次调用都要传递所要监控的所有fd给 select/poll系统调用(这意味着每次调用都要将fd列表从用户态拷贝到内核态,当fd数目很多时,这会造成低效)。而每次调用 epoll_wait时(作用相当于调用select/poll),不需要再传递fd列表给内核,因为已经在epoll_ctl中将需要监控的fd告诉了 内核(epoll_ctl不需要每次都拷贝所有的fd,只需要进行增量式操作)。所以,在调用epoll_create之后,内核已经在内核态开始准备数 据结构存放要监控的fd了。每次epoll_ctl只是对这个数据结构进行简单的维护。
② 此外,内核使用了slab机制,为epoll提供了快速的数据结构:
在内核里,一切皆文件。所以,epoll向内核注册了一个文件系统,用于存储上述的被监控的fd。当你调用 epoll_create时,就会在这个虚拟的epoll文件系统里创建一个file结点。当然这个file不是普通文件,它只服务于epoll。 epoll在被内核初始化时(操作系统启动),同时会开辟出epoll自己的内核高速cache区,用于安置每一个我们想监控的fd,这些fd会以红黑树的形式保存在内核cache里,以支持快速的查找、插入、删除。这个内核高速cache区,就是建立连续的物理内存页,然后在之上建立slab层,简单的说,就是物理上分配好你想要的size的内存对象,每次使用时都是使用空闲的已分配好的对象。
③ epoll的第三个优势在于:当我们调用epoll_ctl往里塞入百万个fd时,epoll_wait仍然可以飞快的返回,并有效的将发生事件的fd给我们用户。这 是由于我们在调用epoll_create时,内核除了帮我们在epoll文件系统里建了个file结点,在内核cache里建了个红黑树用于存储以后 epoll_ctl传来的fd外,还会再建立一个list链表,用于存储准备就绪的事件,当epoll_wait调用时,仅仅观察这个list链表里有没 有数据即可。有数据就返回,没有数据就sleep,等到timeout时间到后即使链表没数据也返回。所以,epoll_wait非常 高效。而且,通常情况下即使我们要监控百万计的fd,大多一次也只返回很少量的准备就绪fd而已,所以,epoll_wait仅需要从内核态copy少量 的fd到用户态而已。那么,这个准备就绪list链表是怎么维护的呢?当我们执行epoll_ctl时,除了把fd放到epoll文件系统里file对象 对应的红黑树上之外,还会给内核中断处理程序注册一个回调函数,告诉内核,如果这个fd的中断到了,就把它放到准备就绪list链表里。所以,当一个 fd(例如socket)上有数据到了,内核在把设备(例如网卡)上的数据copy到内核中后就来把fd(socket)插入到准备就绪list链表里 了。
如此,一颗红黑树,一张准备就绪fd链表,少量的内核cache,就帮我们解决了大并发下的fd(socket)处理问题。
1.执行epoll_create时,创建了红黑树和就绪list链表。
2.执行epoll_ctl时,如果增加fd(socket),则检查在红黑树中是否存在,存在立即返回,不存在则添加到红黑树上,然后向内核注册回调函数,用于当中断事件来临时向准备就绪list链表中插入数据。
3.执行epoll_wait时立刻返回准备就绪链表里的数据即可。
6.Epoll源码分析
3: mutex_init(&pmutex);
4:
5: ep_poll_safewake_init(&psw);
6:
"eventpoll_epi", sizeof(struct epitem), 0, SLAB_HWCACHE_ALIGN|EPI_SLAB_DEBUG|SLAB_PANIC, NULL);
8:
"eventpoll_pwq", sizeof(struct eppoll_entry), 0, EPI_SLAB_DEBUG|SLAB_PANIC, NULL);
10:
return 0;
12: }
epoll用kmem_cache_create(slab分配器)分配内存用来存放struct epitem和struct eppoll_entry。
当向系统中添加一个fd时,就创建一个epitem结构体,这是内核管理epoll的基本数据结构:
3: struct rb_node rbn; //用于主结构管理的红黑树
4:
struct list_head rdllink; //事件就绪队列
6:
struct epitem *next; //用于主结构体中的链表
8:
struct epoll_filefd ffd; //这个结构体对应的被监听的文件描述符信息
10:
int nwait; //poll操作中事件的个数
12:
struct list_head pwqlist; //双向链表,保存着被监视文件的等待队列,功能类似于select/poll中的poll_table
14:
struct eventpoll *ep; //该项属于哪个主结构体(多个epitm从属于一个eventpoll)
16:
struct list_head fllink; //双向链表,用来链接被监视的文件描述符对应的struct file。因为file里有f_ep_link,用来保存所有监视这个文件的epoll节点
18:
struct epoll_event event; //注册的感兴趣的事件,也就是用户空间的epoll_event
20:
21: }
而每个epoll fd(epfd)对应的主要数据结构为:
3: spin_lock_t lock; //对本数据结构的访问
4:
struct mutex mtx; //防止使用时被删除
6:
//sys_epoll_wait() 使用的等待队列
8:
//file->poll()使用的等待队列
10:
struct list_head rdllist; //事件满足条件的链表
12:
struct rb_root rbr; //用于管理所有fd的红黑树(树根)
14:
struct epitem *ovflist; //将事件到达的fd进行链接起来发送至用户空间
16:
18:
eventpoll在epoll_create时创建:
3:
struct eventpoll *ep;
5:
6: ...
7:
//为ep分配内存并进行初始化
9:
11: 将主结构体struct eventpoll *ep放入file->private项中进行保存(sys_epoll_ctl会取用)*/
12:
"[eventpoll]", &eventpoll_fops, ep, O_RDWR | (flags & O_CLOEXEC));
14:
return fd;
16:
17: }
其中,ep_alloc(struct eventpoll **pep)为pep分配内存,并初始化。
其中,上面注册的操作eventpoll_fops定义如下:
2:
3: .release= ep_eventpoll_release,
4:
5: .poll = ep_eventpoll_poll,
6:
7: };
这样说来,内核中维护了一棵红黑树,大致的结构如下:
接着是epoll_ctl函数(省略了出错检查等代码):
2:
int error;
4:
struct file *file,*tfile;
6:
struct eventpoll *ep;
8:
struct epoll_event epds;
10:
11:
12:
13: error = -FAULT;
14:
//判断参数的合法性,将 __user *event 复制给 epds。
16:
if(ep_op_has_event(op) && copy_from_user(&epds,event,sizeof(struct epoll_event)))
18:
goto error_return; //省略跳转到的代码
20:
21:
22:
// epoll fd 对应的文件对象
24:
// fd 对应的文件对象
26:
27:
28:
//在create时存入进去的(anon_inode_getfd),现在取用。
30:
private->data;
32:
33:
34:
35: mutex_lock(&ep->mtx);
36:
37:
38:
//防止重复添加(在ep的红黑树中查找是否已经存在这个fd)
40:
41: epi = epi_find(ep,tfile,fd);
42:
43:
44:
switch(op)
46:
47: {
48:
49: ...
50:
case EPOLL_CTL_ADD: //增加监听一个fd
52:
if(!epi)
54:
55: {
56:
//默认包含POLLERR和POLLHUP事件
58:
//在ep的红黑树中插入这个fd对应的epitm结构体。
60:
else //重复添加(在ep的红黑树中查找已经存在这个fd)。
62:
63: error = -EEXIST;
64:
break;
66:
67: ...
68:
69: }
70:
return error;
72:
73:
74:
ep_insert的实现如下:
2:
4:
int error ,revents,pwake = 0;
6:
unsigned long flags ;
8:
struct epitem *epi;
10:
/*
13: struct ep_queue{
15: poll_table pt;
17: struct epitem *epi;
19: } */
20:
21:
22:
struct ep_pqueue epq;
24:
25:
26:
//分配一个epitem结构体来保存每个加入的fd
28:
if(!(epi = kmem_cache_alloc(epi_cache,GFP_KERNEL)))
30:
goto error_return;
32:
//初始化该结构体
34:
35: ep_rb_initnode(&epi->rbn);
36:
37: INIT_LIST_HEAD(&epi->rdllink);
38:
39: INIT_LIST_HEAD(&epi->fllink);
40:
41: INIT_LIST_HEAD(&epi->pwqlist);
42:
43: epi->ep = ep;
44:
45: ep_set_ffd(&epi->ffd,tfile,fd);
46:
47: epi->event = *event;
48:
49: epi->nwait = 0;
50:
51: epi->next = EP_UNACTIVE_PTR;
52:
53:
54:
55: epq.epi = epi;
56:
//安装poll回调函数
58:
59: init_poll_funcptr(&epq.pt, ep_ptable_queue_proc );
60:
/* 调用poll函数来获取当前事件位,其实是利用它来调用注册函数ep_ptable_queue_proc(poll_wait中调用)。
63: 如果fd是套接字,f_op为socket_file_ops,poll函数是
65: sock_poll()。如果是TCP套接字的话,进而会调用
67: 到tcp_poll()函数。此处调用poll函数查看当前
69: 文件描述符的状态,存储在revents中。
71: 在poll的处理函数(tcp_poll())中,会调用sock_poll_wait(),
73: 在sock_poll_wait()中会调用到epq.pt.qproc指向的函数,
75: 也就是ep_ptable_queue_proc()。 */
76:
77:
78:
79: revents = tfile->f_op->poll(tfile, &epq.pt);
80:
81:
82:
83: spin_lock(&tfile->f_ep_lock);
84:
85: list_add_tail(&epi->fllink,&tfile->f_ep_lilnks);
86:
87: spin_unlock(&tfile->f_ep_lock);
88:
89:
90:
//将该epi插入到ep的红黑树中
92:
93:
94:
95: spin_lock_irqsave(&ep->lock,flags);
96:
97:
98:
99: // revents & event->events:刚才fop->poll的返回值中标识的事件有用户event关心的事件发生。
100:
101: // !ep_is_linked(&epi->rdllink):epi的ready队列中有数据。ep_is_linked用于判断队列是否为空。
102:
103: /* 如果要监视的文件状态已经就绪并且还没有加入到就绪队列中,则将当前的
105: epitem加入到就绪队列中.如果有进程正在等待该文件的状态就绪,则
107: 唤醒一个等待的进程。 */
108:
109:
110:
111: if((revents & event->events) && !ep_is_linked(&epi->rdllink)) {
112:
//将当前epi插入到ep->ready队列中。
114:
116:
118:
120:
122:
124:
125:
126:
if(waitqueue_active(&ep->wq))
128:
129: __wake_up_locked(&ep->wq,TAKS_UNINTERRUPTIBLE | TASK_INTERRUPTIBLE);
130:
131:
132:
133: /* 如果有进程等待eventpoll文件本身(???)的事件就绪,
135: 则增加临时变量pwake的值,pwake的值不为0时,
137: 在释放lock后,会唤醒等待进程。 */
138:
139:
140:
if(waitqueue_active(&ep->poll_wait))
142:
143: pwake++;
144:
145: }
146:
147: spin_unlock_irqrestore(&ep->lock,flags);
148:
149:
150:
151:
152:
154:
//唤醒等待eventpoll文件状态就绪的进程
156:
return 0;
158:
159: }
init_poll_funcptr(&epq.pt, ep_ptable_queue_proc);
revents = tfile->f_op->poll(tfile, &epq.pt);
这两个函数将ep_ptable_queue_proc注册到epq.pt中的qproc。
2:
3: poll_queue_proc qproc;
4:
long key;
6:
7: }poll_table;
执行f_op->poll(tfile, &epq.pt)时,XXX_poll(tfile, &epq.pt)函数会执行poll_wait(),poll_wait()会调用epq.pt.qproc函数,即ep_ptable_queue_proc。
ep_ptable_queue_proc函数如下:
3: 如果监视的文件是套接字,参数whead则是sock结构的sk_sleep成员的地址。 */
4:
void ep_ptable_queue_proc(struct file *file, wait_queue_head_t *whead, poll_table *pt) {
6:
8:
9: poll_table pt;
11: struct epitem *epi;
13: } */
14:
struct epitem *epi = ep_item_from_epqueue(pt); //pt获取struct ep_queue的epi字段。
16:
struct eppoll_entry *pwq;
18:
19:
20:
if (epi->nwait >= 0 && (pwq = kmem_cache_alloc(pwq_cache, GFP_KERNEL))) {
22:
23: init_waitqueue_func_entry(&pwq->wait, ep_poll_callback);
24:
25: pwq->whead = whead;
26:
27: pwq->base = epi;
28:
29: add_wait_queue(whead, &pwq->wait);
30:
31: list_add_tail(&pwq->llink, &epi->pwqlist);
32:
33: epi->nwait++;
34:
else {
36:
/* We have to signal that an error occurred */
38:
/*
41: * 如果分配内存失败,则将nwait置为-1,表示
43: * 发生错误,即内存分配失败,或者已发生错误
45: */
46:
47: epi->nwait = -1;
48:
49: }
50:
51: }
其中struct eppoll_entry定义如下:
2:
3: struct list_head llink;
4:
5: struct epitem *base;
6:
7: wait_queue_t wait;
8:
9: wait_queue_head_t *whead;
10:
11: };
ep_ptable_queue_proc 函数完成 epitem 加入到特定文件的wait队列任务。
ep_ptable_queue_proc有三个参数:
struct file *file; 该fd对应的文件对象
wait_queue_head_t *whead; 该fd对应的设备等待队列(同select中的mydev->wait_address)
poll_table *pt; f_op->poll(tfile, &epq.pt)中的epq.pt
在ep_ptable_queue_proc函数中,引入了另外一个非常重要的数据结构eppoll_entry。eppoll_entry主要完成epitem和epitem事件发生时的callback(ep_poll_callback) 函数之间的关联。首先将eppoll_entry的whead指向fd的设备等待队列(同select中的wait_address),然后初始化 eppoll_entry的base变量指向epitem,最后通过add_wait_queue将epoll_entry挂载到fd的设备等待队列上。 完成这个动作后,epoll_entry已经被挂载到fd的设备等待队列。
由于ep_ptable_queue_proc函数设置了等待队列的ep_poll_callback回调函数。所以在设备硬件数据到来时,硬件中断处理函数中会唤醒该等待队列上等待的进程时,会调用唤醒函数ep_poll_callback
2:
int pwake = 0;
4:
unsigned long flags;
6:
struct epitem *epi = ep_item_from_wait(wait);
8:
struct eventpoll *ep = epi->ep;
10:
11:
12:
13: spin_lock_irqsave(&ep->lock, flags);
14:
//判断注册的感兴趣事件
16:
17: //#define EP_PRIVATE_BITS (EPOLLONESHOT | EPOLLET)
18:
20:
if (!(epi->event.events & ~EP_PRIVATE_BITS))
22:
goto out_unlock;
24:
25:
26:
if (unlikely(ep->ovflist != EP_UNACTIVE_PTR)) {
28:
if (epi->next == EP_UNACTIVE_PTR) {
30:
31: epi->next = ep->ovflist;
32:
33: ep->ovflist = epi;
34:
35: }
36:
goto out_unlock;
38:
39: }
40:
41:
42:
if (ep_is_linked(&epi->rdllink))
44:
goto is_linked;
46:
//***关键***,将该fd加入到epoll监听的就绪链表中
48:
49: list_add_tail(&epi->rdllink, &ep->rdllist);
50:
//唤醒调用epoll_wait()函数时睡眠的进程。用户层epoll_wait(...) 超时前返回。
52:
53: if (waitqueue_active(&ep->wq))
54:
55: __wake_up_locked(&ep->wq, TASK_UNINTERRUPTIBLE | TASK_INTERRUPTIBLE);
56:
if (waitqueue_active(&ep->poll_wait))
58:
59: pwake++;
60:
61: out_unlock: spin_unlock_irqrestore(&ep->lock, flags);
62:
if (pwake)
64:
65: ep_poll_safewake(&psw, &ep->poll_wait);
66:
return 1;
68:
69: }
所以ep_poll_callback函数主要的功能是将被监视文件的等待事件就绪时,将文件对应的epitem实例添加到就绪队列中,当用户调用epoll_wait()时,内核会将就绪队列中的事件报告给用户。
epoll_wait实现如下:
2:
int error;
4:
struct file *file;
6:
struct eventpoll *ep;
8:
/* 检查maxevents参数。 */
10:
if (maxevents <= 0 || maxevents > EP_MAX_EVENTS)
12:
return -EINVAL;
14:
/* 检查用户空间传入的events指向的内存是否可写。参见__range_not_ok()。 */
16:
if (!access_ok(VERIFY_WRITE, events, maxevents * sizeof(struct epoll_event))) {
18:
19: error = -EFAULT;
20:
goto error_return;
22:
23: }
24:
/* 获取epfd对应的eventpoll文件的file实例,file结构是在epoll_create中创建。 */
26:
27: error = -EBADF;
28:
29: file = fget(epfd);
30:
if (!file)
32:
goto error_return;
34:
/* 通过检查epfd对应的文件操作是不是eventpoll_fops 来判断epfd是否是一个eventpoll文件。如果不是则返回EINVAL错误。 */
36:
37: error = -EINVAL;
38:
if (!is_file_epoll(file))
40:
goto error_fput;
42:
/* At this point it is safe to assume that the "private_data" contains */
44:
45: ep = file->private_data;
46:
/* Time to fish for events ... */
48:
49: error = ep_poll(ep, events, maxevents, timeout);
50:
51: error_fput:
52:
53: fput(file);
54:
56:
return error;
58:
60:
61:
62:
64:
static int ep_poll(struct eventpoll *ep, struct epoll_event __user *events, int maxevents, long timeout) {
66:
int res, eavail;
68:
unsigned long flags;
70:
long jtimeout;
72:
73: wait_queue_t wait;
74:
/* timeout是以毫秒为单位,这里是要转换为jiffies时间。这里加上999(即1000-1),是为了向上取整。 */
76:
77: jtimeout = (timeout < 0 || timeout >= EP_MAX_MSTIMEO) ?MAX_SCHEDULE_TIMEOUT : (timeout * HZ + 999) / 1000;
78:
79: retry:
80:
81: spin_lock_irqsave(&ep->lock, flags);
82:
83: res = 0;
84:
if (list_empty(&ep->rdllist)) {
86:
/* 没有事件,所以需要睡眠。当有事件到来时,睡眠会被ep_poll_callback函数唤醒。*/
88:
//将current进程放在wait这个等待队列中。
90:
91: wait.flags |= WQ_FLAG_EXCLUSIVE;
92:
/* 将当前进程加入到eventpoll的等待队列中,等待文件状态就绪或直到超时,或被信号中断。 */
94:
95: __add_wait_queue(&ep->wq, &wait);
96:
for (;;) {
98:
/* 执行ep_poll_callback()唤醒时应当需要将当前进程唤醒,所以当前进程状态应该为“可唤醒”TASK_INTERRUPTIBLE */
100:
101: set_current_state(TASK_INTERRUPTIBLE);
102:
/* 如果就绪队列不为空,也就是说已经有文件的状态就绪或者超时,则退出循环。*/
104:
if (!list_empty(&ep->rdllist) || !jtimeout)
106:
break;
108:
/* 如果当前进程接收到信号,则退出循环,返回EINTR错误 */
110:
if (signal_pending(current)) {
112:
113: res = -EINTR;
114:
break;
116:
117: }
118:
119: spin_unlock_irqrestore(&ep->lock, flags);
120:
/* 主动让出处理器,等待ep_poll_callback()将当前进程唤醒或者超时,返回值是剩余的时间。
123: 从这里开始当前进程会进入睡眠状态,直到某些文件的状态就绪或者超时。
125: 当文件状态就绪时,eventpoll的回调函数ep_poll_callback()会唤醒在ep->wq指向的等待队列中的进程。*/
126:
127: jtimeout = schedule_timeout(jtimeout);
128:
129: spin_lock_irqsave(&ep->lock, flags);
130:
131: }
132:
133: __remove_wait_queue(&ep->wq, &wait);
134:
135: set_current_state(TASK_RUNNING);
136:
137: }
138:
/* ep->ovflist链表存储的向用户传递事件时暂存就绪的文件。
141: * 所以不管是就绪队列ep->rdllist不为空,或者ep->ovflist不等于
143: * EP_UNACTIVE_PTR,都有可能现在已经有文件的状态就绪。
145: * ep->ovflist不等于EP_UNACTIVE_PTR有两种情况,一种是NULL,此时
147: * 可能正在向用户传递事件,不一定就有文件状态就绪,
149: * 一种情况时不为NULL,此时可以肯定有文件状态就绪,
151: * 参见ep_send_events()。
153: */
154:
155: eavail = !list_empty(&ep->rdllist) || ep->ovflist != EP_UNACTIVE_PTR;
156:
157: spin_unlock_irqrestore(&ep->lock, flags);
158:
/* Try to transfer events to user space. In case we get 0 events and there's still timeout left over, we go trying again in search of more luck. */
160:
/* 如果没有被信号中断,并且有事件就绪,但是没有获取到事件(有可能被其他进程获取到了),并且没有超时,则跳转到retry标签处,重新等待文件状态就绪。 */
162:
if (!res && eavail && !(res = ep_send_events(ep, events, maxevents)) && jtimeout)
164:
goto retry;
166:
/* 返回获取到的事件的个数或者错误码 */
168:
return res;
170:
171: }
ep_send_events函数向用户空间发送就绪事件。
ep_send_events()函数将用户传入的内存简单封装到ep_send_events_data结构中,然后调用ep_scan_ready_list() 将就绪队列中的事件传入用户空间的内存。
用户空间访问这个结果,进行处理。
7.参考
1.http://www.cnblogs.com/apprentice89/p/3234677.html
2.http://www.cnblogs.com/apprentice89/archive/2013/05/06/3063039.html
epoll分析的更多相关文章
- select与epoll分析
关于select与epoll的区别,网上的文章已是一大堆.不过别人的终究是别人的,总得自己去理解才更深刻.于是在阅读了大量的文章后,再装模作样的看下源码,写下了自己的一些理解. 在开始之前,要明白li ...
- epoll ET模式陷阱分析
0. 前言 这篇文章主要记录在使用epoll实现NIO接入时所遇到的问题. 1. epoll简介 epoll是Linux下提供的NIO,其主要有两种模式,ET(Edge trige)和LT(Level ...
- epoll源码实现分析[整理]
epoll用法回顾 先简单回顾下如何使用C库封装的3个epoll相关的系统调用.更详细的用法参见http://www.cnblogs.com/apprentice89/archive/2013/05/ ...
- epoll()无论涉及wait队列分析
事件1. epfd-file->eventpoll->wq: struct eventpoll { ... wait_queue_head_t wq; //用于ep ...
- select, poll, epoll的实现分析
select, poll, epoll都是Linux上的IO多路复用机制.知其然知其所以然,为了更好地理解其底层实现,这几天我阅读了这三个系统调用的源码. 以下源代码摘自Linux4.4.0内核. 预 ...
- epoll源码分析(转)
在create后会创建eventpoll对象保存在一个匿名fd的file struct的private指针中,然后进程睡在等待队列上面. 对于等待的fd,通过poll机制在准备好之后会调用相应的cal ...
- epoll惊群原因分析
考虑如下情况(实际一般不会做,这里只是举个例子): 在主线程中创建一个socket.绑定到本地端口并监听 在主线程中创建一个epoll实例(epoll_create(2)) 将监听socket添加到e ...
- epoll源码分析
epoll源码分析 最近在使用libev过程中遇到一个场景:一个fd从一个ev_loop迁移到另一个ev_loop,会出现这个fd同时存在两个epoll的瞬间.不禁要问了,一个fd同时被两个epoll ...
- 理解select,poll,epoll实现分析
mark 引用:http://janfan.cn/chinese/2015/01/05/select-poll-impl-inside-the-kernel.html 文章 select()/poll ...
随机推荐
- BZOJ 3083: 遥远的国度 dfs序,树链剖分,倍增
今天再做一天树的题目,明天要开始专攻图论了.做图论十几天之后再把字符串搞搞,区域赛前再把计几看看. 3083: 遥远的国度 Time Limit: 10 Sec Memory Limit: 128 ...
- 学习笔记2:前端PS切图
前端PS切图 一.Photoshop的界面设置 二.Photoshop的基本操作 三.Photoshop的传统切图 四.Photoshop的精准切图 五.Photoshop的扩展知识 视频学习:htt ...
- 何为 ISAPI
ISAPI即为Internet Server Application Programming Interface ISAPI 服务器扩展 ISAPI 服务器扩展是可以被 HTTP 服务器加载和调用的 ...
- css去掉默认的下拉,实现用户自定义的下拉列表
<!DOCTYPE html><html lang="en"><head> <meta charset="UTF-8" ...
- 推荐5款超实用的.NET性能分析工具 转
http://www.csdn.net/article/2012-11-23/2812174-5-Good-and-useful-.NET-Profilers
- [转]Servlet 工作原理解析
Web 技术成为当今主流的互联网 Web 应用技术之一,而 Servlet 是 Java Web 技术的核心基础.因而掌握 Servlet 的工作原理是成为一名合格的 Java Web 技术开发人员的 ...
- oracle中编写java代码
使用sql语句创建 create or replace and compile java source named test_java_source as package test_java_sour ...
- 第三方框架、AFN、ASI、SDWebImage
AFN 一.2大管理对象1.AFHTTPRequestOperationManager* 对NSURLConnection的封装 2.AFHTTPSessionManager* 对NSURLSessi ...
- js、expression表达式解析
首先理解一下下面的表达式:expression(eval(document.documentElement.scrollTop+document.documentElement.clientHeigh ...
- Linux相关指令
Linux相关指令 1.find文件搜索功能 find [目录列表] [匹配参数] [匹配标准] -name :按文件名称进行搜索 -group :按文件所属组进行搜索 -user :按文件拥有者进行 ...