UNIX文件共享

UNIX文件共享

    UNIX系统支持在不同的进程间共享打开的文件。内核使用3种数据结构表示打开的文件，它们之间的关系决定了在文件共享方面一个进程对另一个京城可能产生的影响。

    (1)每个进程在进程表中都有一个记录项，记录项中包含一张打开文件描述符表，可将其视为一个矢量，每个描述符占用一项。与每个文件描述符关联的是：

       a.文件描述符标志

       b.指向一个文件表项的指针

    (2)内核为多有打开文件维持一张文件表。每个文件表包含：

       a.文件状态标志(读、写、添写、同步和非阻塞等)

       b.当前文件偏移量

       c.指向该文件v节点表项的指针

    (3)每个打开的文件或设备都有一个v节点(v-node)结构。v节点包含了文件类型和此文件进行各种操作的函数指针。对于大多数文件，v节点还包含了改文件的i节点(i-node，索引节点)。这些信息是在打开文件时从磁盘上读入内存的，所以，文件的所有相关信息都是随时可用的。例如，i节点包含了文件的所有者、文件长度、指向文件实际数据块在磁盘上所在的位置的指针等。

    注意：Linux没有使用v节点，而是使用了通用i节点结构。两种实现有所不同，但是在概念上v节点与i节点是一样的。两者指向文件系统特有的i节点结构。

    忽略了不影响讨论的的实现细节。例如：打开文件描述符可存放在用户空间(作为一个独立的对应于每个进程的结构，可以换出)，而非进程表中。这些表也可以采用多种方式实现，不必一定是一个数组，例如，可以将它们实现为结构的链表。如果忽略细节的话，通用概念是相同的。

    下图表示一个进程对应的3张表之间的关系：

    如果两个独立进程各自打开了同一文件，则关系如下图：

    我们假定第一个进程在文件描述符3上打开该文件，而另一个进程在文件描述符4上打开该文件。打开该文件的每个进程都获得各自的一个文件表项，但对一个给定的文件只有一个v节点表项。之所以每个进程都获得自己的文件表项，是因为这可以使每个进程都有自己的对该文件的当前偏移量。

    在完成每次write后，文件表项中的当前文件偏移量即增加所写入的字节数。如果这导致当前文件偏移量超出了当前的文件长度，则将i节点表项中的当前文件长度设置为当前稳健偏移量(也就是该文件加长了)；

    如果用O_APPEND标志打开一个文件，相应标志也被设置到文件表项的文件状态标志中。每次对这种具有追加写标志的文件执行写操作时，文件表项中的当前文件偏移量首相会被设置为i节点表项中的文件长度。这就是的每次写入的数据都追加到文件的当前尾端处。

    若一个文件使用lseek定位到文件的尾端，则文件表项中的当前文件偏移量被设置为i节点表项中的文件长度。这就使得每次写入的数据都追加到文件的当前尾端处。

    lseek函数只修改文件表项中的当前文件偏移量，不进行任何I/O操作。