fd_set 用法

本文详细介绍了select()函数的原理与使用方法,包括fd_set类型的操作与select函数的接口参数、返回值等关键信息,并通过实例展示了如何利用select()函数测试文件描述字的可读性与可写性。
 

select()函数主要是建立在fd_set类型的基础上的。fd_set(它比较重要所以先介绍一下)是一组文件描述字(fd)的集合,它用一位来表示一个fd(下面会仔细介绍),对于fd_set类型通过下面四个宏来操作: 

    fd_set set;

    FD_ZERO(&set);       /* 将set清零使集合中不含任何fd*/

    FD_SET(fd, &set);    /* 将fd加入set集合 */

    FD_CLR(fd, &set);    /* 将fd从set集合中清除 */

    FD_ISSET(fd, &set);  /* 测试fd是否在set集合中*/      

过去,一个fd_set通常只能包含<32的fd(文件描述字),因为fd_set其实只用了一个32位矢量来表示fd;现在,UNIX系统通常会在头文件<sys/select.h>中定义常量FD_SETSIZE,它是数据类型fd_set的描述字数量,其值通常是1024,这样就能表示<1024的fd。根据fd_set的位矢量实现,我们可以重新理解操作fd_set的四个宏: 

    fd_set set;

FD_ZERO(&set);      /*将set的所有位置0,如set在内存中占8位则将set置为

00000000*/

FD_SET(0, &set);    /* 将set的第0位置1,如set原来是00000000,则现在变为10000000,这样fd==1的文件描述字就被加进set中了 */

FD_CLR(4, &set);    /*将set的第4位置0,如set原来是10001000,则现在变为10000000,这样fd==4的文件描述字就被从set中清除了 */ 

FD_ISSET(5, &set);  /* 测试set的第5位是否为1,如果set原来是10000100,则返回非零,表明fd==5的文件描述字在set中;否则返回0*/ 

―――――――――――――――――――――――――――――――――――――――

注意fd的最大值必须<FD_SETSIZE。

――――――――――――――――――――――――――――――――――――――― 

select函数的接口比较简单:

    int select(int nfds, fd_set *readset, fd_set *writeset,

fd_set* exceptset, struct timeval *timeout); 

功能:

测试指定的fd可读?可写?有异常条件待处理?     

参数:

nfds    

需要检查的文件描述字个数(即检查到fd_set的第几位),数值应该比三组fd_set中所含的最大fd值更大,一般设为三组fd_set中所含的最大fd值加1(如在readset,writeset,exceptset中所含最大的fd为5,则nfds=6,因为fd是从0开始的)。设这个值是为提高效率,使函数不必检查fd_set的所有1024位。

readset   

     用来检查可读性的一组文件描述字。

writeset

     用来检查可写性的一组文件描述字。

exceptset

     用来检查是否有异常条件出现的文件描述字。(注:错误不包括在异常条件之内)

timeout

有三种可能:

1.        timeout=NULL(阻塞:直到有一个fd位被置为1函数才返回)

2.        timeout所指向的结构设为非零时间(等待固定时间:有一个fd位被置为1或者时间耗尽,函数均返回)

3.        timeout所指向的结构,时间设为0(非阻塞:函数检查完每个fd后立即返回) 

返回值:     

返回对应位仍然为1的fd的总数。 

Remarks:

三组fd_set均将某些fd位置0,只有那些可读,可写以及有异常条件待处理的fd位仍然为1。

使用select函数的过程一般是:

先调用宏FD_ZERO将指定的fd_set清零,然后调用宏FD_SET将需要测试的fd加入fd_set,接着调用函数select测试fd_set中的所有fd,最后用宏FD_ISSET检查某个fd在函数select调用后,相应位是否仍然为1。 

以下是一个测试单个文件描述字可读性的例子:

     int isready(int fd)

     {

         int rc;

         fd_set fds;

         struct timeval tv;    

         FD_ZERO(&fds);

         FD_SET(fd,&fds);

         tv.tv_sec = tv.tv_usec = 0;    

      rc = select(fd+1, &fds, NULL, NULL, &tv);

         if (rc < 0)   //error

           return -1;    

         return FD_ISSET(fd,&fds) ? 1 : 0;

     }

     

下面还有一个复杂一些的应用:

//这段代码将指定测试Socket的描述字的可读可写性,因为Socket使用的也是fd

uint32 SocketWait(TSocket *s,bool rd,bool wr,uint32 timems)    

