每天进步一点点——Linux文件锁编程flock

简介:

转载请注明出处:http://blog.csdn.net/cywosp/article/details/30083015


1. 场景概述
    在多线程开发中。相互排斥锁能够用于对临界资源的保护,防止数据的不一致。这是最为普遍的用法。那在多进程中怎样处理文件之间的同步呢?我们看看以下的图:
                                     
图中所看到的的是两个进程在无同步的情况下同一时候更新同一个文件的过程,其基本的操作是:
1. 从文件里读取序号。
2. 使用这个序号完毕应用程序定义的任务。

3. 递增这个序号并将其写回文件里。
从图中可得知两个进程读取分别添加了所读取到的序号,并写回到了文件里。可是假设有相互相互排斥的话,最后的值应该是1002,而不是所看到的的1001。

为了防止出现这样的情况,Linux提供了flock(对整个文件加锁)、fcntl(对整个文件区域加锁)两个函数来做进程间的文件同步。同一时候也可以使用信号量来完毕所需的同步。但通常使用文件锁会更好一些。由于内核可以自己主动将锁与文件关联起来。


2. flock()
    flock的声明例如以下
#include <sys/file.h>

// Returns 0 on success, or -1 on error
int flock (intfdint operation);
    fcntl()函数提供了比该函数更为强大的功能,而且所拥有的功能也覆盖了flock()所拥有的功能,可是在某些应用中任然使用着flock()函数,而且在继承和锁释放方面的一些语义 中flock()与fcntl()还是有所不同的。
    flock()系统调用是在整个文件里加锁。通过对传入的fd所指向的文件进行操作,然后在通过operation參数所设置的值来确定做什么样的操作。

operation能够赋例如以下值:

                
    在默认情况下,假设还有一个进程已经持有了文件上的一个不兼容的锁。那么flock()会堵塞。假设须要防止这样的情况的出现。能够在operation參数中对这些值取OR(|)。在这样的情况下,假设一个进程已经持有了文件上的一个不兼容锁。那么flock()就会堵塞,相反,它会返回-1,并将errno设置成EWOULDBLOCK。

    随意数量的进程可同一时候持有一个文件上的共享锁。但子随意时刻仅仅能有一个进程可以持有一个文件上的相互排斥锁,(这有点类似读写锁)。

下图是进程A先设置了锁,进程B后设置锁的支持情况:

                
不管程序以什么模式打开了文件(读、写或者读写),该文件上都能够放置一把共享锁或相互排斥锁。

在实际操作过程中,參数operation能够指定相应的值将共享锁转换成相互排斥锁(反之亦然)。

将一个共享锁转换成相互排斥锁,假设还有一个进程要获取该文件的共享锁则会堵塞。除非operation參数指定了LOCK_NB标记,即:(LOCK_SH | LOCK_NB)。锁的转换过程不是一个原子操作。在转换的过程中首先会删除既有的锁,然后创建新锁。


3. 锁继承与释放的语义
    flock()依据调用时operation參数传入LOCK_UN的值来释放一个文件锁。

此外。锁会在对应的文件描写叙述符被关闭之后自己主动释放。

同一时候,当一个文件描写叙述符被复制时(dup()、dup2()、或一个fcntl() F_DUPFD操作),新的文件描写叙述符会引用同一个文件锁。

flock(fd, LOCK_EX);
new_fd = dup(fd);
flock(new_fd, LOCK_UN);
这段代码先在fd上设置一个相互排斥锁。然后通过fd创建一个指向同样文件的新文件描写叙述符new_fd。最后通过new_fd来解锁。

从而我们能够得知新的文件描写叙述符指向了同一个锁。所以,假设通过一个特定的文件描写叙述符获取了一个锁而且创建了该描写叙述符的一个或多个副本,那么,假设不显示的调用一个解锁操作,仅仅有当文件描写叙述符副本都被关闭了之后锁才会被释放。

    由上我们能够推出。假设使用fork()创建一个子进程。子进程会复制父进程中的全部描写叙述符。从而使得它们也会指向同一个文件锁。比如以下的代码会导致一个子进程删除一个父进程的锁:
flock (fd, LOCK_EX);
if (0 == fork ()) {
    flock (fd, LOCK_UN);
}
所以,有时候能够利用这些语义来将一个文件锁从父进程传输到子进程:在fork()之后,父进程关闭其文件描写叙述符。然后锁就仅仅在子进程的控制之下了。

通过fork()创建的锁在exec()中会得以保留(除非在文件描写叙述符上设置了close-on-exec标记而且该文件描写叙述符是最后一个引用底层的打开文件描写叙述的描写叙述符)。

    假设程序中使用open()来获取第二个引用同一个文件的描写叙述符,那么。flock()会将其视为不同的文件描写叙述符。例如以下代码会在第二个flock()上堵塞。
fd1 = open ("test.txt", O_RDWD);
fd2 = open ("test.txt", O_RDWD);
flock (fd1, LOCK_EX);
flock (fd2, LOCK_EX);

