linux select 内核的实现,linux内核selectpoll，epoll实现与区别.pdf
linux内内核核select/poll，，epoll实实现现与与区区别别
下面文章在这段时间内研究 select/poll/epoll的内核实现的一点心得体会：
select，poll，epoll都是多路 用IO 的函数，简单说就是在一个线程里，可以同时处理多个文件描述符的读写。
select/poll的实现很类似，epoll是从select/poll扩展而来，主要是为了解决select/poll天生的缺陷。
epoll在内核版本2.6 以上才出现的新的函数，而他们在linux 内核中的实现都是十分相似。
这三种函数都需要设备驱动提供poll回调函数，对于套接字而言，他们是 tcp_poll，udp_poll和datagram_poll;
对于自己开发的设备驱动而言，是自己实现的poll接口函数。
select实现 (2.6 的内核，其他版本的内核，应该都相差不多)
应用程序调用select，进入内核调用sys_select，做些简单初始化工作，接着进入 core_sys_select，
此函数主要工作是把描述符集合从用户空间 制到内核空间， 最终进入do_select，完成其主要的功能。
do_select里，调用 poll_initwait，主要工作是注册poll_wait的回调函数为__pollwait，
当在设备驱动的poll回调函数里调用poll_wait，其实就是调用__pollwait，
__pollwait的主要工作是把当前进程挂载到等待队列里，当等待的事件到来就会唤醒此进程。
接着执行for循环，循环里首先遍历每个文件描述符，调用对应描述符的poll回调函数，检测是否就绪，
遍历完所有描述符之后，只要有描述符处于就绪状态,信号中断, 出错或者超时，就退出循环，
否则会调用schedule_xxx 函数，让当前进程睡眠，一直到超时或者有描述符就绪被唤醒。
接着又会再次遍历每个描述符，调用poll再次检测。
如此循环，直到符合条件才会退出。
以下是 2.6.3 内核的有关select函数的部分片段：
他他们们调调用用关关系系：：
select --> sys_select --> core_sys_select --> do_select
int do_select(int n, fd_set_bits *fds, struct timespec *end_time)
{
ktime_t expire, *to = NULL;
struct poll_wqueues t ble;
poll_t ble *w it;
int retv l, i, timed_out = 0;
unsigned long sl ck = 0;
///这里为了获得集合中的最大描述符，这样可减少循环中遍历的次数。
///也就是为什么linux中select第一个参数为何如此重要了
rcu_re d_lock();
retv l = m x_select_fd(n, fds);
rcu_re d_unlock();
if (retv l < 0)
return retv l;
n = retv l;
初始化 poll_t ble结构，其中一个重要任务是把 __pollw it函数地址赋值给它，
poll_initw it(&t ble);
w it = &t ble.pt;
if (end_time && !end_time->tv_sec && !end_time->tv_nsec) {
w it = NULL;
timed_out = 1;
}
if (end_time && !timed_out)
sl ck = estim te_ ccur cy(end_time);
retv l = 0;
///主循环，将会在这里完成描述符的状态轮训
for (;;) {
unsigned long *rinp, *routp, *rexp, *inp, *outp, *exp;
inp = fds->in; outp = fds->out; exp = fds->ex;
rinp = fds->res_in; routp = fds->re