{

     fd_set rfds,wfds;

#ifdef _WIN32

     TIMEVAL tv;

#else

     struct timeval tv;

#endif   /* _WIN32 */ 

     FD_ZERO(&rfds);

     FD_ZERO(&wfds); 

     if (rd)     //TRUE

          FD_SET(*s,&rfds);   //添加要测试的描述字 

     if (wr)     //FALSE

          FD_SET(*s,&wfds); 

     tv.tv_sec=timems/1000;     //second

     tv.tv_usec=timems%1000;     //ms 

     for (;;) //如果errno==EINTR,反复测试缓冲区的可读性

          switch(select((*s)+1,&rfds,&wfds,NULL,

              (timems==TIME_INFINITE?NULL:&tv)))  //测试在规定的时间内套接口接收缓冲区中是否有数据可读

         {                                              //0--超时,-1--出错

         case 0:     /* time out */

              return 0; 

         case (-1):    /* socket error */

              if (SocketError()==EINTR)

                   break;              

              return 0; //有错但不是EINTR 

          default:

              if (FD_ISSET(*s,&rfds)) //如果s是fds中的一员返回非0,否则返回0

                   return 1;

              if (FD_ISSET(*s,&wfds))

                   return 2;

              return 0;

         };

}

<think>我们之前已经详细解析过FD_SET宏的功能和实现,现在用户直接询问"FD_SET功能",我们需要简明扼要地总结其核心功能和使用方法,然后按照要求提出相关问题。 ### 回答结构: 1. 功能说明:一句话概括FD_SET的作用。 2. 使用场景:在什么情况下使用FD_SET。 3. 参数说明:解释宏的两个参数。 4. 注意事项:使用时的关键点。 ### 注意:由于之前已经详细解释过,这里可以精简,但必须包含核心信息。 ### 回答: ### `FD_SET` 宏功能详解 #### 1. **核心功能** - 将指定的文件描述符添加到文件描述符集合中,用于`select()`系统调用监控该描述符的I/O活动。 #### 2. **使用场景** - 与`select()`、`FD_ZERO`、`FD_CLR`、`FD_ISSET`配合使用,实现多路I/O复用。 - 典型应用:同时监控多个套接字(sockets)、管道(pipes)或标准输入输出的可读/可写状态。 #### 3. **参数说明** ```c FD_SET(int fd, fd_set *set); ``` - `fd`: 要加入集合的文件描述符(整数) - `set`: 指向`fd_set`类型集合的指针(通过`FD_ZERO`初始化) #### 4. **关键注意事项** - **描述符上限**:集合最大容量由`FD_SETSIZE`决定(通常1024),超出会导致未定义行为 - **线程安全**:非原子操作,多线程环境需同步 - **重复添加**:同一描述符多次添加无副作用(幂等) - **集合初始化**:使用前必须用`FD_ZERO`清空集合 §§相关问题§§ 1. 为什么`FD_SET`使用位图(bitmap)而不是链表或数组来存储文件描述符? 2. 在使用`select()`之前,除了`FD_SET`还需要进行哪些必要的设置步骤? 3. 如何安全地处理超过`FD_SETSIZE`限制的文件描述符? 4. `FD_ISSET`宏是如何检测文件描述符是否在集合中的?请解释其实现原理。 5. 在现代高性能网络编程中,为什么`epoll`或`kqueue`比`select`+`FD_SET`更受欢迎? </think> ### `FD_SET` 功能详解 #### 1. **核心功能** - **核心作用**:将指定文件描述符(File Descriptor)添加到监控集合中 - **使用场景**:配合 `select()` / `pselect()` 系统调用实现 I/O 多路复用 - **操作对象**:`fd_set` 类型(本质是位图结构) #### 2. **工作流程** ```mermaid graph TD A[创建fd_set] --> B[FD_ZERO初始化] B --> C[FD_SET添加描述符] C --> D[select监控描述符] D --> E[FD_ISSET检测就绪状态] ``` #### 3. **参数解析** ```c FD_SET(int fd, fd_set *set); ``` | 参数 | 类型 | 说明 | |------|------|------| | `fd` | `int` | 要添加的文件描述符(如 socket fd) | | `set` | `fd_set*` | 指向描述符集合的指针(读/写/异常集) | #### 4. **底层实现原理** - **位图结构**:每个比特位代表一个文件描述符 - **数学映射**: ``` 数组索引 = fd / NFDBITS (NFDBITS=64 on Linux) 位偏移量 = fd % NFDBITS 设置操作:set->fds_bits[索引] |= (1UL << 偏移量) ``` #### 5. **配套宏函数** | 宏 | 功能 | |----|------| | `FD_ZERO(set)` | 清空描述符集合 | | `FD_CLR(fd, set)` | 从集合移除描述符 | | `FD_ISSET(fd, set)` | 检测描述符是否在集合中 | #### 6. **使用示例** ```c fd_set readfds; FD_ZERO(&readfds); // 初始化集合 FD_SET(STDIN_FILENO, &readfds); // 添加标准输入 FD_SET(sockfd, &readfds); // 添加socket // 监控描述符 select(sockfd+1, &readfds, NULL, NULL, NULL); // 检测socket是否就绪 if(FD_ISSET(sockfd, &readfds)) { // 处理数据接收 } ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值