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

1. 场景概述
    在多线程开发中。相互排斥锁能够用于对临界资源的保护,防止数据的不一致。这是最为普遍的用法。那在多进程中怎样处理文件之间的同步呢?我们看看以下的图:
                                     

watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvY3l3b3Nw/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/SouthEast" alt="">

图中所看到的的是两个进程在无同步的情况下同一时候更新同一个文件的过程,其基本的操作是:
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 (intfd,
int operation);
    fcntl()函数提供了比该函数更为强大的功能,而且所拥有的功能也覆盖了flock()所拥有的功能,可是在某些应用中任然使用着flock()函数,而且在继承和锁释放方面的一些语义 中flock()与fcntl()还是有所不同的。
    flock()系统调用是在整个文件里加锁。通过对传入的fd所指向的文件进行操作,然后在通过operation參数所设置的值来确定做什么样的操作。

operation能够赋例如以下值:

               

watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvY3l3b3Nw/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/SouthEast" alt="">

    在默认情况下,假设还有一个进程已经持有了文件上的一个不兼容的锁。那么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之前先放置一把锁。



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

每天进步一点点——Linux文件锁编程flock的更多相关文章

  1. Linux文件锁学习-flock, lockf, fcntl

    参考  linux中fcntl().lockf.flock的区别 这三个函数的作用都是给文件加锁,那它们有什么区别呢? 首先flock和fcntl是系统调用,而lockf是库函数.lockf实际上是f ...

  2. Linux文件锁flock

    Linux文件锁flock 在多个进程同时操作同一份文件的过程中,很容易导致文件中的数据混乱,需要锁操作来保证数据的完整性,这里介绍的针对文件的锁,称之为“文件锁”-flock. flock,建议性锁 ...

  3. Linux 文件锁

    当多个进程同时访问操作同一个文件时,我们怎么保证文件数据的正确性. linux通常采用的方法是文件上锁,来避免共享资源的产生竞争状态. 文件锁包括建议性锁和强制性的锁: 建议性的锁 :顾名思义,相对温 ...

  4. Linux 系统编程

    简介和主要概念 Linux 系统编程最突出的特点是要求系统程序员对它们工作的的系统的硬件和操作系统有深入和全面的了解,当然它们还有库和系统调用上的区别. 系统编程分为:驱动编程.用户空间编程和网络编程 ...

  5. 【深入浅出Linux网络编程】 &quot;开篇 -- 知其然,知其所以然&quot;

    [深入浅出Linux网络编程]是一个连载博客,内容源于本人的工作经验,旨在给读者提供靠谱高效的学习途径,不必在零散的互联网资源中浪费精力,快速的掌握Linux网络编程. 连载包含4篇,会陆续编写发出, ...

  6. 【linux草鞋应用编程系列】_5_ Linux网络编程

    一.网络通信简介   第一部分内容,暂时没法描述,内容实在太多,待后续专门的系列文章.   二.linux网络通信     在linux中继承了Unix下“一切皆文件”的思想, 在linux中要实现网 ...

  7. 学习linux/unix编程方法的建议(转)

    假设你是计算机科班出身,计算机系的基本课程如数据结构.操作系统.体系结构.编译原理.计算机网络你全修过 我想大概可以分为4个阶段,水平从低到高从安装使用=>linux常用命令=>linux ...

  8. Linux系统编程温故知新系列 --- 01

    1.大端法与小端法 大端法:按照从最高有效字节到最低有效字节的顺序存储,称为大端法 小端法:按照从最低有效字节到最高有效字节的顺序存储,称为小端法 网际协议使用大端字节序来传送TCP分节中的多字节整数 ...

  9. linux系统编程之错误处理

    在linux系统编程中,当系统调用出现错误时,有一个整型变量会被设置,这个整型变量就是errno,这个变量的定义在/usr/include/errno.h文件中 #ifndef _ERRNO_H /* ...

随机推荐

  1. Web安全相关(五):SQL注入(SQL Injection)

    简介 SQL注入攻击指的是通过构建特殊的输入作为参数传入Web应用程序,而这些输入大都是SQL语法里的一些组合,通过执行SQL语句进而执行攻击者所要的操作,其主要原因是程序没有细致地过滤用户输入的数据 ...

  2. SOUI开发者论坛

    http://www.lumaba.cn/forum.php?mod=forumdisplay&fid=2 需要的朋友可以上去交流.

  3. Fluent API 配置

    EF里实体关系配置的方法,有两种: Data Annotation方式配置 也可以 Fluent API 方式配置 Fluent API 配置的方法 EF里的实体关系 Fluent API 配置分为H ...

  4. C#基于Socket的简单聊天室实践

    序:实现一个基于Socket的简易的聊天室,实现的思路如下: 程序的结构:多个客户端+一个服务端,客户端都是向服务端发送消息,然后服务端转发给所有的客户端,这样形成一个简单的聊天室功能. 实现的细节: ...

  5. iOS 学习 - 9.Block 入门

    来自李明杰的视频. block 用来保存一段代码 block 的标志:^ block  跟函数很像: 1).可以保存代码  2).有返回值  3). 有形参 temp1:没有返回值.没有形参的 blo ...

  6. roscpp

    不服气不行,写ROS这伙就是比我知道的库函数多 inti函数:初始化节点是简单读些命令行参数和环境配置来配置节点名呀,命名空间呀和命名重映射之类东西. 其是在roscpp里面解释很清楚了,只是,我当时 ...

  7. maven3 手动安装本地jar到仓库

    安装命令: mvn install:install-file -Dfile={Path/to/your/ojdbc.jar} -DgroupId=com.oracle -DartifactId=ojd ...

  8. 68. Longest Common Prefix

    Longest Common Prefix Write a function to find the longest common prefix string amongst an array of ...

  9. 20135306黄韧[2.72 2.77 3.70](http://i.cnblogs.com/EditPosts.aspx?opt=1)

    2.72 A.size_t是无符号整数,因此左边都会先转换为无符号整数,它肯定是大于等于0的. B.判断条件改为 if(maxbytes > 0 && maxbytes > ...

  10. c#读取文本文档实践3-写入到文本本文档

    首先通过File.ReadAllLines()方法读入文本文档中内容并返回字符串数组contents,这样每行数据就成为了这个字符串数组contents的一个元素,再利用split()方法将每一个元素 ...