简单理解selcet模型

前期知识:
在开始接触select之前，你需要先对IO的同步，异步，阻塞，非阻塞有个基本的了解，知道什么是IO多路复用。下面这篇文章可以帮助你快速区分这几种模型：IO - 同步，异步，阻塞，非阻塞 （亡羊补牢篇）.

---

select的用途:
在一段指定的时间内,监听用户感兴趣的文件描述符上的可读,可写和异常事件.

---

select的函数格式:

#include <sys/select.h>
int select(int maxfdp,fd_set *readfds,fd_set *writefds,fd_set *errorfds,struct timeval *timeout);

参数讲解:

1. maxfdp参数指定被监听的文件描述符的总数.它通常被设置位select监听的所有文件描述符中的最大值加1,因为文件描述符是从0开始计数的.

2. readfds,writefds和errorfds参数分别指向可读,可写和异常等事件对呀的文件描述符集合.应用程序调用select函数时,通过这3个参数传入自己感兴趣的文件描述符.select调用返回时,内核将修改他们来通知应用程序哪些文件描述符已经就绪.这3个参数时fd_set结构指针类型.
   fd_set结构体的定义如下:

#include <typesizes.h>
#define  __FD_SETSIZE 1024

#include <sys/select.h>
#define  FD_SETSIZE __FD_SETSIZE
typedef long int __fd_mask;
#undef __NFDBITS
#define __NFDBITS ( 8 * (int) sizeof (__fd_mask) )
typedef struct
{
#ifdef __USE_XOPEN
 		__fd_mask fds_bits[__FD_SETSIZE / __NFDBITS ];
#define __FDS_BITS(set) ((set)->fds_bits)
#else
		__fd_mask __fds_bits[ __FD_SETSIZE / __NFDBITS ];
#define __FDS_BITS(set) ((set)->__fds_bits)
#endif
}fd_set;		 		

由以上定义可见,fd_set结构体仅包含一个整数数组,该数组的每个元素的每一位(bit)标记一个文件描述符.fd_set能容纳的文件描述符数量由FD_SETSIZE指定,这就限制了select能同时处理的文件描述符的总量.

由于位操作过于繁琐,我们应该使用下面的一系列宏来访问fd_set结构体中的位:

#include <sys/select.h>
FD_ZERO (fd_set* fdset);                /* 清空fdset与所有文件句柄的联系 */
FD_SET (fd_set* fdset);                 /* 建立文件句柄fd与fdset的联系 */
FD_CLR (fd_set* fdset);                 /* 清除文件句柄fd与fdset的联系 */
int FD_ISSET (int fd,fd_set* fdset);    /* 检查fdset联系的文件句柄fd是否可读写，>0表示可读写 */

3. timeout参数用来设置select函数的超时时间.它是一个timeval结构类型的指针,采用指针参数是因为内核将修改它以告诉应用程序select等待了多久.不过我们不能完全信任select调用返回后的timeout值,比如调用失败时timeout值时不确定的.

timeval结构体的定义:

struct timeval
{
	long	tv_sec;   /* 秒数 */
	long    tv_usec;  /* 微秒数 */
};

由以上定义可见,select给我们提供了一个微秒级的定时方式.如果给timeout变量的tvsec成员和tv_usec成员都传递0.则select立即返回.如果给timeout传递NULL,则select将一直阻塞,直到某个文件描述符就绪.

select成功时返回就绪(可读,可写和异常)文件描述符的总数.如果在超时时间内没有任何文件描述符就绪,select将返回0.selcet失败时返回-1 并设置errno.如果在selecet等待期间.程序收到信号,则selcet立即返回 - 1 ,并设置errno 为EINTR.

---

简单理解selcet模型:

理解select模型的关键在于理解fd_set,为说明方便，取fd_set长度为1字节，fd_set中的每一bit可以对应一个文件描述符fd。则1字节长的fd_set最大可以对应8个fd。

（1）执行fd_set set; FD_ZERO(&set);则set用位表示是0000,0000。

（2）若fd＝5,执行FD_SET(fd,&set);后set变为0001,0000(第5位置为1)

（3）若再加入fd＝2，fd=1,则set变为0001,0011

（4）执行select(6,&set,0,0,0)阻塞等待

（5）若fd=1,fd=2上都发生可读事件，则select返回，此时set变为0000,0011。注意：没有事件发生的fd=5被清空。

所以，我们可以得到select模型的特点：
（1） 文件描述符个数有限，一般来说这个数目和系统内存关系很大。select使用位域的方式来传递关心的文件描述符，位域就有最大长度。select使用位域的方式传回就绪的文件描述符，调用者需要循环遍历每一个位判断是否就绪，当文件描述符个数很多，但是空闲的文件描述符大大多于就绪的文件描述符的时候，效率很低。

（2） 将fd加入select监控集的同时，还要再使用一个数据结构array保存放到select监控集中的fd，一是用于再select 返回后，array作为源数据和fd_set进行FD_ISSET判断。二是select返回后会把以前加入的但并无事件发生的fd清空，则每次开始 select前都要重新从array取得fd逐一加入（FD_ZERO最先），扫描array的同时取得fd最大值maxfd，用于select的第一个 参数。

（3） 可见select模型必须在select前循环array（加fd，取maxfd），select返回后循环array（FD_ISSET判断是否有时间发生）。

---

为什么 select 慢

1. 在第一次所有监听都没有事件时，调用 select 都需要把进程挂到所有监听的文件描述符一次。

2. 有事件到来时，不知道是哪些文件描述符有数据可以读写，需要把所有的文件描述符都轮询一遍才能知道。

3. 通知事件到来给用户进程，需要把整个 bitmap 拷到用户空间，让用户空间去查询。

参考资料:Linux高性能服务器编程,select用法&原理详解（源码剖析）
,