从 0 开始学习 Linux 系列之「14.文件锁定」

原创 2018年04月17日 09:18:48

文件锁简介

锁是保护共享资源的一种方法。在许多 UNIX 系统上,如果一个文件同时被多个进程编辑,该文件的最后状态取决于写该文件的最后一个进程。但是对于一些特殊的程序,如数据库有时需要独占一个文件,这时就不能让这个文件被多个进程同时操作了。于是 UNIX 系统提供了文件锁来实现这种独占文件的功能。

文件锁:当一个进程正在读或者或者修改文件的某个部分时,使用锁可以阻止其他进程修改同一个文件区域,文件锁可以锁定整个文件或者文件中的一个区域。

文件锁 API

早期的 BSD 只支持 flock 函数,该函数只能对整个文件加锁,不能对文件中的一部分加锁。但是 POSIX 标准的加锁使用 fcntl,这个函数不仅能够对整个文件加锁,也能对文件区域加锁,还能实现其他的文件控制操作。

这个 fcntl 函数也非常重要,来认真学习下这个函数,你可以通过 man fcntl 来查看帮助手册。

fcntl 函数

函数声明如下:

#include <unistd.h>
#include <fcntl.h>

/*
 * fd: 文件描述符
 * cmd:F_GETLK,F_SETLK,F_SETLKW
 * arg:一个取决于 cmd 的可选参数
 * return:成功返回 0,失败返回 -1
 */
int fcntl(int fd, int cmd, ... /* arg */ );

其中 cmdarg 参数比较重要,我们详细介绍这两个参数。

arg 参数

这个参数是一个可选参数,指定文件加锁的详细信息,在加锁文件时我们都会指定这个参数。这个参数是一个指向 struct flock 结构的指针:

struct flock {
    ...
    short l_type;    
    short l_whence;
    off_t l_start;
    off_t l_len;  
    pid_t l_pid;
    ...
};

其中 5 个参数比较重要:
1. l_type:希望的锁的类型,F_RDLCK(共享读锁),F_WRLCK(独占性写锁),F_UNLCK(解锁)
2. l_whence:与 lseek 的参数相同,指定 l_start 从文件的何处开始偏移,SEEK_SET,SEEK_CUR, SEEK_END
3. l_start:加锁或者解锁的字节偏移量,与 l_whence 配合使用
4. l_len:要加锁或者解锁的字节长度
5. l_pid:进程 ID 为 l_pid 的进程能够阻塞加锁操作。

cmd 参数

这个参数有 3 种取值方式:
1. F_GETLK:判断当前文件是否被加锁,如果有锁则将现有锁的信息复制到 struct flock 中,否则设置 l_type = F_UNLCK
2. F_SETLK:设置由 arg 所描述的锁
3. F_SETLKW:如果请求的锁不能被授予,那么调用进程会被置为休眠

总体来讲:用 F_GETLK 来测试能够获得一把锁,然后用 F_SETLK 或者 F_SETLKW 尝试加上一把锁。

文件锁分类

按照锁的类型和系统中锁的属性可以分为下面的 2 类。

读锁(L_RDLCK)和写锁(L_WRLCK)

这两个锁的区别是:任意多个进程在一个给定的字节上可以有一把共享的读锁,但是在一个给定的字节上只能有一个进程有一把独占写锁

如下表所示:

lock_table

但是这个规则只适用不同进程之间的提出的锁请求。在单个进程下,如果在已有的锁上加新锁,则新锁会替换旧锁,也不管锁是何种类型。例如:读锁可以替换写锁,写锁也可以替换读锁。

强制锁和建议锁

  1. 强制锁:内核管理的底层锁,一个进程锁定后其他用户不能打开
  2. 建议锁:用户管理的上层锁,一个进程锁定后其他用户可以打开

Linux 默认加的是建议锁,如果需要加强制锁,则需要在文件系统上用 mount 命令的 -o mand 选项来打开强制锁机制,参考 man fcntl

实例:fcntl 锁定文件

为了更好的理解锁的机制,我们来写一个实际的加锁程序来锁定一个文件,然后测试是否加锁成功。

1. 对文件加建议锁

/*
 * file_lock.c
 */

#include <stdio.h>
#include <stdlib.h>
#include <sys/stat.h>
#include <sys/types.h>
#include <unistd.h>
#include <fcntl.h>

int main() {
    // 打开文件
    int fd = open("./hello.txt", O_RDWR | O_CREAT, 0666)  ;
    if(fd < 0) {
        printf("file open fail.\n");
        exit(1);
    }

    // 建立一个独占性写锁
    struct flock lock;
    lock.l_type = F_WRLCK;
    lock.l_whence = SEEK_SET;
    lock.l_start = 0;
    lock.l_len = 0;
    lock.l_pid = getpid();

    // 对 hello.txt 加锁
    if (fcntl(fd, F_SETLK, &lock) < 0)
        printf("fcntl error.\n");

    printf("Process %d has lock.\n", lock.l_pid);   

    while(1);
}

编译运行:

# 编译
gcc file_lock.c -o file_lock

# 运行
 ./file_lock
Process 11080 has lock.

# Ctrl - C 结束程序

然后我们启动另一个终端,尝试向 hello.txt 中写入数据,观察是否会阻塞:

echo hello_world >> hello.txt

cat hello.txt

# 写入成功了
hello_world

我们发现竟然写入成功了,我们不是已经加了锁了吗?其实这是因为默认加的是建议锁,建议锁可以被其他进程直接打开,因此可以写入成功。但是我们在程序中一般都是先F_GETLCK 主动判断要打开的文件是否有锁,例如下面这个例子:

2. 测试文件是否加锁成功

/*
 * lock_test.c
 */

#include <stdio.h>
#include <stdlib.h>
#include <sys/stat.h>
#include <sys/types.h>
#include <unistd.h>
#include <fcntl.h>

int main() {
    int fd = open("./hello.txt", O_RDWR | O_CREAT, 0666)  ;

    if(fd < 0) {
        printf("file open fail.\n");
        exit(1);
    }

    // 如果发现有进程已经对这个文件加锁
    // 那么现有锁的信息将重写下面的结构
    struct flock lock;
    lock.l_type = F_WRLCK;
    lock.l_whence = SEEK_SET;
    lock.l_start = 0;
    lock.l_len = 0;
    lock.l_pid = getpid();

    // 判断 hello.txt 上是否已经加锁
    if (fcntl(fd, F_GETLK, &lock) < 0)
        printf("fcntl error.\n");

    // 如果没有进程对文件加锁,只将 l_type 设置为 F_UNLCK,其他信息不变
    if (lock.l_type == F_UNLCK)
        printf("No process has the lock.\n");
    else
        printf("Process %d has the lock.\n", lock.l_pid);

    return 0;
}

我们编译运行:

gcc lock_test.c -o lock_test

./lock_test
No process has the lock.

发现当前 hello.txt 文件上没有锁,我们运行上一个 ./file_lock 程序:

./file_lock

Process 11080 has lock.
# while (1) 阻塞

这时进程 11080 已经对 hello.txt 加上了建议的独占性写锁,我们再次用 ./lock_test 测试这个文件是否被加锁:

./lock_test
Process 11080 has the lock.

可以看到这个文件已经被 11080 进程加锁了,我们之后就不要操作这个文件了。

记住在使用 fcntl 时,一定主要主动判断文件是否被加锁。

结语

文件锁是一个非常重要的话题,这篇博客主要介绍了一个重要的 fcntl 函数和文件锁的相关概念,一定要掌握这个函数的基本用法,其他重要的锁话题,例如死锁等,我们后面再议。感谢你的阅读,我们下次再见 :)

本文原创发布于微信公众号「cdeveloper」,编程、职场,人生,关注并回复关键字「linux」、「机器学习」等获取免费学习资料。


版权声明:本文已在我的公众号「cdeveloper」原创首发,转载请务必注明出处! https://blog.csdn.net/cdeveloperV/article/details/79969763

从0开始学习 GitHub 系列之「05.Git 进阶」

关于 Git 相信大家看了之前一系列的文章已经初步会使用了, 但是关于Git还有很多知识与技巧是你不知道的,今天就来给大家介绍下一些 Git 进阶的知识。1. 用户名和邮箱我们知道我们进行的每一次co...
  • googdev
  • googdev
  • 2016-10-11 14:27:44
  • 3894

从0开始学习Github

  • 2017年10月10日 15:42
  • 11.17MB
  • 下载

从零开始学java第一章 认识java

从零开始学java第一章 一、认识java        1. java的来源             众所周知,java是面向对象的变成语言。那么何为“面向对象”呢?这里就要引入一个思...
  • linan123456789
  • linan123456789
  • 2016-10-18 09:53:29
  • 1312

从零开始学习Linux

  • 2012年03月06日 18:05
  • 6.68MB
  • 下载

大数据学习路线(自己制定的,从零开始)

大数据已经火了很久了,一直想了解它学习它结果没时间,过年后终于有时间了,了解了一些资料,结合我自己的情况,初步整理了一个学习路线,有问题的希望大神指点。 学习路线 Li...
  • qq_26562641
  • qq_26562641
  • 2017-02-20 09:47:15
  • 1481

从零开始机器学习002-梯度下降算法

老师的课程 1.从零开始进行机器学习 2.机器学习数学基础(根据学生需求不断更新) 3.机器学习Python基础 4.最适合程序员的方式学习TensorFlow 上节课讲完线性...
  • Lyj19910516
  • Lyj19910516
  • 2017-12-25 16:01:25
  • 134

二叉树学习:从零基础到代码实现

二叉树的定义: 二叉树是节点的有限集合,该集合或者为空集,或者是由一个根和两颗互不相交的、称为该根的左子树和右子树的二叉树组成。 二叉树的性质: 1、二叉树第i(i>=1)层上至多有...
  • liyuxing6639801
  • liyuxing6639801
  • 2017-07-28 17:54:20
  • 302

超全整理】《Linux云计算从入门到精通》linux学习入门教程系列实战笔记全放送

http://www.magedu.com/74163.html?wztf-cbl 为了方便Linux云计算爱好者的学习查看,马哥Linx云计算团队特别整理了《Linux云计算从入门到精...
  • wer0735
  • wer0735
  • 2018-01-06 23:21:39
  • 330

从1开始编号,和从0开始编号的含义

一 从1开始编号      1,2,。。。,N,N+1,。。。      索引为N 表示:从开始到索引N(包括索引N) 一共有N个元素   二 从0开始编号      0,1,2,。。。,N...
  • shuilan0066
  • shuilan0066
  • 2012-05-24 13:55:38
  • 3021

从0开始学Python的过程以及对一些代码的见解

这是我在简单了解Python之后的做的一些简单的Python语言的运行 print(123) 输出结果 123 print('hello') 输出结果 hello str...
  • while10
  • while10
  • 2017-11-16 20:05:17
  • 109
收藏助手
不良信息举报
您举报文章:从 0 开始学习 Linux 系列之「14.文件锁定」
举报原因:
原因补充:

(最多只允许输入30个字)