I/O多路转接之select和非阻塞IO

最新推荐文章于 2023-12-20 07:00:00 发布

昨天；明天。今天。

最新推荐文章于 2023-12-20 07:00:00 发布

阅读量554

点赞数 1

分类专栏： Linux 文章标签： linux

本文链接：https://blog.csdn.net/Dingyuan0/article/details/129800226

版权

Linux 专栏收录该内容

43 篇文章 0 订阅

订阅专栏

文章目录

1. 非阻塞IO
- 1-1 fcntl
- 1-2 实现函数SetNoBlock
2. I/O多路转接之select

1. 非阻塞IO

1-1 fcntl

一个文件描述符, 默认都是阻塞IO.

函数原型如下：

 #include <unistd.h>
 #include <fcntl.h>
 
 fcntl - manipulate file descriptor

传入的cmd的值不同, 后面追加的参数也不相同(可变参数列表)

fcntl函数有5种功能：

参数	功能
cmd=F_DUPFD	复制一个现有的描述符
cmd=F_GETFD或F_SETFD	获得/设置文件描述符标记
cmd=F_GETFL或F_SETFL	获得/设置文件状态标记
cmd=F_GETOWN或F_SETOWN	获得/设置异步I/O所有权
cmd=F_GETLK,F_SETLK或F_SETLKW	获得/设置记录锁

我们此处只是用第三种功能, 获取/设置文件状态标记, 就可以将一个文件描述符设置为非阻塞。

1-2 实现函数SetNoBlock

代码链接
轮询方式读取标准输入

void SetNoBlock(int fd)
{
    int f1 = fcntl(fd, F_GETFL);    //  获取状态标记位 --- 位图
    if(f1<0)
    {
        perror("fcntl");
        return;
    }
    fcntl(fd, F_SETFL, f1 | O_NONBLOCK);    //  设置状态标记位
}

使用F_GETFL将当前的文件描述符的属性取出来(这是一个位图).
使用F_SETFL将文件描述符设置回去, 设置回去的同时, 加上一个O_NONBLOCK参数。

在这里插入图片描述

2. I/O多路转接之select

1-1 初识select

系统提供select函数来实现多路复用输入/输出模型

select系统调用是用来让我们的程序监视多个文件描述符的状态变化的;
程序会停在select这里等待，直到被监视的文件描述符有一个或多个发生了状态改变

1-2 select函数原型

#include <sys/select.h>

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

参数解释:

参数nfds是需要监视的最大的文件描述符值+1;
rdset,wrset,exset分别对应于需要检测的可读文件描述符的集合、可写文件描述符的集合、异常文件描述符的集合;
- 这些参数都是输入输出型参数，也就是说；
- 例如：readfds 读集合我们设置成功了，知道有一个或多个文件就绪它就返回；不一定我们设置的所有文件全部就绪完成，所有我们需要不断的重新设置。
参数timeout为结构timeval，用来设置select()的等待时间.

参数timeout取值：

NULL：则表示select（）没有timeout， select将一直被阻塞，直到某个文件描述符上发生了事件;
0：仅检测描述符集合的状态，然后立即返回，并不等待外部事件的发生。
特定的时间值：如果在指定的时间段里没有事件发生，select将超时返回。

关于fd_set结构
在这里插入图片描述

其实这个结构就是一个整数数组, 更严格的说, 是一个 “位图”. 使用位图中对应的位来表示要监视的文件描述符。

提供了一组操作fd_set的接口, 来比较方便的操作位图

函数接口	功能
void FD_CLR(int fd, fd_set *set);	用来清除描述词组set中相关fd 的位
int FD_ISSET(int fd, fd_set *set);	用来测试描述词组set中相关fd 的位是否为真
void FD_SET(int fd, fd_set *set);	用来设置描述词组set中相关fd的位
void FD_ZERO(fd_set *set);	用来清除描述词组set的全部位

关于timeval结构

timeval结构用于描述一段时间长度，如果在这个时间内，需要监视的描述符没有事件发生则函数返回，返回值为0

在这里插入图片描述
函数返回值：

执行成功则返回文件描述词状态已改变的个数；
如果返回0代表在描述词状态改变前已超过timeout时间，没有返回；
当有错误发生时则返回-1，错误原因存于errno，此时参数readfds， writefds, exceptfds和timeout的值变成不可预测。

错误值可能为：

EBADF 文件描述词为无效的或该文件已关闭
EINTR 此调用被信号所中断
EINVAL 参数n 为负值。
ENOMEM 核心内存不足

常见的程序片段如下:

fs_set readset；
FD_SET(fd,&readset);
select(fd+1,&readset,NULL,NULL,NULL);
if(FD_ISSET(fd,readset)){……}

1-3 理解select执行过程

理解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被清空。

1-4 socket就绪条件

读就绪

socket内核中, 接收缓冲区中的字节数, 大于等于低水位标记SO_RCVLOWAT. 此时可以无阻塞的读该文件
描述符, 并且返回值大于0;
socket TCP通信中, 对端关闭连接, 此时对该socket读, 则返回0;
监听的socket上有新的连接请求;
socket上有未处理的错误;
写就绪
socket内核中, 发送缓冲区中的可用字节数(发送缓冲区的空闲位置大小), 大于等于低水位标记 SO_SNDLOWAT, 此时可以无阻塞的写, 并且返回值大于0;
socket的写操作被关闭(close或者shutdown). 对一个写操作被关闭的socket进行写操作, 会触发SIGPIPE
信号;
socket使用非阻塞connect连接成功或失败之后;
socket上有未读取的错误;

1-5 select的特点

可监控的文件描述符个数取决与sizeof(fd_set)的值. 我这边服务器上sizeof(fd_set)＝ 128，每bit表示一个文件描述符，则我服务器上支持的最大文件描述符是128*8=1024。
将fd加入select监控集的同时，还要再使用一个数据结构array保存放到select监控集中的fd,
一是用于再select 返回后， array作为源数据和fd_set进行FD_ISSET判断。
二是select返回后会把以前加入的但并无事件发生的fd清空，则每次开始select前都要重新从array取得fd逐一加入(FD_ZERO最先)，扫描array的同时取得fd最大值maxfd，用于select的第一个参数。