原子操作(Atomic Operation)

Unix系统编程中的原子操作类似于数据库中事务的概念,一个操作可以由许多个步骤组成,这些步骤要么全部完成,要么不执行。
在Unix中,所有的(内核级别的???)系统调用都是原子操作,非原子的操作在多进程/多线程环境中一个典型的问题如多个进程同时向一个打开的文件写数据,早期的Unix系统open函数不支持O_APPEND,一个进程想向文件中添加数据时,典型的写法是
if(lseek(fd, 0L, 2) < 0)
    err_sys("lseek error");
if(write(fd,buf,100) != 100)
    err_sys("write error");

这样的写法在单进程环境下没有问题,但是在多进程的时候就有可能出现问题。因为内核有可能在进程A执行了lseek还没执行write的时候调度进程B(详细解释在APUE3.11)
所以在open文件的时候加入O_APPEND,每次write调用时,在写入数据之前内核会首先将该进程指向的文件表中的file status flags指向EOF,即写入文件末尾这个操作是一个原子操作。

问题:
如果一个文件用open("file",O_RDWR | O_APPEND)打开,可以使用lseek来进行任意的read和write么?
read可以,write不行,因为使用lseek将当前的file status flags定位到任意地方之后,在write操作执行之前,由于O_APPEND,内核会重新将标志置为EOF.所以lseek此时对write失效。

猜你喜欢

转载自flyingv.iteye.com/blog/754902