select、poll、epoll的比较

时间  2019-11-17
标签 select poll epoll 比较 繁體版
原文   原文链接


 

 linux提供了select、poll、epoll接口来实现IO复用，三者的原型以下所示，本文从参数、实现、性能等方面对三者进行对比。 php

 

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

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

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

 

select、poll、epoll_wait参数及实现对比 数组

1．  select的第一个参数nfds为fdset集合中最大描述符值加1，fdset是一个位数组，其大小限制为__FD_SETSIZE（1024），位数组的每一位表明其对应的描述符是否须要被检查。 less

 

select的第二三四个参数表示须要关注读、写、错误事件的文件描述符位数组，这些参数既是输入参数也是输出参数，可能会被内核修改用于标示哪些描述符上发生了关注的事件。因此每次调用select前都须要从新初始化fdset。 socket

 

timeout参数为超时时间，该结构会被内核修改，其值为超时剩余的时间。 async

 

select对应于内核中的sys_select调用，sys_select首先将第二三四个参数指向的fd_set拷贝到内核，而后对每一个被SET的描述符调用进行poll，并记录在临时结果中（fdset），若是有事件发生，select会将临时结果写到用户空间并返回；当轮询一遍后没有任何事件发生时，若是指定了超时时间，则select会睡眠到超时，睡眠结束后再进行一次轮询，并将临时结果写到用户空间，而后返回。 tcp

 

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

 

http://www.cppblog.com/feixuwu/archive/2010/07/10/119995.html

 

1、链接数

我本人也曾经在项目中用过select和epoll,对于select，感触最深的是linux下select最大数目限制(windows 下彷佛没有限制)，每一个进程的select最多能处理FD_SETSIZE个FD(文件句柄)，
若是要处理超过1024个句柄，只能采用多进程了。
常见的使用slect的多进程模型是这样的： 一个进程专门accept，成功后将fd经过unix socket传递给子进程处理，父进程能够根据子进程负载分派。曾经用过1个父进程+4个子进程 承载了超过4000个的负载。
这种模型在咱们当时的业务运行的很是好。epoll在链接数方面没有限制，固然可能须要用户调用API重现设置进程的资源限制。

2、IO差异

一、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(&tv, tvp, sizeof(tv)))
            return -EFAULT;

        to = &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(&end_time, tvp, 1, ret);

    return ret;
} 
前面是从用户控件拷贝各个fd_set到内核空间，接下来的具体工做在core_sys_select中，
core_sys_select->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 < 0)
        return retval;
    n = retval;

    poll_initwait(&table);
    wait = &table.pt;
    if (end_time && !end_time->tv_sec && !end_time->tv_nsec) {
        wait = NULL;
        timed_out = 1;
    }

    if (end_time && !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->in; outp = fds->out; exp = fds->ex;
        rinp = fds->res_in; routp = fds->res_out; rexp = fds->res_ex;

        for (i = 0; i < n; ++rinp, ++routp, ++rexp) {
            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 < __NFDBITS; ++j, ++i, bit <<= 1) {
                int fput_needed;
                if (i >= n)
                    break;
                if (!(bit & all_bits))
                    continue;
                file = fget_light(i, &fput_needed);
                if (file) {
                    f_op = file->f_op;
                    mask = DEFAULT_POLLMASK;
                    if (f_op && f_op->poll)
                        mask = (*f_op->poll)(file, retval ? NULL : wait);
                    fput_light(file, fput_needed);
                    if ((mask & POLLIN_SET) && (in & bit)) {
                        res_in |= bit;
                        retval++;
                    }
                    if ((mask & POLLOUT_SET) && (out & bit)) {
                        res_out |= bit;
                        retval++;
                    }
                    if ((mask & POLLEX_SET) && (ex & bit)) {
                        res_ex |= bit;
                        retval++;
                    }
                }
            }
            if (res_in)
                *rinp = res_in;
            if (res_out)
                *routp = res_out;
            if (res_ex)
                *rexp = res_ex;
            cond_resched();
        }
        wait = NULL;
        if (retval || timed_out || signal_pending(current))
            break;
        if (table.error) {
            retval = table.error;
            break;
        }

        /*
         * 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 && !to) {
            expire = timespec_to_ktime(*end_time);
            to = &expire;
        }

        if (!schedule_hrtimeout_range(to, slack, HRTIMER_MODE_ABS))
            timed_out = 1;
    }
    __set_current_state(TASK_RUNNING);

    poll_freewait(&table);

    return retval;
} 
上面的代码不少，其实真正关键的代码是这一句:
mask = (*f_op->poll)(file, retval ? NULL : wait); 
这个是调用文件系统的 poll函数，不一样的文件系统poll函数天然不一样，因为咱们这里关注的是tcp链接，而socketfs的注册在 net/Socket.c里。
register_filesystem(&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不少，这其实对整个机器的性能也是一个消耗。

二、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(&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->f_op->poll(tfile, &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->nwait >= 0 && (pwq = kmem_cache_alloc(pwq_cache, GFP_KERNEL))) {         init_waitqueue_func_entry(&pwq->wait, ep_poll_callback);         pwq->whead = whead;         pwq->base = epi;         add_wait_queue(whead, &pwq->wait);         list_add_tail(&pwq->llink, &epi->pwqlist);         epi->nwait++;     } else {         /* We have to signal that an error occurred */         epi->nwait = -1;     } }   注意到参数 whead 其实是 sk->sleep，其实就是将当前进程添加到sk的等待队列里，当该socket收到数据或者其余事件触发时，会调用 sock_def_readable 或者sock_def_write_space 通知函数来唤醒等待进程，这2个函数都是在socket建立的时候填充在sk结构里的。 从前面的分析来看，epoll确实是比select聪明的多、轻松的多，不用再苦哈哈的去轮询了。
相关文章
相关标签/搜索
每日一句
    每一个你不满意的现在，都有一个你没有努力的曾经。
本站公众号
   欢迎关注本站公众号,获取更多信息
联系我们 最近搜索 最新文章 沪ICP备13005482号-10 MyBatis教程 SQL 教程 MySQL教程 Java 教程 Thymeleaf 教程 Hibernate教程 Spring教程 Redis教程