使用fgets方法等待标准输入,没发在套接字有数据时读出数据,可以使用read方法等待套接字有数据返回,但这样做没法在标准输入有数据情况下,读入数据并发给对方。
I/O 多路复用可以解决上面场景。把标准输入、套接字都看作I/O的一路,多路复用的意思,就是在任何一路有“事件”发生的情况下,通知应用程序去处理相应的I/O。
使用 I/O 复用以后,如果标准输入有数据,立即从标准输入读入数据,通过套接字发送出去;如果套接字有数据可以读,立即可以读出数据。
I/O事件的类型:
- 标准输入文件描述符准备好可以读。
- 监听套接字准备好,新的连接已经建立成功。
- 已连接套接字准备好可以写。
- 如果一个 I/O 事件等待超过了 10 秒,发生了超时事件。
select使用方法
声明
int select(int maxfd, fd_set *readset, fd_set *writeset, fd_set *exceptset, const struct timeval *timeout);
- 返回:若有就绪描述符则为其数目,若超时则为0,若出错则为-1
- maxfd 表示的是待测试的描述符基数,它的值是待测试的最大描述符加 1。比如现在的 select 待测试的描述符集合是{0,1,4},那么 maxfd 就是 5。
- 读描述符集合 readset、写描述符集合 writeset 和异常描述符集合 exceptset,这三个分别通知内核,在哪些描述符上检测数据可以读,可以写和有异常发生。
那么如何设置这些描述符集合呢?以下的宏:
void FD_ZERO(fd_set *fdset);
void FD_SET(int fd, fd_set *fdset);
void FD_CLR(int fd, fd_set *fdset);
int FD_ISSET(int fd, fd_set *fdset);
下面一个向量代表了一个描述符集合,其中,这个向量的每个元素都是二机制数中的 0 或者 1。
a[maxfd-1], ..., a[1], a[0]
我们按照这样的思路来理解这些宏:
- FD_ZERO 用来将这个向量的所有元素都设置成 0;
- FD_SET 用来把对应套接字 fd 的元素,a[fd] 设置成 1;
- FD_CLR 用来把对应套接字 fd 的元素,a[fd] 设置成 0;
- FD_ISSET 对这个向量进行检测,判断出对应套接字的元素 a[fd] 是 0 还是 1。
其中 0 代表不需要处理,1 代表需要处理。
很多系统是用一个整型数组来表示一个描述字集合的,一个 32 位的整型数可以表示 32 个描述字,例如第一个整型数表示 0-31 描述字,第二个整型数可以表示 32-63 描述字,以此类推。
理解为什么描述字集合{0,1,4},对应的 maxfd 是 5,而不是 4,就比较方便了。
因为这个向量对应的是下面这样的:
a[4],a[3],a[2],a[1],a[0]
待测试的描述符个数显然是 5, 而不是 4。
三个描述符集合中的每一个都可以设置成空,这样就表示不需要内核进行相关的检测。
timeval 结构体时间:
struct timeval {
long tv_sec; /* seconds */
long tv_usec; /* microseconds */
};
- 第一个可能是设置成空 (NULL),表示如果没有 I/O 事件发生,则 select 一直等待下去。
- 第二个可能是设置一个非零的值,这个表示等待固定的一段时间后从 select 阻塞调用中返回。
- 第三个可能是将 tv_sec 和 tv_usec 都设置成 0,表示根本不等待,检测完毕立即返回。这种情况使用得比较少。
套接字描述符就绪条件
当我们说 select 测试返回,某个套接字准备好可读,表示什么样的事件发生呢?
- 第一种情况是套接字接收缓冲区有数据可以读,使用 read 函数去执行读操作,肯定不会被阻塞,而是会直接读到这部分数据。
- 第二种情况是对方发送了 FIN,使用 read 函数执行读操作,不会被阻塞,直接返回 0。
- 第三种情况是针对一个监听套接字而言的,有已经完成的连接建立,此时使用 accept 函数去执行不会阻塞,直接返回已经完成的连接。
- 第四种情况是套接字有错误待处理,使用 read 函数去执行读操作,不阻塞,且返回 -1。
select 检测套接字可写,完全是基于套接字本身的特性来说的,具体来说有以下几种情况。
- 套接字发送缓冲区足够大,如果使用非阻塞套接字进行 write 操作,将不会被阻塞,直接返回。
- 连接的写半边已经关闭,如果继续进行写操作将会产生 SIGPIPE 信号。
- 套接字上有错误待处理,使用 write 函数去执行读操作,不阻塞,且返回 -1。
总结成一句话就是,内核通知我们套接字可以往里写了,使用 write 函数就不会阻塞。
总结
- 描述符基数是当前最大描述符 +1;
- 每次 select 调用完成之后,记得要重置待测试集合。