文件I/O（不带缓冲）之原子操作


一、添写至一个文件

考虑一个进程，它要将数据添加到一个文件尾端。早期的UNIX系统并不支持open的O_APPEND选项，所以程序被编写成下列形式：

( lseek( fd, ,  ) <  )        ( write( fd, buf,  ) !=  )         );

对单个进程而言，这段程序能正常工作，但若有多个进程同时使用这种方法将数据添加到同一文件，则会产生问题。

假定有两个独立的进程A和B都对同一文件进行添加操作。每个进程都已打开了该文件，但未使用O_APPEND标志。此时，各数据结构之间的关系如图3-2所示（参考【文件I/O（不带缓冲）之文件共享】）。每个进程都有它自己的文件表项，但是共享一个v节点表项。假定进程A调用了lseek，它将进程A的该文件当前偏移量设置为1500字节（当前文件尾端处）。然后内核切换进程使进程B运行。进程B执行lseek，也将其对该文件的当前偏移量设置为1500字节（当前文件尾端处）。然后B调用write，它将B的该文件当前文件偏移量增至1600.因为该文件的长度已经增加了，所以内核对v节点中的当前文件长度更新为1600。然后，内核又进行进程切换使进程A恢复运行。当A调用write时，就从其当前文件偏移量（1500字节）处将数据写到文件中去。这样也就代换了进程B刚写到该文件中的数据。

问题出在逻辑操作“定位到文件尾端处，然后写”上，它使用了两个分开的函数调用。解决问题的方法是使这两个操作对于其他进程而言成为一个原子操作。

UNIX提供了一种方法使这种操作成为原子操作，该方法是在打开文件时设置O_APPEND标志。这就使内核每次对这种文件进行写之前，都将进程的当前偏移量设置到该文件的尾端处，于是在每次写之前就不再需要调用lseek。

二、pread和pwrite函数

Single UNIX Specification包括了XSI扩展，该扩展允许原子性地定位搜索（seek）和执行I/O。pread和pwrite就是这种扩展。

#include <unistd.h> filedes,  *- filedes,   *-

调用pread相当于顺序调用lseek和read，但是pread又与这种顺序调用有下列重要的区别：

  • 调用pread时，无法中断其定位和读操作。
  • 不更新文件指针。

调用pwrite相当于顺序调用lseek和write，但也与他们有类似的区别。

       #define _XOPEN_SOURCE 500

       pread()  reads  up to count bytes from file descriptor fd at offset        (from the start of the file) into the buffer starting at  buf.          offset is not changed.

       file descriptor fd at offset offset.

       On success, the number of bytes read or written is  returned  (zero  indi-
       cates  that  nothing was written, in the case of pwrite(), or end of file,

      cate the error.

三、创建一个文件

对open函数同时指定O_CREAT和O_EXCL选项，如果该文件已经存在时，open将失败。检查该文件是否存在以及创建该文件这两个操作是作为一个原子操作执行的。如果没有这样一个原子操作，那么可能会编写下列程序段：

( ( fd = open( pathname, O_WRONLY )) < ( errno ==(( fd = creat( pathname, mode )) <

如果在open和creat之间，另一个进程创建了该文件，那么就会引起问题。例如，若在这两个函数调用之间，另一个进程创建了该文件，并且写进了一些数据，然后，原先的进程执行这段程序中的creat，这时，刚由另一个进程写上去的数据就会被擦去。如若将这两者合并在一个原子操作中，这种问题也就不会产生。

一般而言，

相关内容