文章目錄
一、epoll原理詳解
二、epoll的兩種觸發模式
三、epoll反應堆模型
設想一個場景:有100萬用戶同時與一個進程保持着TCP連接,而每一時刻只有幾十個或幾百個TCP連接是活躍的(接收TCP包),也就是說在每一時刻進程只需要處理這100萬連接中的一小部分連接。那么,如何才能高效的處理這種場景呢?進程是否在每次詢問操作系統收集有事件發生的TCP連接時,把這100萬個連接告訴操作系統,然后由操作系統找出其中有事件發生的幾百個連接呢?實際上,在Linux2.4版本以前,那時的select或者poll事件驅動方式是這樣做的。
這里有個非常明顯的問題,即在某一時刻,進程收集有事件的連接時,其實這100萬連接中的大部分都是沒有事件發生的。因此如果每次收集事件時,都把100萬連接的套接字傳給操作系統(這首先是用戶態內存到內核態內存的大量復制),而由操作系統內核尋找這些連接上有沒有未處理的事件,將會是巨大的資源浪費,然后select和poll就是這樣做的,因此它們最多只能處理幾千個並發連接。而epoll不這樣做,它在Linux內核中申請了一個簡易的文件系統,把原先的一個select或poll調用分成了3部分:
1 int epoll_create(int size); 2 int epoll_ctl(int epfd, int op, int fd, struct epoll_event *event); 3 int epoll_wait(int epfd, struct epoll_event *events,int maxevents, int timeout);
1. 調用epoll_create建立一個epoll對象(在epoll文件系統中給這個句柄分配資源);
2. 調用epoll_ctl向epoll對象中添加這100萬個連接的套接字;
3. 調用epoll_wait收集發生事件的連接。
這樣只需要在進程啟動時建立1個epoll對象,並在需要的時候向它添加或刪除連接就可以了,因此,在實際收集事件時,epoll_wait的效率就會非常高,因為調用epoll_wait時並沒有向它傳遞這100萬個連接,內核也不需要去遍歷全部的連接。
一、epoll原理詳解
當某一進程調用epoll_create方法時,Linux內核會創建一個eventpoll結構體,這個結構體中有兩個成員與epoll的使用方式密切相關,如下所示:
1 struct eventpoll { 2 ... 3 /*紅黑樹的根節點,這棵樹中存儲着所有添加到epoll中的事件, 4 也就是這個epoll監控的事件*/ 5 struct rb_root rbr; 6 /*雙向鏈表rdllist保存着將要通過epoll_wait返回給用戶的、滿足條件的事件*/ 7 struct list_head rdllist; 8 ... 9 };
我們在調用epoll_create時,內核除了幫我們在epoll文件系統里建了個file結點,在內核cache里建了個紅黑樹用於存儲以后epoll_ctl傳來的socket外,還會再建立一個rdllist雙向鏈表,用於存儲准備就緒的事件,當epoll_wait調用時,僅僅觀察這個rdllist雙向鏈表里有沒有數據即可。有數據就返回,沒有數據就sleep,等到timeout時間到后即使鏈表沒數據也返回。所以,epoll_wait非常高效。
所有添加到epoll中的事件都會與設備(如網卡)驅動程序建立回調關系,也就是說相應事件的發生時會調用這里的回調方法。這個回調方法在內核中叫做ep_poll_callback,它會把這樣的事件放到上面的rdllist雙向鏈表中。
在epoll中對於每一個事件都會建立一個epitem結構體,如下所示:
1 struct epitem { 2 ... 3 //紅黑樹節點 4 struct rb_node rbn; 5 //雙向鏈表節點 6 struct list_head rdllink; 7 //事件句柄等信息 8 struct epoll_filefd ffd; 9 //指向其所屬的eventepoll對象 10 struct eventpoll *ep; 11 //期待的事件類型 12 struct epoll_event event; 13 ... 14 }; // 這里包含每一個事件對應着的信息
當調用epoll_wait檢查是否有發生事件的連接時,只是檢查eventpoll對象中的rdllist雙向鏈表是否有epitem元素而已,如果rdllist鏈表不為空,則這里的事件復制到用戶態內存(使用共享內存提高效率)中,同時將事件數量返回給用戶。因此epoll_waitx效率非常高。epoll_ctl在向epoll對象中添加、修改、刪除事件時,從rbr紅黑樹中查找事件也非常快,也就是說epoll是非常高效的,它可以輕易地處理百萬級別的並發連接。
【總結】:
一顆紅黑樹,一張准備就緒句柄鏈表,少量的內核cache,就幫我們解決了大並發下的socket處理問題。
執行epoll_create()時,創建了紅黑樹和就緒鏈表;
執行epoll_ctl()時,如果增加socket句柄,則檢查在紅黑樹中是否存在,存在立即返回,不存在則添加到樹干上,然后向內核注冊回調函數,用於當中斷事件來臨時向准備就緒鏈表中插入數據;
執行epoll_wait()時立刻返回准備就緒鏈表里的數據即可。
二、epoll的兩種觸發模式
epoll有EPOLLLT和EPOLLET兩種觸發模式,LT是默認的模式,ET是“高速”模式。
LT(水平觸發)模式下,只要這個文件描述符還有數據可讀,每次 epoll_wait都會返回它的事件,提醒用戶程序去操作;
ET(邊緣觸發)模式下,在它檢測到有 I/O 事件時,通過 epoll_wait 調用會得到有事件通知的文件描述符,對於每一個被通知的文件描述符,如可讀,則必須將該文件描述符一直讀到空,讓 errno 返回 EAGAIN 為止,否則下次的 epoll_wait 不會返回余下的數據,會丟掉事件。如果ET模式不是非阻塞的,那這個一直讀或一直寫勢必會在最后一次阻塞。
還有一個特點是,epoll使用“事件”的就緒通知方式,通過epoll_ctl注冊fd,一旦該fd就緒,內核就會采用類似callback的回調機制來激活該fd,epoll_wait便可以收到通知。
【epoll為什么要有EPOLLET觸發模式?】:
如果采用EPOLLLT模式的話,系統中一旦有大量你不需要讀寫的就緒文件描述符,它們每次調用epoll_wait都會返回,這樣會大大降低處理程序檢索自己關心的就緒文件描述符的效率.。而采用EPOLLET這種邊緣觸發模式的話,當被監控的文件描述符上有可讀寫事件發生時,epoll_wait()會通知處理程序去讀寫。如果這次沒有把數據全部讀寫完(如讀寫緩沖區太小),那么下次調用epoll_wait()時,它不會通知你,也就是它只會通知你一次,直到該文件描述符上出現第二次可讀寫事件才會通知你!!!這種模式比水平觸發效率高,系統不會充斥大量你不關心的就緒文件描述符。
【總結】:
ET模式(邊緣觸發)只有數據到來才觸發,不管緩存區中是否還有數據,緩沖區剩余未讀盡的數據不會導致epoll_wait返回;
LT 模式(水平觸發,默認)只要有數據都會觸發,緩沖區剩余未讀盡的數據會導致epoll_wait返回。
三、epoll反應堆模型
【epoll模型原來的流程】:
1 epoll_create(); // 創建監聽紅黑樹 2 epoll_ctl(); // 向書上添加監聽fd 3 epoll_wait(); // 監聽 4 有監聽fd事件發送--->返回監聽滿足數組--->判斷返回數組元素---> 5 lfd滿足accept--->返回cfd---->read()讀數據--->write()給客戶端回應。
【epoll反應堆模型的流程】:
1 epoll_create(); // 創建監聽紅黑樹 2 epoll_ctl(); // 向書上添加監聽fd 3 epoll_wait(); // 監聽 4 有客戶端連接上來--->lfd調用acceptconn()--->將cfd掛載到紅黑樹上監聽其讀事件---> 5 epoll_wait()返回cfd--->cfd回調recvdata()--->將cfd摘下來監聽寫事件---> 6 epoll_wait()返回cfd--->cfd回調senddata()--->將cfd摘下來監聽讀事件--->...--->
【Demo】:
1 #include <stdio.h> 2 #include <sys/socket.h> 3 #include <sys/epoll.h> 4 #include <arpa/inet.h> 5 #include <fcntl.h> 6 #include <unistd.h> 7 #include <errno.h> 8 #include <string.h> 9 #include <stdlib.h> 10 #include <time.h> 11 12 #define MAX_EVENTS 1024 /*監聽上限*/ 13 #define BUFLEN 4096 /*緩存區大小*/ 14 #define SERV_PORT 6666 /*端口號*/ 15 16 void recvdata(int fd,int events,void *arg); 17 void senddata(int fd,int events,void *arg); 18 19 /*描述就緒文件描述符的相關信息*/ 20 struct myevent_s 21 { 22 int fd; //要監聽的文件描述符 23 int events; //對應的監聽事件,EPOLLIN和EPLLOUT 24 void *arg; //指向自己結構體指針 25 void (*call_back)(int fd,int events,void *arg); //回調函數 26 int status; //是否在監聽:1->在紅黑樹上(監聽), 0->不在(不監聽) 27 char buf[BUFLEN]; 28 int len; 29 long last_active; //記錄每次加入紅黑樹 g_efd 的時間值 30 }; 31 32 int g_efd; //全局變量,作為紅黑樹根 33 struct myevent_s g_events[MAX_EVENTS+1]; //自定義結構體類型數組. +1-->listen fd 34 35 36 /* 37 * 封裝一個自定義事件,包括fd,這個fd的回調函數,還有一個額外的參數項 38 * 注意:在封裝這個事件的時候,為這個事件指明了回調函數,一般來說,一個fd只對一個特定的事件 39 * 感興趣,當這個事件發生的時候,就調用這個回調函數 40 */ 41 void eventset(struct myevent_s *ev, int fd, void (*call_back)(int fd,int events,void *arg), void *arg) 42 { 43 ev->fd = fd; 44 ev->call_back = call_back; 45 ev->events = 0; 46 ev->arg = arg; 47 ev->status = 0; 48 if(ev->len <= 0) 49 { 50 memset(ev->buf, 0, sizeof(ev->buf)); 51 ev->len = 0; 52 } 53 ev->last_active = time(NULL); //調用eventset函數的時間 54 return; 55 } 56 57 /* 向 epoll監聽的紅黑樹 添加一個文件描述符 */ 58 void eventadd(int efd, int events, struct myevent_s *ev) 59 { 60 struct epoll_event epv={0, {0}}; 61 int op = 0; 62 epv.data.ptr = ev; // ptr指向一個結構體(之前的epoll模型紅黑樹上掛載的是文件描述符cfd和lfd,現在是ptr指針) 63 epv.events = ev->events = events; //EPOLLIN 或 EPOLLOUT 64 if(ev->status == 0) //status 說明文件描述符是否在紅黑樹上 0不在,1 在 65 { 66 op = EPOLL_CTL_ADD; //將其加入紅黑樹 g_efd, 並將status置1 67 ev->status = 1; 68 } 69 if(epoll_ctl(efd, op, ev->fd, &epv) < 0) // 添加一個節點 70 printf("event add failed [fd=%d],events[%d]\n", ev->fd, events); 71 else 72 printf("event add OK [fd=%d],events[%0X]\n", ev->fd, events); 73 return; 74 } 75 76 /* 從epoll 監聽的 紅黑樹中刪除一個文件描述符*/ 77 void eventdel(int efd,struct myevent_s *ev) 78 { 79 struct epoll_event epv = {0, {0}}; 80 if(ev->status != 1) //如果fd沒有添加到監聽樹上,就不用刪除,直接返回 81 return; 82 epv.data.ptr = NULL; 83 ev->status = 0; 84 epoll_ctl(efd, EPOLL_CTL_DEL, ev->fd, &epv); 85 return; 86 } 87 88 /* 當有文件描述符就緒, epoll返回, 調用該函數與客戶端建立鏈接 */ 89 void acceptconn(int lfd,int events,void *arg) 90 { 91 struct sockaddr_in cin; 92 socklen_t len = sizeof(cin); 93 int cfd, i; 94 if((cfd = accept(lfd, (struct sockaddr *)&cin, &len)) == -1) 95 { 96 if(errno != EAGAIN && errno != EINTR) 97 { 98 sleep(1); 99 } 100 printf("%s:accept,%s\n",__func__, strerror(errno)); 101 return; 102 } 103 do 104 { 105 for(i = 0; i < MAX_EVENTS; i++) //從全局數組g_events中找一個空閑元素,類似於select中找值為-1的元素 106 { 107 if(g_events[i].status ==0) 108 break; 109 } 110 if(i == MAX_EVENTS) // 超出連接數上限 111 { 112 printf("%s: max connect limit[%d]\n", __func__, MAX_EVENTS); 113 break; 114 } 115 int flag = 0; 116 if((flag = fcntl(cfd, F_SETFL, O_NONBLOCK)) < 0) //將cfd也設置為非阻塞 117 { 118 printf("%s: fcntl nonblocking failed, %s\n", __func__, strerror(errno)); 119 break; 120 } 121 eventset(&g_events[i], cfd, recvdata, &g_events[i]); //找到合適的節點之后,將其添加到監聽樹中,並監聽讀事件 122 eventadd(g_efd, EPOLLIN, &g_events[i]); 123 }while(0); 124 125 printf("new connect[%s:%d],[time:%ld],pos[%d]",inet_ntoa(cin.sin_addr), ntohs(cin.sin_port), g_events[i].last_active, i); 126 return; 127 } 128 129 /*讀取客戶端發過來的數據的函數*/ 130 void recvdata(int fd, int events, void *arg) 131 { 132 struct myevent_s *ev = (struct myevent_s *)arg; 133 int len; 134 135 len = recv(fd, ev->buf, sizeof(ev->buf), 0); //讀取客戶端發過來的數據 136 137 eventdel(g_efd, ev); //將該節點從紅黑樹上摘除 138 139 if (len > 0) 140 { 141 ev->len = len; 142 ev->buf[len] = '\0'; //手動添加字符串結束標記 143 printf("C[%d]:%s\n", fd, ev->buf); 144 145 eventset(ev, fd, senddata, ev); //設置該fd對應的回調函數為senddata 146 eventadd(g_efd, EPOLLOUT, ev); //將fd加入紅黑樹g_efd中,監聽其寫事件 147 148 } 149 else if (len == 0) 150 { 151 close(ev->fd); 152 /* ev-g_events 地址相減得到偏移元素位置 */ 153 printf("[fd=%d] pos[%ld], closed\n", fd, ev-g_events); 154 } 155 else 156 { 157 close(ev->fd); 158 printf("recv[fd=%d] error[%d]:%s\n", fd, errno, strerror(errno)); 159 } 160 return; 161 } 162 163 /*發送給客戶端數據*/ 164 void senddata(int fd, int events, void *arg) 165 { 166 struct myevent_s *ev = (struct myevent_s *)arg; 167 int len; 168 169 len = send(fd, ev->buf, ev->len, 0); //直接將數據回射給客戶端 170 171 eventdel(g_efd, ev); //從紅黑樹g_efd中移除 172 173 if (len > 0) 174 { 175 printf("send[fd=%d], [%d]%s\n", fd, len, ev->buf); 176 eventset(ev, fd, recvdata, ev); //將該fd的回調函數改為recvdata 177 eventadd(g_efd, EPOLLIN, ev); //重新添加到紅黑樹上,設為監聽讀事件 178 } 179 else 180 { 181 close(ev->fd); //關閉鏈接 182 printf("send[fd=%d] error %s\n", fd, strerror(errno)); 183 } 184 return ; 185 } 186 187 /*創建 socket, 初始化lfd */ 188 189 void initlistensocket(int efd, short port) 190 { 191 struct sockaddr_in sin; 192 193 int lfd = socket(AF_INET, SOCK_STREAM, 0); 194 fcntl(lfd, F_SETFL, O_NONBLOCK); //將socket設為非阻塞 195 196 memset(&sin, 0, sizeof(sin)); //bzero(&sin, sizeof(sin)) 197 sin.sin_family = AF_INET; 198 sin.sin_addr.s_addr = INADDR_ANY; 199 sin.sin_port = htons(port); 200 201 bind(lfd, (struct sockaddr *)&sin, sizeof(sin)); 202 203 listen(lfd, 20); 204 205 /* void eventset(struct myevent_s *ev, int fd, void (*call_back)(int, int, void *), void *arg); */ 206 eventset(&g_events[MAX_EVENTS], lfd, acceptconn, &g_events[MAX_EVENTS]); 207 208 /* void eventadd(int efd, int events, struct myevent_s *ev) */ 209 eventadd(efd, EPOLLIN, &g_events[MAX_EVENTS]); //將lfd添加到監聽樹上,監聽讀事件 210 211 return; 212 } 213 214 int main() 215 { 216 int port=SERV_PORT; 217 218 g_efd = epoll_create(MAX_EVENTS + 1); //創建紅黑樹,返回給全局 g_efd 219 if(g_efd <= 0) 220 printf("create efd in %s err %s\n", __func__, strerror(errno)); 221 222 initlistensocket(g_efd, port); //初始化監聽socket 223 224 struct epoll_event events[MAX_EVENTS + 1]; //定義這個結構體數組,用來接收epoll_wait傳出的滿足監聽事件的fd結構體 225 printf("server running:port[%d]\n", port); 226 227 int checkpos = 0; 228 int i; 229 while(1) 230 { 231 /* long now = time(NULL); 232 for(i=0; i < 100; i++, checkpos++) 233 { 234 if(checkpos == MAX_EVENTS); 235 checkpos = 0; 236 if(g_events[checkpos].status != 1) 237 continue; 238 long duration = now -g_events[checkpos].last_active; 239 if(duration >= 60) 240 { 241 close(g_events[checkpos].fd); 242 printf("[fd=%d] timeout\n", g_events[checkpos].fd); 243 eventdel(g_efd, &g_events[checkpos]); 244 } 245 } */ 246 //調用eppoll_wait等待接入的客戶端事件,epoll_wait傳出的是滿足監聽條件的那些fd的struct epoll_event類型 247 int nfd = epoll_wait(g_efd, events, MAX_EVENTS+1, 1000); 248 if (nfd < 0) 249 { 250 printf("epoll_wait error, exit\n"); 251 exit(-1); 252 } 253 for(i = 0; i < nfd; i++) 254 { 255 //evtAdd()函數中,添加到監聽樹中監聽事件的時候將myevents_t結構體類型給了ptr指針 256 //這里epoll_wait返回的時候,同樣會返回對應fd的myevents_t類型的指針 257 struct myevent_s *ev = (struct myevent_s *)events[i].data.ptr; 258 //如果監聽的是讀事件,並返回的是讀事件 259 if((events[i].events & EPOLLIN) &&(ev->events & EPOLLIN)) 260 { 261 ev->call_back(ev->fd, events[i].events, ev->arg); 262 } 263 //如果監聽的是寫事件,並返回的是寫事件 264 if((events[i].events & EPOLLOUT) && (ev->events & EPOLLOUT)) 265 { 266 ev->call_back(ev->fd, events[i].events, ev->arg); 267 } 268 } 269 } 270 return 0; 271 }