今天再看Linux C编程的第六章时,鸭鸭又发现了一个问题= =
在open的时候常常会使用O_CREAT | O_EXCL(或运算,相当于+),比如:open(“yaya.c”,O_CREAT|O_EXCL,S_IRUSR|S_IWUSR);
O_CREAT:文件存在则使用,不存在则新建
O_EXCL:检查文件是否存在,不存在则新建,存在则返回错误信息
那如果鸭鸭只是想打开一个文件,直接用O_CREAT不就可以了吗?一定要用O_CREAT|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时都会成功,然后继续执行。这样就有多个进程同时执行这个任务了。
通过这个例子,我们就可以看出单独使用 O_EXCL和使用O_CREAT | O_EXCL的区别:
单独使用 O_CREAT ,适用于调用open(),无论文件是否存在,都可以满足需求的场景;
只是在open之后我们并不知道该文件是本来就存在还是是刚刚新建的,但如果有这种需求的话,最好还是使用O_CREAT | O_EXCL。
鸭鸭认为还是这种方式比较符合正常思维,它可以提供给程序员更多的信息。
在网上看到有说O_CREAT | O_EXCL是一个原子操作(神马???)
原子操作(atomic operation)意为不可被中断的一个或一系列操作。
但是还没有找到确定这种说法的资料。。。
嗯不纠结了,总之现在知道O_CREAT | O_EXCL的作用了^_^
暑假前看这一部分的时候并没有注意到这个细节,也没有多想,所以看书还是要多温习,总能发现一些新知识哒~
——2017.7.19 16:20