4. flock()的限制
flock()放置的锁有例如以下限制
  • 仅仅能对整个文件进行加锁。这样的粗粒度的加锁会限制协作进程间的并发。假如存在多个进程,当中各个进程都想同一时候訪问同一个文件的不同部分。

  • 通过flock()仅仅能放置劝告式锁。
  • 非常多NFS实现不识别flock()放置的锁。

凝视:在默认情况下,文件锁是劝告式的,这表示一个进程可以简单地忽略还有一个进程在文件上放置的锁。要使得劝告式加锁模型可以正常工作。全部訪问文件的进程都必需要配合,即在运行文件IO之前先放置一把锁。




版权声明:本文博客原创文章,博客,未经同意,不得转载。








本文转自mfrbuaa博客园博客,原文链接:http://www.cnblogs.com/mfrbuaa/p/4748797.html,如需转载请自行联系原作者


相关文章
|
2月前
|
消息中间件 存储 缓存
【嵌入式软件工程师面经】Linux系统编程(线程进程)
【嵌入式软件工程师面经】Linux系统编程(线程进程)
79 1
|
1天前
|
Linux 程序员 开发者
源社区的兴起:从“代码隐士”到Linux引领的“全球编程嘉年华”
在编程的古老森林中,曾有“代码隐士”默默耕耘,惧怕智慧外泄。直到“开源”春风拂过,源社区如全球编程嘉年华盛开!开源文化颠覆了“独门秘籍”的传统,像“武林秘籍共享”般在网络上公开,鼓励知识传播与智慧碰撞。程序员组队开发,分享代码,提升科技实力。Linux则从“首席大厨”变身为“总导演”,以强大内核调制出诱人应用,引领潮流并推动技术创新。加入这场没有血腥厮杀,只有知识盛宴的“编程版《饥饿游戏》”吧!与全球开发者共享编程的乐趣与成就感!别忘了带上你的“独门秘籍”,可能下一个改变世界的创意就在其中!
17 7
|
16天前
|
监控 Shell Linux
探索Linux操作系统下的Shell编程之魅力
【8月更文挑战第4天】本文旨在通过一系列精心设计的示例和分析,揭示在Linux环境下进行Shell编程的独特之处及其强大功能。我们将从基础语法入手,逐步深入到脚本的编写与执行,最终通过实际代码案例展现Shell编程在日常系统管理和自动化任务中的应用价值。文章不仅适合初学者构建扎实的基础,同时也为有一定经验的开发者提供进阶技巧。
29 11
|
16天前
|
Ubuntu Linux 开发工具
深入探索Linux内核模块编程
【8月更文挑战第4天】在这篇文章中,我们不仅将探讨Linux内核模块的基础知识,还将通过一个实际的例子来展示如何编写一个简单的内核模块。我们将从理论出发,逐步过渡到动手实践,最终实现一个可以在Linux系统上运行的模块。文章的目标是为读者提供足够的信息和知识,以便他们能够自己编写内核模块,从而对操作系统的内部工作原理有更深入的了解。
|
23天前
|
Linux C语言 Windows
C语言文件编程-Linux环境下运行
本文介绍了在Linux环境下使用C语言进行文件编程时的两种主要接口:C标准库函数与Linux系统调用。C标准库提供了`fopen`, `fread`, `fwrite`, 和 `fclose`等函数,适用于普通文件操作;而Linux系统调用如`open`, `read`, `write`, 和 `close`则更适合处理设备文件,同时也可用于普通文件。这两种方法的主要区别在于前者使用文件指针,后者使用文件描述符。文章还给出了两个示例程序:一个使用C标准库函数实现文件复制,另一个则使用Linux系统调用完成相同任务。
19 2
|
1月前
|
Linux 网络安全 开发工具
linux 常用命令【编程必备】
linux 常用命令【编程必备】
33 4
|
1月前
|
小程序 Linux
【编程小实验】利用Linux fork()与文件I/O:父进程与子进程协同实现高效cp命令(前半文件与后半文件并行复制)
这个小程序是在文件IO的基础上去结合父子进程的一个使用,利用父子进程相互独立的特点实现对数据不同的操作
|
1月前
|
缓存 网络协议 算法
【Linux系统编程】深入剖析:四大IO模型机制与应用(阻塞、非阻塞、多路复用、信号驱动IO 全解读)
在Linux环境下,主要存在四种IO模型,它们分别是阻塞IO(Blocking IO)、非阻塞IO(Non-blocking IO)、IO多路复用(I/O Multiplexing)和异步IO(Asynchronous IO)。下面我将逐一介绍这些模型的定义:
|
2月前
|
算法 Linux 测试技术
Linux编程:测试-高效内存复制与随机数生成的性能
该文探讨了软件工程中的性能优化,重点关注内存复制和随机数生成。文章通过测试指出,`g_memmove`在内存复制中表现出显著优势,比简单for循环快约32倍。在随机数生成方面,`GRand`库在1000万次循环中的效率超过传统`rand()`。文中提供了测试代码和Makefile,建议在性能关键场景中使用`memcpy`、`g_memmove`以及高效的随机数生成库。
|
2月前
|
机器学习/深度学习 Unix Java
技术笔记:Linux之Shell脚本编程(一)
技术笔记:Linux之Shell脚本编程(一)
36 0