天天看點

select、poll、epoll的比較

轉自

<a href="http://www.cnblogs.com/xuxm2007/archive/2011/08/15/2139809.html" target="_blank">http://www.cnblogs.com/xuxm2007/archive/2011/08/15/2139809.html</a>

<a href="http://my.chinaunix.net/space.php?uid=20196318&amp;do=blog&amp;id=366042" target="_blank">http://my.chinaunix.net/space.php?uid=20196318&amp;do=blog&amp;id=366042</a>

<a href="http://blog.endlesscode.com/2010/03/27/select-poll-epoll-intro/" target="_blank">http://blog.endlesscode.com/2010/03/27/select-poll-epoll-intro/</a>

 linux提供了select、poll、epoll接口來實作IO複用,三者的原型如下所示,本文從參數、實作、性能等方面對三者進行對比。

int select(int nfds, fd_set *readfds, fd_set *writefds, fd_set *exceptfds, struct timeval *timeout);

int poll(struct pollfd *fds, nfds_t nfds, int timeout);

int epoll_wait(int epfd, struct epoll_event *events, int maxevents, int timeout);

select、poll、epoll_wait參數及實作對比

1.  select的第一個參數nfds為fdset集合中最大描述符值加1,fdset是一個位數組,其大小限制為__FD_SETSIZE(1024),位數組的每一位代表其對應的描述符是否需要被檢查。

select的第二三四個參數表示需要關注讀、寫、錯誤事件的檔案描述符位數組,這些參數既是輸入參數也是輸出參數,可能會被核心修改用于标示哪些描述符上發生了關注的事件。是以每次調用select前都需要重新初始化fdset。

timeout參數為逾時時間,該結構會被核心修改,其值為逾時剩餘的時間。

select對應于核心中的sys_select調用,sys_select首先将第二三四個參數指向的fd_set拷貝到核心,然後對每個被SET的描述符調用進行poll,并記錄在臨時結果中(fdset),如果有事件發生,select會将臨時結果寫到使用者空間并傳回;當輪詢一遍後沒有任何事件發生時,如果指定了逾時時間,則select會睡眠到逾時,睡眠結束後再進行一次輪詢,并将臨時結果寫到使用者空間,然後傳回。

select傳回後,需要逐一檢查關注的描述符是否被SET(事件是否發生)。

2.  poll與select不同,通過一個pollfd數組向核心傳遞需要關注的事件,故沒有描述符個數的限制,pollfd中的events字段和revents分别用于标示關注的事件和發生的事件,故pollfd數組隻需要被初始化一次。

poll的實作機制與select類似,其對應核心中的sys_poll,隻不過poll向核心傳遞pollfd數組,然後對pollfd中的每個描述符進行poll,相比處理fdset來說,poll效率更高。

poll傳回後,需要對pollfd中的每個元素檢查其revents值,來得指事件是否發生。

3.  epoll通過epoll_create建立一個用于epoll輪詢的描述符,通過epoll_ctl添加/修改/删除事件,通過epoll_wait檢查事件,epoll_wait的第二個參數用于存放結果。

epoll與select、poll不同,首先,其不用每次調用都向核心拷貝事件描述資訊,在第一次調用後,事件資訊就會與對應的epoll描述符關聯起來。另外epoll不是通過輪詢,而是通過在等待的描述符上注冊回調函數,當事件發生時,回調函數負責把發生的事件存儲在就緒事件連結清單中,最後寫到使用者空間。

epoll傳回後,該參數指向的緩沖區中即為發生的事件,對緩沖區中每個元素進行處理即可,而不需要像poll、select那樣進行輪詢檢查。

select、poll、epoll_wait性能對比

select、poll的内部實作機制相似,性能差别主要在于向核心傳遞參數以及對fdset的位操作上,另外,select存在描述符數的硬限制,不能處理很大的描述符集合。這裡主要考察poll與epoll在不同大小描述符集合的情況下性能的差異。

測試程式會統計在不同的檔案描述符集合的情況下,1s内poll與epoll調用的次數。統計結果如下,從結果可以看出,對poll而言,每秒鐘内的系統調用數目雖集合增大而很快降低,而epoll基本保持不變,具有很好的擴充性。

描述符集合大小

poll

epoll

1

331598

258604

10

330648

297033

100

91199

288784

1000

27411

296357

5000

5943

288671

10000

2893

292397

25000

1041

285905

50000

536

293033

100000

224

285825

<a href="http://www.cppblog.com/feixuwu/archive/2010/07/10/119995.html" target="_blank">http://www.cppblog.com/feixuwu/archive/2010/07/10/119995.html</a>

