O_EXCL
时间:2011-05-27 来源:核桃in
O_EXCL:如果该标志和O_CREAT一起制定,那么IPC函数只在所指定名字的消息队列、信号量或共享内存区对象不存在时才创建对象。如果该对象已经存在,而且制定了0_CREAT|O_EXCL,那么返回一个EEXIST错误。
考虑到其他进程的存在,检查所指定名字的消息队列、信号量或共享内存区对象的存在与否和创建它(如果它不存在),这两步必须是原子的。(UNIX网络编程卷2,P17)
读到“如果该对象已经存在,而且制定了0_CREAT|O_EXCL,那么返回一个EEXIST错误”时有些困惑,为什么要返回错误呢?打开对象不就行了么?
确保创建一个文件的时候没有其它的同名文件,这样做有什么好处?
设想这样一个需求:某个任务要求只能单个进程执行,不能多个进程同时执行。
但是不能确保多个进程同时启动,尝试执行这个任务。
这样就进一步要求,只有第一个执行的进程可以继续,后续尝试执行的进程都报错退出。
比如应用程序1依赖于并读写文件A, 而你写的程序2创建并依赖A, 那么程序2就干扰了程序1. 如果你创建文件的时候加O_EXCL, 那么程序直接报错,以提醒你更换一个文件名,以避免上述情况的发生.
解决的方案之一就是使用带有O_EXCL标志的open()尝试打开一个文件。第一个进程执行时文件并不存在,它能成功创建文件并继续执行。第二个及后续的其它进程会因为文件已存在,从而open()失败,进程退出。
如果不使用O_EXCL标志,那你的代码可能要这样写:
if( access(file, R_OK) == -1 ) /* 首先检查文件是否存在 */
open(file, O_RDWR | O_CREAT,0666); /* 如果不存在,那我创建一个这样的文件 */
... /* 继续执行任务 */
但这个逻辑是有潜在的问题的,那就是判断文件是否存在与创建文件是两个独立的系统调用。
如果进程1执行access,判断出文件并不存在;
然后由于操作系统的调度策略,进程1暂停执行,进程2执行,进程2也会判断出文件不存在。
最终结果就是:两个进程调用open时都会成功,然后继续执行。这样就有多个进程同时执行这个任务了。
因此每次创建进程单独使用文件时都要将标志位写成0_CREAT|O_EXCL。