CSAPP:第10章 系统级IO

CSAPP:第10章 系统级IO

10.1 Unix IO
  • 所有的输人和输出都能以一种统一且一致的方式来执行:
    • 打开文件:一个应用程序通过要求内核打开相应的文件,来宣告它想要访问一个I/O 设备
      • 内核返回一个小的非负整数,叫做描述符,它在后续对此文件的所有操作中标识这个文件。
      • 内核记录有关这个打开文件的所有信息。应用程序只需记住这个描述符。
    • Linux shell 创建的每个进程开始时都有三个打开的文件:
      • 标准输入(描述符为 0)
      • 标准输出(描述符为 1)
      • 标准错误(描述符为 2)
      • 头文件< unistd.h> 定义了常量 STDIN_FILENO、STDOUT_FILENO 和 STDERR_ETLENO,它们可用来代替显式的描述符值。
    • 改变当前的文件位置
      • 对于每个打开的文件,内核保持着一个文件位置k,初始为0。这个文件位置是从文件开头起始的字节偏移量。应用程序能够通过执行 seek 操作,显式地设置文件的当前位置为k。
    • 读写文件
      • 一个读操作就是从文件复制 n>0 个字节到内存,从当前文件k位置是开始,然后将k增加到k+n。
      • 给定一个大小为m字节的文件,当k>=m时执行读操作,会出发EOF(end-of-file)条件——能被应用程序检测到
      • 文件末尾没有明确的EOF符号
    • 关闭文件。
      • 当应用完成了对文件的访问之后,它就通知内核关闭这个文件。作为响应,内核释放文件打开时创建的数据结构,并将这个描述符恢复到可用的描述符池中。
      • 无论一个进程因为何种原因终止时,内核都会关闭所有打开的文件并释放它们的内存资源。
10.2 文件
  • 普通文件(regular file):应用程序常常要区分文本文件(text file)和二进制文件(binary file):
    • 文本文件是只含有 ASCII 或 Unicode 字符的普通文件;
    • 二进制文件是所有其他的文件。
    • 对内核而言,文本文件和二进制文件没有区别。
  • 目录(directory)
    • 包含一组链接(link )的文件,其中每个链接都将一个文件名(filename)映射到一个文件,这个文件可能是另一个目录。
    • 每个目录至少含有两个条目
      • ‘.’表示当前目录
      • '…'表示上一级目录
    • 可以用 mkdir 命令创建一个目录,用 Is 查看其内容,用 rmdir 删除该目录。
  • 套接字(socket)
    • 用来与另一个进程进行跨网络通信的文件
  • Linux 内核将所有文件都组织成一个目录层次结构(directory hierarchy),下图显示了Linux 系统的目录层次结构的一部分。
    • 在这里插入图片描述

    • 相对路径名(absolute pathname)

      • 以一个斜杠开始,表示从根节点开始的路径。
    • 绝对路径名(relative pathname)

      • 以文件名开始,表示从当前工作目录开始的路径。
10.3 打开和关闭文件
  • 进程是通过调用 open 函数来打开一个已存在的文件或者创建一个新文件的:
    • open 函数将 filename 转换为一个文件描述符,并且返回描述符数字。返回的描述符总是在进程中当前没有打开的最小描述符。

    • flags 参数指明了进程打算如何访问这个文件:

    • mode 参数指定了新文件的访问权限,而每个进程可通过umask函数来设置用户默认权限的补码,则文件最终的权限是通过mode & ~umask确定的。

    • 最后,进程通过调用 close 函数关闭一个打开的文件。

10.4 读和写文件
  • 应用程序是通过分别调用 read 和 write 函数来执行输入和输出。
    • read 函数从描述符为 fd的当前文件位置复制最多n个字节到内存位置 buf。

      • 返回值一1表示一个错误
      • 返回值 0 表示 EOF
      • 其他返回值表示的是实际传送的字节数量
    • write 函数从内存位置 buf 复制至多 个字节到描述符 fd 的当前文件位置

      • 调用一次一个字节地从标准输入复制到标准输出:
    • 在某些情况下,read 和 write 传送的字节比应用程序要求的要少(不足值问题)

      • 读时遇到 EOF。
        • 读完了。
      • 从终端读文本行。
        • 如果打开文件是与终端相关联的(如键盘和显示器),那么每个read 函数将一次传送一个文本行,返回的不足值等于文本行的大小。
      • 读和写网络套接字(socket)。
        • 内部缓冲约束和较长的网络延迟会引起 read 和 write 返回不足值。
  • 在x86-64中,size_t被定义为unsigned long,而 ssize_t被定义为long。
