Linux系统编程12 系统调用IO - 文件描述符实现原理

学习自李慧琴老师

---

当我们使用 标准IO fopen 打开一个文件的时候，其实是调用的文件IO，即系统调用IO的 open来间接的打开文件，那他们之间是怎么映射的呢？

当一个进程使用 标准IO fopen()打开一个文件的时候，会返回一个 FILE* 指针，我们用该指针对文件进行操作，说明该指针指向的结构体空间的某处内保存着已经打开文件的相关信息，比如当前位置信息。

而fopen 最终会调用文件IO open，即 fopen --> open ，当调用到文件IO open 的时候，也会生成一个结构体，该结构体保存着目标文件的相关信息。

那么前面的问题：fopen()与open()之间是怎么映射的，就可以理解为是这两个结构体之间是怎么映射的。

说明：
首先每个进程都会有一个文件属性结构体的指针数组，存放在该进程的进程空间。用于保存 文件IO open()所生成的 结构体地址。默认该数组的前三项，分别是 标准输入,标准输出，标准出错。而后面的空间则用于保存该进程所打开的文件的相关信息结构体地址，即open()后，将得到的该文件的属性结构体地址保存在进程文件属性数组中，并将数组下标(即文件描述符)返回给 fopen()所生成的FILE结构体中对应位。这样 fopen()就可以通过文件属性结构体的指针数组的数组下标来访问 open()得到的文件属性结构体了。即文件描述符就是数组下标，一个int整形值。

整形数，数组下标，文件描述符优先使用当前可用范围内最小的。

前面说到的每个进程的的文件属性结构体指针数组，就是用来存储该文件打开的所有的文件的属性结构体地址，前面做了实验，一个进程最多可以打开1024个文件，其中三个是标准输入，标准输出，标准错误，其余1021就是所能打开的最多的文件数量，这里的1024即 该进程文件属性结构体指针数组的大小，可以通过 ulimit -n 命令修改该值，也就是修改数组的大小。注意，该数组 下标为 0 1 2 的位置默认分别是 标准输入，标准输出，标准错误，也就是说 会默认打开三个设备标准输入，标准输出，标准错误，这三个设备会分别存放在0 1 2 的下标位置。其他开打的文件属性结构体地址 从 下标为3的地方开始 存放，并且存放的规则是 如果有下标较小的位置，则存放在 最小的下标位置。

情景1 ：一个进程中打开两个不同的文件：

对应的flose()的操作其实就是清空 open 得到的文件属性结构体空间。

情景2：一个进程打开两次同一个文件
会返回不同的文件描述符。同样 fclose()的时候清除的是各自文件描述所对应的 文件属性结构体，不会相互影响。

情景3：当一个进程的不同的文件描述符对应同一个文件属性结构体

如下图。该进程的文件描述4 和 6，即文件属性结构体指针数组的下标4和6保存的是同一个文件属性结构体的地址，这种情况，如果fclose()其中任意一个文件描述符，会不会马上清除掉对应的 文件属性结构体空间，也就是说如果关闭了4，那么6会不会就成了一个野指针，就不能用了呢？答案是肯定不会的，如果是这样的话那漏洞也太大了，那么Linux 是怎么应对这种情况的呢？因为文件属性结构体中有一个count计数器，他用来计算有多少个文件描述符对应自己，即被几个指针所引用，每当有文件描述符 fclose的时候，count 就会自减1，直至count 自减至0，则清空该文件属性结构体空间，否则不会清空。