一、連接配接數我本人也曾經在項目中用過select和epoll,對于select,感觸最深的是linux下select最大數目限制(windows 下似乎沒有限制),每個程序的select最多能處理FD_SETSIZE個FD(檔案句柄),

如果要處理超過1024個句柄,隻能采用多程序了。

常見的使用slect的多程序模型是這樣的: 一個程序專門accept,成功後将fd通過unix socket傳遞給子程序處理,父程序可以根據子程序負載分派。曾經用過1個父程序+4個子程序 承載了超過4000個的負載。

這種模型在我們當時的業務運作的非常好。epoll在連接配接數方面沒有限制,當然可能需要使用者調用API重制設定程序的資源限制。

二、IO差别1、select的實作這段可以結合linux核心代碼描述了,我使用的是2.6.28,其他2.6的代碼應該差不多吧。

先看看select:

select系統調用的代碼在fs/Select.c下,

asmlinkage long sys_select(int n, fd_set __user *inp, fd_set __user *outp,

            fd_set __user *exp, struct timeval __user *tvp)

{

    struct timespec end_time, *to = NULL;

    struct timeval tv;

    int ret;

    if (tvp) {

        if (copy_from_user(&amp;tv, tvp, sizeof(tv)))

            return -EFAULT;

        to = &amp;end_time;

        if (poll_select_set_timeout(to,

                tv.tv_sec + (tv.tv_usec / USEC_PER_SEC),

                (tv.tv_usec % USEC_PER_SEC) * NSEC_PER_USEC))

            return -EINVAL;

    }

    ret = core_sys_select(n, inp, outp, exp, to);

    ret = poll_select_copy_remaining(&amp;end_time, tvp, 1, ret);

    return ret;

前面是從使用者控件拷貝各個fd_set到核心空間,接下來的具體工作在core_sys_select中,

core_sys_select-&gt;do_select,真正的核心内容在do_select裡:

int do_select(int n, fd_set_bits *fds, struct timespec *end_time)

    ktime_t expire, *to = NULL;

    struct poll_wqueues table;

    poll_table *wait;

    int retval, i, timed_out = 0;

    unsigned long slack = 0;

    rcu_read_lock();

    retval = max_select_fd(n, fds);

    rcu_read_unlock();

    if (retval         return retval;

    n = retval;

    poll_initwait(&amp;table);

    wait = &amp;table.pt;

    if (end_time &amp;&amp; !end_time-&gt;tv_sec &amp;&amp; !end_time-&gt;tv_nsec) {

        wait = NULL;

        timed_out = 1;

    if (end_time &amp;&amp; !timed_out)

        slack = estimate_accuracy(end_time);

    retval = 0;

    for (;;) {

        unsigned long *rinp, *routp, *rexp, *inp, *outp, *exp;

        set_current_state(TASK_INTERRUPTIBLE);

        inp = fds-&gt;in; outp = fds-&gt;out; exp = fds-&gt;ex;

        rinp = fds-&gt;res_in; routp = fds-&gt;res_out; rexp = fds-&gt;res_ex;

        for (i = 0; i             unsigned long in, out, ex, all_bits, bit = 1, mask, j;

            unsigned long res_in = 0, res_out = 0, res_ex = 0;

            const struct file_operations *f_op = NULL;

            struct file *file = NULL;

            in = *inp++; out = *outp++; ex = *exp++;

            all_bits = in | out | ex;

            if (all_bits == 0) {

                i += __NFDBITS;

                continue;

            }

            for (j = 0; j                 int fput_needed;

                if (i &gt;= n)

                    break;

                if (!(bit &amp; all_bits))

                    continue;

                file = fget_light(i, &amp;fput_needed);

                if (file) {

                    f_op = file-&gt;f_op;

                    mask = DEFAULT_POLLMASK;

                    if (f_op &amp;&amp; f_op-&gt;poll)

                        mask = (*f_op-&gt;poll)(file, retval ? NULL : wait);

                    fput_light(file, fput_needed);

                    if ((mask &amp; POLLIN_SET) &amp;&amp; (in &amp; bit)) {

                        res_in |= bit;

                        retval++;

                    }

                    if ((mask &amp; POLLOUT_SET) &amp;&amp; (out &amp; bit)) {

                        res_out |= bit;

                    if ((mask &amp; POLLEX_SET) &amp;&amp; (ex &amp; bit)) {

                        res_ex |= bit;

                }

            if (res_in)

                *rinp = res_in;

            if (res_out)

                *routp = res_out;

            if (res_ex)

                *rexp = res_ex;

            cond_resched();

        }

        if (retval || timed_out || signal_pending(current))

            break;

        if (table.error) {

            retval = table.error;

        /*

         * If this is the first loop and we have a timeout

         * given, then we convert to ktime_t and set the to

         * pointer to the expiry value.

         */

        if (end_time &amp;&amp; !to) {

            expire = timespec_to_ktime(*end_time);

            to = &amp;expire;

        if (!schedule_hrtimeout_range(to, slack, HRTIMER_MODE_ABS))

            timed_out = 1;

    __set_current_state(TASK_RUNNING);

    poll_freewait(&amp;table);

    return retval;

上面的代碼很多,其實真正關鍵的代碼是這一句:

mask = (*f_op-&gt;poll)(file, retval ? NULL : wait); 

這個是調用檔案系統的 poll函數,不同的檔案系統poll函數自然不同,由于我們這裡關注的是tcp連接配接,而socketfs的注冊在 net/Socket.c裡。

register_filesystem(&amp;sock_fs_type); 

socket檔案系統的函數也是在net/Socket.c裡:

static const struct file_operations socket_file_ops = {

    .owner =    THIS_MODULE,

    .llseek =    no_llseek,

    .aio_read =    sock_aio_read,

    .aio_write =    sock_aio_write,

    .poll =        sock_poll,

    .unlocked_ioctl = sock_ioctl,

#ifdef CONFIG_COMPAT

    .compat_ioctl = compat_sock_ioctl,

#endif

    .mmap =        sock_mmap,

    .open =        sock_no_open,    /* special open code to disallow open via /proc */

    .release =    sock_close,

    .fasync =    sock_fasync,

    .sendpage =    sock_sendpage,

    .splice_write = generic_splice_sendpage,

    .splice_read =    sock_splice_read,

};

從sock_poll跟随下去,

最後可以到 net/ipv4/tcp.c的

unsigned int tcp_poll(struct file *file, struct socket *sock, poll_table *wait) 

這個是最終的查詢函數,

也就是說select 的核心功能是調用tcp檔案系統的poll函數,不停的查詢,如果沒有想要的資料,主動執行一次排程(防止一直占用cpu),直到有一個連接配接有想要的消息為止。

從這裡可以看出select的執行方式基本就是不同的調用poll,直到有需要的消息為止,如果select 處理的socket很多,這其實對整個機器的性能也是一個消耗。

2、epoll的實作epoll的實作代碼在 fs/EventPoll.c下,

由于epoll涉及到幾個系統調用,這裡不逐個分析了,僅僅分析幾個關鍵點,

第一個關鍵點在

static int ep_insert(struct eventpoll *ep, struct epoll_event *event,

             struct file *tfile, int fd) 

這是在我們調用sys_epoll_ctl 添加一個被管理socket的時候調用的函數,關鍵的幾行如下:

epq.epi = epi;

    init_poll_funcptr(&amp;epq.pt, ep_ptable_queue_proc);

    /*

     * Attach the item to the poll hooks and get current event bits.

     * We can safely use the file* here because its usage count has

     * been increased by the caller of this function. Note that after

     * this operation completes, the poll callback can start hitting

     * the new item.

     */

    revents = tfile-&gt;f_op-&gt;poll(tfile, &amp;epq.pt); 

這裡也是調用檔案系統的poll函數,不過這次初始化了一個結構,這個結構會帶有一個poll函數的callback函數:ep_ptable_queue_proc,

在調用poll函數的時候,會執行這個callback,這個callback的功能就是将目前程序添加到 socket的等待程序上。

static void ep_ptable_queue_proc(struct file *file, wait_queue_head_t *whead,

                 poll_table *pt)

    struct epitem *epi = ep_item_from_epqueue(pt);

    struct eppoll_entry *pwq;

    if (epi-&gt;nwait &gt;= 0 &amp;&amp; (pwq = kmem_cache_alloc(pwq_cache, GFP_KERNEL))) {

        init_waitqueue_func_entry(&amp;pwq-&gt;wait, ep_poll_callback);

        pwq-&gt;whead = whead;

        pwq-&gt;base = epi;

        add_wait_queue(whead, &amp;pwq-&gt;wait);

        list_add_tail(&amp;pwq-&gt;llink, &amp;epi-&gt;pwqlist);

        epi-&gt;nwait++;

    } else {

        /* We have to signal that an error occurred */

        epi-&gt;nwait = -1;

}  

注意到參數 whead 實際上是 sk-&gt;sleep,其實就是将目前程序添加到sk的等待隊列裡,當該socket收到資料或者其他事件觸發時,會調用

sock_def_readable 或者sock_def_write_space 通知函數來喚醒等待程序,這2個函數都是在socket建立的時候填充在sk結構裡的。

從前面的分析來看,epoll确實是比select聰明的多、輕松的多,不用再苦哈哈的去輪詢了。

繼續閱讀