10.5 用RIO包健壮地读写
  • 自动为你处理上文中所述的不足值
  • RIO 提供了两类不同的函数:
    • 无缓冲的输入输出函数。
      • 这些函数直接在内存和文件之间传送数据,没有应用级缓冲。
      • 它们对将二进制数据读写到网络和从网络读写二进制数据尤其有用。
    • 带缓冲的输入函数。
      • 这些函数允许你高效地从文件中读取文本行和二进制数据,这些文件的内容缓存在应用级缓冲区内,类似于为 printf 这样的标准 I/O 函数提供的缓冲区。
      • 线程安全
10.5.1 RIO 的无缓冲的输入输出函数
  • 通过调用 rio_readn 和 rio_writen 函数,应用程序可以在内存和文件之间直接传送数据
    • rio_readn 函数从描述符 fd 的当前文件位置最多传送《n个字节到内存位置 usrbuf。

    • rio_writen 函数从位置 usrbuf 传送n个字节到描述符 fd。

    • rio_read 函数在遇EOF的时只能返回一个不足值。

    • rio_writen 函数决不会返回不足值。

    • 对于同一个描述符,可以任意交错地调用 rio_readn 和 rio_writen。

    • 如果 rio_readn 和 rio_writen 函数被一个从应用信号处理程序的返回中断,那么每个函数都会手动地重启 read 或
      write。

  • 实现:
    • image-20210215233841954
10.5.2 RIO 的带缓冲的输入函数
  • 内存读取文本——调用包装函数(ric readlineb), 它从一个内部读缓冲区复制一个文本行,当缓冲区变空时,会自动地调用 read 重新填满缓冲区。

  • 对于既包含文本行也包含二进制数据的文件(例如 11.5.3 节中描述的 HTTP 响应),叫做 rio_readnb( rio_readn 带缓冲版)

    • rio_readinneb

      • 每打开一个描述符,都会调用一次 rio_readinitb 函数。它将描述符 fd 和地址 rp处的一个类型为 rio_t的读缓冲区联系起来
      • rio_readlineb函数从文件rp读出下一个文本行(包括换行符),复制到usrbuf,并用NULL结束此行
      • rio_readlineb最多读去maxlen-1个字节,余下的一个字符留给NULL,对于超过的部分,直接截断。
      • rio_readlineb:
    • rio_readnb

      • 函数从文件 rp 最多读 n 个字节到内存位置 usrbuf。
      • 缓冲和无缓冲函数不可交叉使用
      • rio_readnbrio_readinitb可以任意交叉使用
      • rio_readnb:
  • 缓冲区格式

    • 缓冲区结构如下,rio_readlinitb创建一个空缓冲区,并且将一个打开的文件描述符和这个缓冲区联系起来。

typedef struct{
 int rio_fd;  //该缓冲区的文件描述符
 int rio_cnt;  //缓冲区中未读的字节数
 char *rio_bufptr;  //缓冲区中未读的下一个字节
 char rio_buf[RIO_BUFSIZE];  //读缓冲区
} rio_t;
void rio_readinitb(rio_t *rp, int fd){
    rp->rio_fd = fd;  
    rp->rio_cnt = 0;  
    rp->rio_bufptr = rp->rio_buf;
} 
  • rio_read的实现:
    • 若buf为空,则重新填满

    • 错误=-1,EOF=0

    • memcpy将n个字节从缓冲区中复制到用户缓冲区,并返回cnt(复制到字节数,这玩意=n,不足值的时候会判断一下赋值)

10.6 读取文件元数据
  • 应用程序能够通过调用 stat 和 fstat 函数,检索到关于文件的信息(有时也称为文件的元数据(metadata))。
    • stat 函数以一个文件名作为输入,并填写 stat 数据结构中的各个成员。

    • fstat 函数是相似的,只不过是以文件描述符而不是文件名作为输人。

    • stat结构体如下所示

    • 其中st_size包含了文件的字节数大小

    • st_mode编码了文件访问许可位,我们可以通过sys/stat.h中定义的宏来确定该部分的信息:

      • S_ISREG(st_mode): 是否为普通文件
      • S_ISDIR(st_mode):是否为目录文件
      • S_ISSOCK(st_mode):是否为套接字
