APUE（3）---文件I/O (2)

七.函数write

#include <unistd.h>
size_t write(int fd, const void *buf, size_t nbytes);
//若成功，返回已写字节数；若出错，返回-1

　　对于普通文件，写操作从文件的当前偏移量处开始。如果在打开文件时，制订了O_APPEND选项，则在每次写操作前，将文件偏移量设在文件的当前结尾处。在一次成功之后，该文件偏移量增加实际写的字节数。

八、I/O的效率

　　大多数文件系统为改善性能都采用某种预读（read ahead）技术。当检测到正进行顺序读取时，系统就试图读入比应用所要求的更多数据，并假想应用很快就会读这些数据。

九、文件共享

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

1.每个进程在进程表中都有一个记录项，记录项中包含一张打开文件描述符表，可将其视为一个矢量，每个描述符占用一项。与每个文件描述符相关联的是：a.文件描述符标志（close_on_exec）；b。只想一个文件表项的指针

2.内核为所有打开文件维持一张文件表。每个文件表项包含：a.文件状态标志（读、写、添写、同步和非阻塞等）；b.当前文件偏移量；c.指向文件v节点表象的指针

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

3-3：打开文件的内核结构

　　当两个进程同时打开一个文件时，两个进程都获得一个各自的文件表项是因为这可以使每个进程都有它自己的对该文件的当前偏移量，但对一个特定的文件只有一个v节点表项。下面进一步说明：

1.在完成每一个write后，在文件表项中的当前文件偏移量即增加所写入的字节数。如果这导致当前文件偏移量超出了当前文件长度，则将i节点表项中的当前设置成为当前文件偏移量

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

3.若一个文件用lseek定位到文件当前的尾端，则将文件表项中的当前文件偏移量设置为i节点表项中的当前文件长度（lseek是一次性的，O_APPEND是重复的）

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

　3-4：两个独立进程各自打开同一个文件

　　可能有多个文件描述符项指向同一个文件表项（dup函数），fork函数后，此时父进程、子进程各自的每一个打开文件描述符共享同一个文件表项。文件描述符标志只用于一个进程的一个描述符，文件状态标志则应用于指向该给定文件表项的任何进程中的所有描述符。

十、原子操作

　　一般而言：原子操作（atomic operation）指的是由多步组成的一个操作。如果该操作原子地执行，要么执行完所有步骤，要么一步也不执行，不可能只执行所有步骤的一个子集。

1、追加到一个文件

　　早期的UNIX本没有提供O_APPEND，追加操作只能通过lseek和write两个操作来完成，但是在这两个操作不是原子的，在多个进程同时操作一个文件时，可能发生A进程lseek到文件尾，B进程在文件尾写入了某些数据，这时A进程再写入，就可能覆盖B的数据。UNIX现在提供了O_APPEND操作来解决这个问题，在其内部的lseek和write是原子的，这样就能保证写入一定是结尾处。

2.函数pread和pwrite

　　与追加不同的是，这是两个读写的加强版

3.创建一个文件

　　对open函数现有O_CREAT和O_EXCL，当不存在要创建的文件时，创建文件，并成功返回；若文件已经存在，则返回，这是一个原子操作。如果没有这样一个原子操作，那莪们就只能先尝试去open，open失败再去create，但是在这两个操作间隙可能有其他操作创建了相应的文件，从而导致产生错误。

十一、函数dup和dup2

#include <unistd.h>
int dup(int fd);
int dup2(int fd, int fd2);
//若成功，则返回新的文件描述符，若失败，则返回-1

　　dup每次返回的新文件描述符一定是当前可用文件描述符中的最小值。对于dup2，可以用fd2指定新描述符的值。如果fd2已经打开，则将其关闭。如fd等于fd2，则dup2返回fd2，而不关闭它。够则fd2的FD_CLOEXEC文件描述符标志就被清除，这样fd2在进程调用exec时是打开状态。并且dup和dup2返回的新文件描述符是共享一个文件表项，这就意味着他们共享：文件状态标志、文件偏移量等信息。dup2也是一个原子操作，相当于一个close加fcntl，二者有细微差别。