zoukankan      html  css  js  c++  java
  • 每天进步一点点——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 (intfd, int 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之前先放置一把锁。




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

  • 相关阅读:
    What version of .NET Framework is integrated into what version of OS?
    《千字文》古今第一文,1000字无重复,囊括各个方面的知识!
    这些习惯正在阻碍你的成长(你正在做。。。)
    百家讲坛另附笔记
    百家讲坛之曾国藩笔记
    《挪威的森林》经典语录
    《悲伤逆流成河》台词摘抄
    2018年11月29日,晴
    关于描述的一些感悟
    2018年11月27日, 晴
  • 原文地址:https://www.cnblogs.com/mfrbuaa/p/4748797.html
Copyright © 2011-2022 走看看