10.7 读取目录的内容
  • 应用程序可以用 readdir 系列函数来读取目录的内容。
      • 函数 opendir 以路径名为参数,返回指向目录流(directory stream)的指针。流是对条目有序列表的抽象,在这里是指目录项的列表
      • 每次对 readdir 的调用返回的都是指向流 dirp 中下一个目录项的指针,或者,如果没有更多目录项则返回 NULL。

      • 如果出错,则会返回NULL,并设置errno(这是区别流结束的唯一方法)

      • 目录项的结构如下:

        •  -
      • 函数 closedir 关闭流并释放其所有的资源。

10.8 共享文件
  • 内核用三个相关的数据结构来表示打开的文件:
    • 描述符表(descriptor table)。
      • 每个进程都有它独立的描述符表,它的表项是由进程打开的文件描述符来索引的。
      • 每个打开的描述符表项指向文件表中的一个表项。
    • 文件表(file table)。
      • 打开文件的集合是由一张文件表来表示的,所有的进程共享这张表。
      • 表项包括:文件位置、 引用计数( reference count)(即当前指向该表项的描述符表项数),以及一个指向 v-node 表中对应表项的指针。
    • v-node 表(v-node table)。
      • 所有的进程共享这张 v-node 表。
      • 每个表项包含 stat 结构中的大多数信息,包括 st_mode 和 st_size 成员。
    • 此三者结构:
      • 这里文件A B可以指向同一个v-node表项

      • 父子进程共享文件:子进程会有一份父进程的描述符表副本,因此就又了后续指向(打开文件表和v-node表)

10.9 IO重定向
  • Linux shell 提供了 I/O 重定向操作符,允许用户将磁盘文件和标准输人输出联系起来。:linux> Is > foo.txt
      • 可见>将ls的输出重定向到foo.txt中
    • C语言中的I/O 重定向:

      • dup2 函数复制描述符表表项 oldfd 到描述符表表项 newfd,覆盖描述符表表项 newfd以前的内容。如果 newfd 已经打开了,dup2会在复制 oldfd 之前关闭 newfd。

10.10 标准IO
  • C 语言定义了一组高级输人输出函数,称为标准 I/O 库,为程序员提供了 Unix I/O的较高级别的替代。

  • 这个库(libc)提供了:

    • 打开和关闭文件的函数(fopen 和 fclose)
    • 读和写字节的函数(fread 和 fwrite)
    • 读和写字符串的函数(fgets 和 fputs)
    • 复杂的格式化的 I/O 函数(scanf 和 printf)
  • 标准 I/O 库将一个打开的文件模型化为一个流。对于程序员而言,一个流就是一个指向 FILE 类型的结构的指针。每个 ANSI C 程序开始时都有三个打开的流 stdin、stdout和 stderr,分别对应于标准输人、标准输出和标准错误

    • #include <stdio.h>
      extern FILE *stdin;
      extern FILE *stdout;
      extern FILE *stderr;
      
    • 类型为 FILE 的流是对文件描述符和流缓冲区的抽象。

10.11 综合:我该使用哪些IO函数?
  • 各种IO包与C语言的关系如下

  • 函数选用标准\建议

    • G1:只要有可能就使用标准 I/O。
    • G2: 不要使用 scanf 或 rio_readlineb 来读二进制文件。
      • 这样的函数是专门用来读去文本文件的。
    • G3: 对网络套接字的 I/O 使用 RIO 函数。
      • 标准IO在网络中的输入输出中存在问题。
    • 对于标准IO来说,一般认为是全双工的,除以下两种情况
      • 限制一 :跟在输出函数之后的输入函数。
        • 如果中间没有插人对 fflush(清空与流相关的缓冲区)、fseek、 fsetpos 或者 rewind (三者数使用 Unix I/O lseek 函数重置当前的文件位置)的调用,一个输人函数不能跟随在一个输出函数之后。
      • 限制二:跟在输入函数之后的输出函数。
        • 如果中间没有插人对 fseek、 fsetpos 或者 rewind 的调用,一个输出函数不能跟随在一个输人函数之后,除非该输入函数遇到了一个文件结束。
  • 0
    点赞
  • 4
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

椰子奶糖

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值