.html
.编程
.数组
.网络
.并发
目录app
(一) 一块儿学 Unix 环境高级编程 (APUE) 之 标准IO框架
(二) 一块儿学 Unix 环境高级编程 (APUE) 之 文件 IO异步
(三) 一块儿学 Unix 环境高级编程 (APUE) 之 文件和目录函数
(四) 一块儿学 Unix 环境高级编程 (APUE) 之 系统数据文件和信息测试
(五) 一块儿学 Unix 环境高级编程 (APUE) 之 进程环境
(六) 一块儿学 Unix 环境高级编程 (APUE) 之 进程控制
(七) 一块儿学 Unix 环境高级编程 (APUE) 之 进程关系 和 守护进程
(八) 一块儿学 Unix 环境高级编程 (APUE) 之 信号
(九) 一块儿学 Unix 环境高级编程 (APUE) 之 线程
(十) 一块儿学 Unix 环境高级编程 (APUE) 之 线程控制
(十一) 一块儿学 Unix 环境高级编程 (APUE) 之 高级 IO
(十二) 一块儿学 Unix 环境高级编程 (APUE) 之 进程间通讯(IPC)
(十三) [终篇] 一块儿学 Unix 环境高级编程 (APUE) 之 网络 IPC:套接字
1.非阻塞 I/O
高级 IO 部分有个很重要的概念是:非阻塞 I/O
在14章以前,咱们讨论的全部函数都是阻塞的函数,例如 read(2) 函数读取设备时,设备中若是没有充足的数据,那么 read(2) 函数就会阻塞等待,直到有数据可读再返回。
当 IO 操做时出现了错误的时候,咱们以前在讨论信号的博文中提到过会出现假错的状况。
那么从学了非阻塞 I/O 为止咱们一共遇到了两种假错的状况:
EINTR:被信号打断,阻塞时会遇到。
EAGAIN:非阻塞形式操做失败。
遇到这两种假错的时候咱们须要从新再操做一次,因此一般对假错的判断是放在循环中的。
例如 read(2) 函数使用非阻塞方式读取数据时,若是没有读取到数据,errno 为 EAGAIN,此时并非说设备有问题或读取失败,只是代表采用的是非阻塞方式读取而已。
阻塞与非阻塞是使用的同一套函数,flags 特殊要求指定为 O_NONBLOCK 就能够了。
下面咱们举个小栗子:(伪代码)
1 fd = open("/etc/service", O_RDONLY | O_NONBLOCK); 2 /* if error */ 3 4 while (1) { 5 size = read(fd, buf, BUFSIZE); 6 if (size < 0) { 7 if (EAGAIN == errno) { 8 continue; 9 } 10 perror("read()"); 11 exit(1); 12 } 13 14 // do sth... 15 16 }
上面的小栗子, 首先在 open(2) 的时候使用特殊要求 O_NONBLOCK 指定以非阻塞形式打开文件。
当 read(2) 发生错误时要判断是否为假错,若是发生了假错就再试一次,若是是真错就作相应的异常处理。
2.有限状态机
你们先考虑一个问题:把大象放到冰箱里须要几步?
1)打开冰箱门;
2)把大象放进去;
3)关闭冰箱门;
这就是解决这个问题的天然流程。
图1 简单流程与复杂流程
把一个问题的解决步骤(天然流程)摆出来发现是结构化的流程就是简单流程,若是不是结构化的流程就是复杂流程。全部的网络应用和须要与人交互的流程都是复杂流程。
结构化的流程就是做为人类的本能解决问题的思路。
在以前的博文中 LZ 提到过一个“口令随机校验”的策略你们还记得吗?就是要求用户必须连续两次输入正确的密码才认为校验经过。就算是这样小的模块也不会用一个单纯的顺序选择流程把它完成,它必定是一个非结构化的流程。
有限状态机就是程序设计的一种思路而已,你们刚开始接触以为难以理解,那是由于尚未习惯这种设计思路。咱们为何以为像原先那种流程化的程序设计思路好用?那是由于被虐惯了,你曾经被迫习惯用计算机的思路来考虑问题而不是用做为人解决问题的本能步骤来考虑问题。有限状态机就是让你以做为人的本能的解决问题的方式来解决问题,当你习惯了有限状态机的设计思想以后就不以为这是什么难以理解的东西了。
有限状态机被设计出来的目的就是为了解决复杂流程的问题,因此更况且是简单流程的问题也同样可以轻松的解决。
做为程序猿最怕的是什么?
恐怕最怕的就是需求变动了吧。
为何要使用有限状态机的设计思路呢?由于它能帮助咱们从容的应对需求变动。
使用有限状态机编程的程序在面对需求变动的时候每每仅须要修改几条 case 语句就能够了,而没有使用有限状态机编程的程序面对需求变动每每要把大段的代码推倒重来。
因此若是你掌握了有限状态机的编程思想,那么在不少状况下均可以相对轻松的解决问题,并且程序具备较好强的健壮性。
说了这么多废话,有限状态机究竟是什么呢?
使用有限状态机首先要把程序的需求分析出来(废话,用什么编程都得先分析需求),而后把程序中出现的各类状态抽象出来制做成一张状态机流程图,而后根据这个流程图把程序的框架搭建出来,接下来就是添枝加叶了。
下面咱们经过一个栗子来讲明有限状态机的设计思想。
假若有以下需求:从设备 tty11 读取输入并输出到 tty12 上,一样从 tyy12 读取输入并输出到 tty11 上。
首先咱们把它的各类状态抽象出来画成一幅图。
图2 有限状态机
每一个状态画成一个圆形节点,每一个节点延伸出来有多少条线就表示有多少种可能性。
这些节点拿到咱们的程序中就变成了一条条 case 语句,下面咱们看看使用代码如何实现。
1 #include <stdio.h> 2 #include <stdlib.h> 3 #include <unistd.h> 4 #include <sys/types.h> 5 #include <sys/stat.h> 6 #include <fcntl.h> 7 #include <errno.h> 8 9 #define BUFSIZE 1024 10 #define TTY1 "/dev/tty11" 11 #define TTY2 "/dev/tty12" 12 13 /* 状态机的各类状态 */ 14 enum 15 { 16 STATE_R=1, 17 STATE_W, 18 STATE_Ex, 19 STATE_T 20 }; 21 22 /* 状态机,根据不一样的需求设计不一样的成员 */ 23 struct fsm_st 24 { 25 int state; // 状态机当前的状态 26 int sfd; // 读取的来源文件描述符 27 int dfd; // 写入的目标文件描述符 28 char buf[BUFSIZE]; // 缓冲 29 int len; // 一次读取到的实际数据量 30 int pos; // buf 的偏移量,用于记录坚持写够 n 个字节时每次循环写到了哪里 31 char *errstr; // 错误消息 32 }; 33 34 /* 状态机驱动 */ 35 static void fsm_driver(struct fsm_st *fsm) 36 { 37 int ret; 38 39 switch(fsm->state) 40 { 41 case STATE_R: // 读态 42 fsm->len = read(fsm->sfd,fsm->buf,BUFSIZE); 43 if(fsm->len == 0) // 读到了文件末尾,将状态机推向 T态 44 fsm->state = STATE_T; 45 else if(fsm->len < 0) // 读取出现异常 46 { 47 if(errno == EAGAIN) // 若是是假错就推到 读态,从新读一次 48 fsm->state = STATE_R; 49 else // 若是是真错就推到 异常态 50 { 51 fsm->errstr = "read()"; 52 fsm->state = STATE_Ex; 53 } 54 } 55 else // 成功读取到了数据,将状态机推到 写态 56 { 57 fsm->pos = 0; 58 fsm->state = STATE_W; 59 } 60 break; 61 62 case STATE_W: // 写态 63 ret = write(fsm->dfd,fsm->buf+fsm->pos,fsm->len); 64 if(ret < 0) // 写入出现异常 65 { 66 if(errno == EAGAIN) // 若是是假错就再次推到 写态,从新再写入一次 67 fsm->state = STATE_W; 68 else // 若是是真错就推到 异常态 69 { 70 fsm->errstr = "write()"; 71 fsm->state = STATE_Ex; 72 } 73 } 74 else // 成功写入了数据 75 { 76 fsm->pos += ret; 77 fsm->len -= ret; 78 if(fsm->len == 0) // 若是将读到的数据彻底写出去了就将状态机推向 读态,开始下一轮读取 79 fsm->state = STATE_R; 80 else // 若是没有将读到的数据彻底写出去,那么状态机依然推到 写态,下次继续写入没写完的数据,实现“坚持写够 n 个字节” 81 fsm->state = STATE_W; 82 } 83 84 break; 85 86 case STATE_Ex: // 异常态,打印异常并将状态机推到 T态 87 perror(fsm->errstr); 88 fsm->state = STATE_T; 89 break; 90 91 case STATE_T: // 结束态,在这个例子中结束态没有什么须要作的事情,因此空着 92 /*do sth */ 93 break; 94 default: // 程序极可能发生了溢出等不可预料的状况,为了不异常扩大直接自杀 95 abort(); 96 } 97 98 } 99 100 /* 推进状态机 */ 101 static void relay(int fd1,int fd2) 102 { 103 int fd1_save,fd2_save; 104 // 由于是读 tty1 写 tty2;读 tty2 写 tty1,因此这里的两个状态机直接取名为 fsm12 和 fsm21 105 struct fsm_st fsm12,fsm21; 106 107 fd1_save = fcntl(fd1,F_GETFL); 108 // 使用状态机操做 IO 通常都采用非阻塞的形式,避免状态机被阻塞 109 fcntl(fd1,F_SETFL,fd1_save|O_NONBLOCK); 110 fd2_save = fcntl(fd2,F_GETFL); 111 fcntl(fd2,F_SETFL,fd2_save|O_NONBLOCK); 112 113 // 在启动状态机以前将状态机推向 读态 114 fsm12.state = STATE_R; 115 // 设置状态机中读写的来源和目标,这样状态机的读写接口就统一了。在状态机里面不用管究竟是 读tty1 写tty2 仍是 读tty2 写tty1 了,它只须要知道是 读src 写des 就能够了。 116 fsm12.sfd = fd1; 117 fsm12.dfd = fd2; 118 119 // 同上 120 fsm21.state = STATE_R; 121 fsm21.sfd = fd2; 122 fsm21.dfd = fd1; 123 124 125 // 开始推状态机,只要不是 T态 就一直推 126 while(fsm12.state != STATE_T || fsm21.state != STATE_T) 127 { 128 // 调用状态机驱动函数,状态机开始工做 129 fsm_driver(&fsm12); 130 fsm_driver(&fsm21); 131 } 132 133 fcntl(fd1,F_SETFL,fd1_save); 134 fcntl(fd2,F_SETFL,fd2_save); 135 136 } 137 138 int main() 139 { 140 int fd1,fd2; 141 142 // 假设这里忘记将设备 tty1 以非阻塞的形式打开也不要紧,由于推进状态机以前会从新设定文件描述符为非阻塞形式 143 fd1 = open(TTY1,O_RDWR); 144 if(fd1 < 0) 145 { 146 perror("open()"); 147 exit(1); 148 } 149 write(fd1,"TTY1\n",5); 150 151 fd2 = open(TTY2,O_RDWR|O_NONBLOCK); 152 if(fd2 < 0) 153 { 154 perror("open()"); 155 exit(1); 156 } 157 write(fd2,"TTY2\n",5); 158 159 160 relay(fd1,fd2); 161 162 163 close(fd1); 164 close(fd2); 165 166 167 exit(0); 168 }
你们先把这段代码读明白,下面咱们还要用这段代码来修改示例。
若是只看上面的代码是很难理解程序是作什么的,由于都是一组一组的 case 语句,不容易理解。因此通常使用有限状态机开发的程序都会与图或相关的文档配套发行,看了图再结合代码就很容易看出来代码的目的了。
你们要对比着上面的图来看代码,这样思路就很清晰了。
使用状态机以前须要使两个待进行数据中继的文件描述符必须都是 O_NONBLOCK 的。
整个状态机中都没有使用循环来读写数据,由于状态机能确保每一种状态都是职责单一的,出现其它的任何情况的时候只要推进状态机问题就能够解决了。
因此这样的程序可维护性是否是高了不少?若是出现了需求变动,只须要简单的修改几条 case 语句就能够了,而不须要大段大段的修改代码了。
你们要多使用状态机的设计思想来写程序才能加深对这种设计思想的掌握程度。
3. I/O 多路转接
上面那个 读tty11 写tty12,读tty12 写tty11 的栗子是采用忙等的方式实现的,I/O 多路转接这个小节讨论的就是怎么把上面那个栗子修改成非忙等的模式。
有些时候就是这样的,读取多个文件(通常是设备)的时候不能使用阻塞方式,由于一个阻塞了其它的就无法读了;而非阻塞方式若是采用忙等的形式又得不偿失。你想一想好比 telnet 服务在接收用户的命令的时候是否是这种状况呢?
对于处理这样的需求,Linux 系统为咱们提供了 3 种方案:select(2)、poll(2) 和 epoll(7),这些方案提供的函数能够同时监视多个文件描述符,当它们的状态没有变化时阻塞等待,当它们的状态发生变化时会给咱们一个通知让咱们继续处理任务,下面咱们一个一个的介绍它们。
先来看第一个函数:select(2)
1 select, FD_CLR, FD_ISSET, FD_SET, FD_ZERO - synchronous I/O multiplexing 2 3 /* According to POSIX.1-2001 */ 4 #include <sys/select.h> 5 6 /* According to earlier standards */ 7 #include <sys/time.h> 8 #include <sys/types.h> 9 #include <unistd.h> 10 11 int select(int nfds, fd_set *readfds, fd_set *writefds, 12 fd_set *exceptfds, struct timeval *timeout); 13 14 void FD_CLR(int fd, fd_set *set); 15 int FD_ISSET(int fd, fd_set *set); 16 void FD_SET(int fd, fd_set *set); 17 void FD_ZERO(fd_set *set);
select(2) 的优势是足够老,各个平台都支持它,这也是它相对于 poll(2) 惟一的优势。
参数列表:
nfds:最大的文件描述符 + 1;
readfds:须要监视的输入文件描述符集合;
writefds:须要监视的输出文件描述符集合;
exceptfds:须要监视的会发生异常的文件描述符集合;
timeout:等待的超时时间,若是时间超时依然没有文件描述符状态发生变化那么就返回。设置为 0 会当即返回,设置为 NULL 则一直阻塞等待,不会超时。
还记得咱们以前提到过使用 select(2) 函数替代 sleep(3) 函数吗?记不起来的童鞋本身回去翻看前面的博文吧,这里再也不赘述了。
咱们看到参数中的文件描述符集合是 fd_set 类型的,那么怎么把咱们的 int 类型的文件描述符添加到 fd_set 当中去呢?
经过带参数的宏 FD_SET 就能够将文件描述符 fd 添加到 set 中了,而 FD_CLR 能够删除 set 中的给定的文件描述符。
带参数的宏 FD_ZERO 的做用是清空 set 中的文件描述符。
带参数的宏 FD_ISSET 的做用是测试文件描述符 fd 是否在 set 集合中。
下面咱们重构上面的栗子,经过把它修改为非忙等的形式来看看 select 是如何使用的。代码没有太大的区别,因此只贴出有差别的部分。
1 enum 2 { 3 STATE_R=1, 4 STATE_W, 5 STATE_AUTO, // 添加这个值是为了起到分水岭的做用,小于这个值的时候才须要使用 select(2) 监视 6 STATE_Ex, 7 STATE_T 8 }; 9 10 static int max(int a,int b) 11 { 12 if(a < b) 13 return b; 14 return a; 15 } 16 17 static void relay(int fd1,int fd2) 18 { 19 int fd1_save,fd2_save; 20 struct fsm_st fsm12,fsm21; 21 fd_set rset,wset; // 读写文件描述符集合 22 23 fd1_save = fcntl(fd1,F_GETFL); 24 fcntl(fd1,F_SETFL,fd1_save|O_NONBLOCK); 25 fd2_save = fcntl(fd2,F_GETFL); 26 fcntl(fd2,F_SETFL,fd2_save|O_NONBLOCK); 27 28 fsm12.state = STATE_R; 29 fsm12.sfd = fd1; 30 fsm12.dfd = fd2; 31 32 fsm21.state = STATE_R; 33 fsm21.sfd = fd2; 34 fsm21.dfd = fd1; 35 36 37 while(fsm12.state != STATE_T || fsm21.state != STATE_T) 38 { 39 //布置监视任务 40 FD_ZERO(&rset); 41 FD_ZERO(&wset); 42 43 // 读态监视输入文件描述符;写态监视输出文件描述符 44 if(fsm12.state == STATE_R) 45 FD_SET(fsm12.sfd,&rset); 46 if(fsm12.state == STATE_W) 47 FD_SET(fsm12.dfd,&wset); 48 if(fsm21.state == STATE_R) 49 FD_SET(fsm21.sfd,&rset); 50 if(fsm21.state == STATE_W) 51 FD_SET(fsm21.dfd,&wset); 52 53 if(fsm12.state < STATE_AUTO || fsm21.state < STATE_AUTO) 54 { 55 // 以阻塞形式监视 56 if(select(max(fd1,fd2)+1,&rset,&wset,NULL,NULL) < 0) 57 { 58 if(errno == EINTR) 59 continue; 60 perror("select()"); 61 exit(1); 62 } 63 } 64 65 //查看监视结果 66 if( FD_ISSET(fd1,&rset) || FD_ISSET(fd2,&wset) || fsm12.state > STATE_AUTO) 67 fsm_driver(&fsm12); 68 if( FD_ISSET(fd2,&rset) || FD_ISSET(fd1,&wset) || fsm21.state > STATE_AUTO) 69 fsm_driver(&fsm21); 70 } 71 72 fcntl(fd1,F_SETFL,fd1_save); 73 fcntl(fd2,F_SETFL,fd2_save); 74 75 }
在上面的栗子中,不管设备中是否有数据供咱们读取咱们都不停的推进状态机,因此致使出现了忙等的现象。
而在这个栗子中,咱们在推状态机以前使用 select(2) 函数对文件描述符进行监视,若是文件描述状态没有发生变化就阻塞等待;而哪一个状态机的文件描述符发生了变化就推进哪一个状态机,这样就将查询法的实现改成通知法的实现了。是否是很简单呢?
poll(2) 出现的时间没有 select(2) 那么悠久,因此在可移植性上来讲没有 select(2) 函数那么好,可是绝大多数主流 *nix 平台都支持 poll(2) 函数,它比 select(2) 要优秀不少,下面咱们来了解下它。
1 poll - wait for some event on a file descriptor 2 3 #include <poll.h> 4 5 int poll(struct pollfd *fds, nfds_t nfds, int timeout); 6 7 struct pollfd { 8 int fd; /* 须要监视的文件描述符 */ 9 short events; /* 要监视的事件 */ 10 short revents; /* 该文件描述符发生了的事件 */ 11 };
参数列表:
fds:其实是一个数组的首地址,由于 poll(2) 能够帮助咱们监视多个文件描述符,而一个文件描述放到一个 struct pollfd 结构体中,多个文件描述符就须要一个数组来存储了。
nfds:fds 这个数组的长度。在参数列表中使用数组首地址 + 长度的作法仍是比较常见的。
timeout:阻塞等待的超时时间。传入 -1 则始终阻塞,不超时。
结构体中的事件能够指定下面七种事件,同时监视多个事件可使用按位或(|)添加:
事件 | 描述 |
POLLIN | 文件描述符可读 |
POLLPRI | 能够非阻塞的读高优先级的数据 |
POLLOUT | 文件描述符可写 |
POLLRDHUP | 流式套接字链接点关闭,或者关闭写半链接。 |
POLLERR | 已出错 |
POLLHUP | 已挂断(通常指设备) |
POLLNVAL | 参数非法 |
表1 poll(2) 能够监视的 7 种事件
使用 poll(2) 的步骤也很简单:
1)首先经过 struct pollfd 结构体中的 events 成员布置监视任务;
2)而后使用 poll(2) 函数进行阻塞的监视;
3)当从 poll(2) 函数返回时就能够经过 struct polfd 结构体中的 revents 成员与上面的 7 个宏中被咱们选出来监视的宏进行按位与(&)操做了,只要结果不为 1 就认为触发了该事件。
好了,这 3 步就是 poll(2) 函数的使用方法,简单吧。
下面咱们修改一下上面的栗子,把上面用 select(2) 实现的部分修改成用 poll(2) 来实现。没有改过的地方就不贴出来了,其实也只有 relay() 函数被修改了。
1 static void relay(int fd1,int fd2) 2 { 3 int fd1_save,fd2_save; 4 struct fsm_st fsm12,fsm21; 5 struct pollfd pfd[2]; // 一共监视两个文件描述符 6 7 8 fd1_save = fcntl(fd1,F_GETFL); 9 fcntl(fd1,F_SETFL,fd1_save|O_NONBLOCK); 10 fd2_save = fcntl(fd2,F_GETFL); 11 fcntl(fd2,F_SETFL,fd2_save|O_NONBLOCK); 12 13 fsm12.state = STATE_R; 14 fsm12.sfd = fd1; 15 fsm12.dfd = fd2; 16 17 fsm21.state = STATE_R; 18 fsm21.sfd = fd2; 19 fsm21.dfd = fd1; 20 21 pfd[0].fd = fd1; 22 pfd[1].fd = fd2; 23 24 while(fsm12.state != STATE_T || fsm21.state != STATE_T) 25 { 26 // 布置监视任务 27 pfd[0].events = 0; 28 if(fsm12.state == STATE_R) 29 pfd[0].events |= POLLIN; // 第一个文件描述符可读 30 if(fsm21.state == STATE_W) 31 pfd[0].events |= POLLOUT; // 第一个文件描述符可写 32 33 pfd[1].events = 0; 34 if(fsm12.state == STATE_W) 35 pfd[1].events |= POLLOUT; // 第二个文件描述符可读 36 if(fsm21.state == STATE_R) 37 pfd[1].events |= POLLIN; // 第二个文件描述符可写 38 39 // 只要是可读写状态就进行监视 40 if(fsm12.state < STATE_AUTO || fsm21.state < STATE_AUTO) 41 { 42 // 阻塞监视 43 while(poll(pfd,2,-1) < 0) 44 { 45 if(errno == EINTR) 46 continue; 47 perror("poll()"); 48 exit(1); 49 } 50 } 51 52 // 查看监视结果 53 if( pfd[0].revents & POLLIN || \ 54 pfd[1].revents & POLLOUT || \ 55 fsm12.state > STATE_AUTO) 56 fsm_driver(&fsm12); // 推状态机 57 if( pfd[1].revents & POLLIN || \ 58 pfd[0].revents & POLLOUT || \ 59 fsm21.state > STATE_AUTO) 60 fsm_driver(&fsm21); // 推状态机 61 } 62 63 fcntl(fd1,F_SETFL,fd1_save); 64 fcntl(fd2,F_SETFL,fd2_save); 65 66 }
代码中注释写得很明确了,相信不须要 LZ 再解释什么了。
epoll(7) 不是一个函数,它在 man 手册的第 7 章里,它是 Linux 为咱们提供的“增强版 poll(2)”,既然是增强版,那么必定有超越 poll(2) 的地方,下面就聊一聊 epoll(7)。
在使用 poll(2) 的时候用户须要管理一个 struct pollfd 结构体或它的结构体数组,epoll(7) 则使内核为咱们管理了这个结构体数组,咱们只须要经过 epoll_create(2) 返回的标识引用这个结构体便可。
1 epoll_create - open an epoll file descriptor 2 3 #include <sys/epoll.h> 4 5 int epoll_create(int size);
调用 epoll_create(2) 时最初 size 参数给传入多少,kernel 在创建数组的时候就是多少个元素。可是这种方式很差用,因此后来改进了,只要 size 随便传入一个正整数就能够了,内核不会再根据你们传入的 size 直接做为数组的长度了,由于内核是使用 hash 来管理要监视的文件描述符的。
返回值是 epfd,从这里也能够体现出 Linux 一切皆文件的设计思想。失败时返回 -1 并设置 errno。
获得了内核为咱们管理的结构体数组标识以后,接下来就能够用 epoll_ctl(2) 函数布置监视任务了。
1 epoll_ctl - control interface for an epoll descriptor 2 3 #include <sys/epoll.h> 4 5 int epoll_ctl(int epfd, int op, int fd, struct epoll_event *event); 6 7 8 struct epoll_event { 9 uint32_t events; /* Epoll 监视的事件,这些事件与 poll(2) 能监视的事件差很少,只是宏名前面加了个E */ 10 epoll_data_t data; /* 用户数据,除了能保存文件描述符之外,还能让你保存一些其它有关数据,好比你这个文件描述符是嵌在一棵树上的,你在使用它的时候不知道它是树的哪一个节点,则能够在布置监视任务的时候将相关的位置都保存下来。这个联合体成员就是 epoll 设计的精髓。 */ 11 };
epoll_ctl(2) 的做用是要对 fd 增长或减小(op) 什么行为的监视(event)。成功返回0,失败返回 -1 并设置 errno。
op 参数可使用下面三个宏来指定操做:
宏 | 描述 |
EPOLL_CTL_ADD | 增长要监视的文件描述符 |
EPOLL_CTL_MOD | 更改目标文件描述符的事件 |
EPOLL_CTL_DEL | 删除要监视的文件描述符,event 参数会被忽略,能够传入 NULL。 |
表2 epoll_ctl(2) 函数 op 参数的选项
与 select(2) 和 poll(2) 同样, 布置完监视任务以后须要取监视结果,epoll(7) 策略使用 epoll_wait(2) 函数进行阻塞监视并返回监视结果。
1 epoll_wait - wait for an I/O event on an epoll file descriptor 2 3 #include <sys/epoll.h> 4 5 int epoll_wait(int epfd, struct epoll_event *events, 6 int maxevents, int timeout);
参数列表:
epfd:要操做的 epoll 实例;
events + maxevents:共同指定了一个结构体数组,数组的起始位置和长度。其实每次使用 epoll_ctl(2) 函数添加一个文件描述符时至关于向内核为咱们管理的数组中添加了一个成员,因此当咱们使用同一个 struct epoll_event 变量操做多个文件描述符时,只需传入该变量的地址和操做了多少个文件描述符便可,你们看看下面的栗子就明白了。
timeout:超时等待的时间,设置为 -1 则始终阻塞监视,不超时。
跟上面的栗子同样,LZ 只贴出来被修改了的 relay() 函数,其它部分不变。
1 static void relay(int fd1,int fd2) 2 { 3 int fd1_save,fd2_save; 4 struct fsm_st fsm12,fsm21; 5 int epfd; 6 struct epoll_event ev; 7 8 epfd = epoll_create(10); 9 if(epfd < 0) 10 { 11 perror("epfd()"); 12 exit(1); 13 } 14 15 fd1_save = fcntl(fd1,F_GETFL); 16 fcntl(fd1,F_SETFL,fd1_save|O_NONBLOCK); 17 fd2_save = fcntl(fd2,F_GETFL); 18 fcntl(fd2,F_SETFL,fd2_save|O_NONBLOCK); 19 20 fsm12.state = STATE_R; 21 fsm12.sfd = fd1; 22 fsm12.dfd = fd2; 23 24 fsm21.state = STATE_R; 25 fsm21.sfd = fd2; 26 fsm21.dfd = fd1; 27 28 ev.events = 0; 29 ev.data.fd = fd1; 30 epoll_ctl(epfd,EPOLL_CTL_ADD,fd1,&ev); 31 32 ev.events = 0; 33 ev.data.fd = fd2; 34 epoll_ctl(epfd,EPOLL_CTL_ADD,fd2,&ev); 35 36 37 while(fsm12.state != STATE_T || fsm21.state != STATE_T) 38 { 39 // 布置监视任务 40 41 ev.events = 0; 42 ev.data.fd = fd1; 43 if(fsm12.state == STATE_R) 44 ev.events |= EPOLLIN; 45 if(fsm21.state == STATE_W) 46 ev.events |= EPOLLOUT; 47 epoll_ctl(epfd,EPOLL_CTL_MOD,fd1,&ev); 48 49 ev.events = 0; 50 ev.data.fd = fd2; 51 if(fsm12.state == STATE_W) 52 ev.events |= EPOLLOUT; 53 if(fsm21.state == STATE_R) 54 ev.events |= EPOLLIN; 55 epoll_ctl(epfd,EPOLL_CTL_MOD,fd2,&ev); 56 57 // 监视 58 if(fsm12.state < STATE_AUTO || fsm21.state < STATE_AUTO) 59 { 60 while(epoll_wait(epfd,&ev,1,-1) < 0) 61 { 62 if(errno == EINTR) 63 continue; 64 perror("epoll_wait()"); 65 exit(1); 66 } 67 } 68 69 // 查看监视结果 70 if( ev.data.fd == fd1 && ev.events & EPOLLIN || \ 71 ev.data.fd == fd2 && ev.events & EPOLLOUT || \ 72 fsm12.state > STATE_AUTO) 73 fsm_driver(&fsm12); 74 if( ev.data.fd == fd2 && ev.events & EPOLLIN || \ 75 ev.data.fd == fd1 && ev.events & EPOLLOUT || \ 76 fsm21.state > STATE_AUTO) 77 fsm_driver(&fsm21); 78 } 79 80 fcntl(fd1,F_SETFL,fd1_save); 81 fcntl(fd2,F_SETFL,fd2_save); 82 83 close(epfd); 84 85 }
4.记录锁
记录锁就是用 fcntl(2) 函数建立一个锁文件,比较麻烦,感兴趣的童鞋能够本身看看书上的介绍,在这里 LZ 就不作介绍了,咱们在最后会讨论两个方便的文件锁和锁文件。
5.异步 I/O
这部分主要是说信号驱动 IO,不是真正意义上的异步 IO。
异步 I/O 分为 System V 异步 I/O 和 BSD 异步 I/O,Linux 模仿的是后者,这里咱们不过多讨论了,后面 LZ 在讨论内核的博文中会继续讨论异步。
6. readv(2) 和 write(2)
1 readv, writev - read or write data into multiple buffers 2 3 #include <sys/uio.h> 4 5 ssize_t readv(int fd, const struct iovec *iov, int iovcnt); 6 7 ssize_t writev(int fd, const struct iovec *iov, int iovcnt); 8 9 struct iovec { 10 void *iov_base; /* 起始地址 */ 11 size_t iov_len; /* Number of bytes to transfer */ 12 };
这两个函数的做用就是对多个碎片的读写操做,将全部的小碎片写到文件中。
readv(2) 当没有连续的空间存储从 fd 读取或写入的数据时,将其存储在 iovcnt 个 iov 结构体中,writev(2) 的做用相同。iov 是结构体数组起始位置,iovcnt 是数组长度。
7. readn() 和 writen()
这两个函数能够从本书(《APUE》第三版)的光盘中找,它们并非什么标准库的函数,也不是系统调用,只是本书做者本身封装的函数,算是方言中的方言,做用是坚持写够 n 个字节,以前咱们在讨论 IO 的博文中实现过相似的效果。
对了,天朝在引入这本书的时候貌似没有引入配套光盘,须要的童鞋能够本身去网上搜索一下。
7.存储映射 I/O
存储映射 I/O 是十四章的小重点。
在 *nix 系统中分配内存的方法有好几种,不必定非得使用 free(3) 函数。
经过 mmap(2) 和 unmap(2) 函数能够实现一个实时的相似于 malloc(3) 和 free(3) 函数的效果,咱们在前面的博文中提到过,malloc(3) 和 free(3) 其实是以打白条的形式实现的,就是在你调用函数的时候并无当即分配内存给你,而是在你真正使用内存的时候才分配给你的。
存储映射I/O说的就是将一个文件的一部分或所有映射到内存中,用户拿到的就是这段内存的起始位置,访问这个文件就至关于访问一个大字符串同样。
1 mmap, munmap - map or unmap files or devices into memory 2 3 #include <sys/mman.h> 4 5 void *mmap(void *addr, size_t length, int prot, int flags, 6 int fd, off_t offset); 7 int munmap(void *addr, size_t length);
mmap(2) 函数的做用是把 fd 这个文件从 offset 偏移位置开始把 length 字节个长度映射到 addr 这个内存位置上,若是 addr 参数传入 NULL 则由 kernel 帮咱们选择一块空间并使用返回值返回这段内存的首地址。
prot 参数是操做权限,可使用下表中的宏经过按位或(|)来组合指定。
宏 | 含义 |
PROT_READ | 映射区可读 |
PROT_WRITE | 映射区可写 |
PROT_EXEC | 映射区可执行 |
PROT_NONE | 映射区不可访问 |
表3 mmap(2) 函数的 prot 参数可选项
映射区不可访问(PROT_NONE)的含义是若是我映射的内存中有一块已经有某些数据了,绝对不能让个人程序越界覆盖了,就能够把这段空间设置为映射区不可访问。
flags 参数是特殊要求,如下两者必选其一:
宏 | 含义 |
MAP_SHARED | 对映射区进行存储操做至关于对原来的文件进行写入,会改变原来文件的内容。 |
MAP_PRIVATE | 当对映射区域进行存储操做时会建立一个私有副本,全部后来再对映射区的操做都至关于操做这个副本,而不影响原来的文件。 |
表4 mmap(2) 函数的 flags 参数可选项
其它经常使用选项:
MAP_ANONYMOUS:不依赖于任何文件,映射出来的内存空间会被清 0,而且 fd 和 offset 参数会被忽略,一般咱们在使用的时候会把 fd 设置为 -1。
用这个参数能够很容易的作出一个最简单最好用的在具备亲缘关系的进程之间的共享内存,比后面第15章咱们要讨论的共享内存还好用。后面 LZ 会给出一个小栗子让你们看看这种方式如何使用。
mmap(2) 在成功的时候返回一个指针,会指向映射的内存区域的起始地址。失败时返回 MAP_FAILED 宏定义,实际上是这样定义的:(void *) -1。
首先咱们写一个栗子看看如何把一个文件映射到内存中访问。
1 #include <stdio.h> 2 #include <stdlib.h> 3 #include <sys/mman.h> 4 #include <sys/types.h> 5 #include <sys/stat.h> 6 #include <unistd.h> 7 #include <fcntl.h> 8 9 10 #define FNAME "/etc/services" 11 12 int main(void) 13 { 14 int fd,i; 15 char *str; 16 struct stat statres; 17 int count = 0; 18 19 fd = open(FNAME,O_RDONLY); 20 if(fd < 0) 21 { 22 perror("open()"); 23 exit(1); 24 } 25 26 // 经过 stat(2) 得到文件大小 27 if(fstat(fd,&statres) < 0) 28 { 29 perror("fstat()"); 30 exit(1); 31 } 32 33 str = mmap(NULL,statres.st_size,PROT_READ,MAP_SHARED,fd,0); 34 if(str == MAP_FAILED) 35 { 36 perror("mmap()"); 37 exit(1); 38 } 39 40 // 将文件映射到内存以后文件描述符就能够关闭了,直接访问映射的内存就至关于访问文件了。 41 close(fd); 42 43 for(i = 0 ; i < statres.st_size; i++) { 44 // 由于访问的是文本文件,因此能够把映射的内存看做是一个大字符串处理 45 if(str[i] == 'a') { 46 count++; 47 } 48 } 49 50 printf("count = %d\n",count); 51 52 // 用完了别忘了解除映射,否则会形成内存泄漏! 53 munmap(str,statres.st_size); 54 55 exit(0); 56 }
这段代码会统计 /etc/services 文件中包含多少个字符 'a'。
mmap(2) 的返回值是 void* 类型的,这是一种百搭的类型,在映射了不一样的东西的状况下咱们可使用不一样的指针来接收,这样就能用不一样的方式访问这段内存空间了。上面这个文件是文本文件,因此咱们可使用 char* 来接收它的返回值,这样就将整个文件看做是一个大字符串来访问了。
这个仍是比较常规的用法,下面咱们看一下如何使用 mmap(2) 函数制做一个好用的共享内存。
1 #include <stdio.h> 2 #include <stdlib.h> 3 #include <sys/mman.h> 4 #include <sys/types.h> 5 #include <sys/stat.h> 6 #include <unistd.h> 7 #include <fcntl.h> 8 #include <string.h> 9 #include <wait.h> 10 11 #define MEMSIZE 1024 12 13 int main(void) 14 { 15 char *str; 16 pid_t pid; 17 18 // 这里在 flags 中添加 MAP_ANONYMOUS,为制做共享内存作准备 19 str = mmap(NULL,MEMSIZE,PROT_READ|PROT_WRITE,MAP_SHARED|MAP_ANONYMOUS,-1,0); 20 if(str == MAP_FAILED) 21 { 22 perror("mmap()"); 23 exit(1); 24 } 25 26 // 建立子进程,父子进程使用共享内存进行通讯 27 pid = fork(); 28 if(pid < 0) 29 { 30 perror("fork()"); 31 exit(1); 32 } 33 if(pid == 0) // 子进程向共享内存中写入数据 34 { 35 strcpy(str,"Hello!"); 36 munmap(str,MEMSIZE); // 注意,虽然共享内存是在 fork(2) 以前建立的,可是 fork(2) 的时候子进程也拷贝了一份,因此子进程使用完毕以后也要解除映射 37 exit(0); 38 } 39 else // 父进程从共享内存中读取子进程写入的数据 40 { 41 wait(NULL); // 保障子进程先运行起来,由于就算父进程先运行了也会在这里阻塞等待 42 puts(str); // 把从共享内存中读取出来的数据打印出来 43 munmap(str,MEMSIZE); // 不要忘记解除映射 44 exit(0); 45 } 46 47 48 exit(0); 49 }
共享内存是进程间通讯的一种手段,就是在内存中开辟一块空间让多个进程之间能够共同访问这段空间,从而实现进程之间的数据交换。在后面讨论 IPC 的博文中咱们还会详细介绍共享内存,不过用 mmap(2) 制做的共享内存比后面介绍的共享内存使用起来更简便一些。
你们本身运行一下这段代码,能够看到父进程打印出了子进程写入的“Hello”字符串,说明这段内存确实是在父子进程之间共享的。
你们在使用的时候不要忘记父子进程最后都要作解除映射的动做。
从这个栗子中咱们也能够看出来,这种共享内存的方式只适合在具备亲缘关系的进程之间使用,没有亲缘关系的进程是没法得到指向同一个映射内存空间的指针的。
8. flock(2) 和 lockf(3) 函数
1 lockf - apply, test or remove a POSIX lock on an open file 2 3 #include <unistd.h> 4 5 int lockf(int fd, int cmd, off_t len); 6 7 flock - apply or remove an advisory lock on an open file 8 9 #include <sys/file.h> 10 11 int flock(int fd, int operation);
这两个函数能够实现好用的文件加锁。
咱们这里只介绍 lockf(2) 函数,flock(2) 函数也差很少,都很简单,因此你们能够本身去查阅 man 手册。
lockf(3) 能够给文件进行局部加锁,简单来讲就是从当前位置锁住 len 个字节。
参数列表:
fd:要加锁的文件描述符;
cmd:具体的命令见下表;
宏 | 说明 |
F_LOCK | 为文件的一段加锁,若是已经被加锁就阻塞等待,若是两个锁要锁定的部分有交集就会被合并 ,文件关闭时或进程退出时会自动释放,不会被子进程继承。 |
F_TLOCK | 与 F_LOCK 差很少,不过是尝试加锁,非阻塞。 |
F_ULOCK | 解锁,若是是被合并的锁会分裂。 |
F_TEST | 测试锁,若是文件中被测试的部分没有锁定或者是调用进程持有锁就返回 0; 若是是其它进程持有锁就返回 -1,而且 errno 设置为 EAGAIN 或 EACCES。 |
图5 lockf(3) 函数的 cmd 参数可选值
len:要锁定的长度,若是为 0 表示文件有多长锁多长,从当前位置一直锁到文件结尾。
下面咱们使用 lockf(3) 函数写一个栗子。
1 #include <stdio.h> 2 #include <stdlib.h> 3 #include <string.h> 4 #include <unistd.h> 5 #include <wait.h> 6 #include <sys/types.h> 7 8 9 #define PROCNUM 20 10 #define FNAME "/tmp/out" 11 #define BUFSIZE 1024 12 13 14 static void func_add() 15 { 16 FILE *fp; 17 int fd; 18 char buf[BUFSIZE]; 19 20 fp = fopen(FNAME,"r+"); 21 if(fp == NULL) 22 { 23 perror("fopen()"); 24 exit(1); 25 } 26 27 fd = fileno(fp); 28 if(fd < 0) 29 { 30 perror("fd"); 31 exit(1); 32 } 33 34 // 使用以前先锁定 35 lockf(fd,F_LOCK,0); 36 37 fgets(buf,BUFSIZE,fp); 38 rewind(fp); // 把文件位置指针定位到文件首 39 sleep(1); // 放大竞争 40 fprintf(fp,"%d\n",atoi(buf)+1); 41 fflush(fp); 42 43 // 使用以后释放锁 44 lockf(fd,F_ULOCK,0); 45 46 fclose(fp); 47 48 return ; 49 } 50 51 int main(void) 52 { 53 int i; 54 pid_t pid; 55 56 for(i = 0 ; i < PROCNUM ; i++) 57 { 58 pid = fork(); 59 if(pid < 0) 60 { 61 perror("fork()"); 62 exit(1); 63 } 64 if(pid == 0) // child 65 { 66 func_add(); 67 exit(0); 68 } 69 } 70 71 for(i = 0 ; i < PROCNUM ; i++) 72 wait(NULL); 73 74 75 exit(0); 76 }
仍是用我么之前的栗子改的,你们还记得之前写过一个栗子,让 20 个进程同时向 1 个文件中累加数字吗。
在这里每一个进程在读写文件以前先加锁,若是加不上就等待别人释放锁再加。若是加上了锁就读出文件中当前的值,+1 以后再写回到文件中。
得到锁以后 sleep(1) 是为了放大竞争,让进程之间必定要出现竞争的现象,便于咱们分析调试。
在调试并发的程序时,若是有些问题很难复现,那么能够经过加长每个并发单位的执行时间来强制它们出现竞争的状况,这样可让咱们更容易的分析问题。
图3 flock(2) 和 lockf(3) 的缺点
文件锁还有一个机制是把一个文件看成锁,好比要操做的是 /tmp/out 文件,那么父进程能够先建立一个 /tmp/lcok文件,而后再建立 20 个子进程同时对 /tmp/out 文件进行读写,可是子进程必须先锁定 /tmp/lock 文件才能操做 /tmp/out 文件,没抢到锁文件的须要等待其它进程解锁再抢锁,等父进程为全部的子进程收尸以后再关闭/tmp/lock,/tmp/lock 这个文件就被称为锁文件。
高级 IO 部分大概就这些内容了,有什么疑问欢迎你们在评论中讨论。