[a] 概念
- 建议锁:在遵循相同记录锁规则的进程/线程间生效,通常用于保证某个程序自身多个进程/线程间的数据一致性
- 强制锁:意在保证所有进程间的数据一致性,但不一定有效;如不能应对先 unlink 后建立同名副本的行为
[b] fcntl
#include <fcntl.h>
int fcntl(int fd, int cmd, struct flock *flockp) //出错返回 -1
struct flock {
short l_type; //锁类型:F_RDLCK / F_WRLCK / F_UNLCK
short l_whence; //偏移基准:SEEK_SET / SEEK_CUR / SEEK_END
off_t l_start; //相对于 l_whence 的偏移量(byte)
off_t l_len; //加锁区域的长度(byte)
pid_t l_pid; //仅对 F_GETLK 有意义,获取当前拥有锁的进程 ID
}
- 操纵记录锁时,fcntl 的第三个参数是一个指向 flock 结构体的指针
- cmd 可以为 F_GETLK / F_SETLK / F_SETLKW,分别用于获取文件的锁状态、设置锁(非阻塞)、设置锁(阻塞)
- struct flock 中 l_len 字段若设置为 0,表示区段范围动态扩展至文件末尾, 如加锁之后在文件末尾追加的任何数据将被锁定,若设置为 -1,表示 l_start 之前的所有数据;l_type 字段设置为 F_UNLCK 时用于清除指定的锁
- 同一进程对同一文件的同一区段重复加锁,新锁会取代旧锁,旧锁即时失效
- 执行 F_GETLCK 时,目前的锁状态信息会被写入 flock 结构体中
[c] 死锁
- 两个进程相互等待对方持有的锁且不释放自己锁定的资源时,会形成死锁
- 现代的操作系统会自动解开死锁,通常是使其中一个进程的出错返回,而另一个进程成功获得锁,但不能确定一定是哪个进程获得锁
[d] 锁的隐含继承和释放
- 进程终止时,其所建立的锁会全部释放
- 当多个文件描述符关联到同一个文件时,其中任何一个文件描述符关闭,将会导致锁被释放
- fork 之后的子进程不继承父进程的锁,exec 之后的进程继承原进程的锁(若设置了 close-on-exec 标志,则不继承)
[e] 在文件末尾加锁
- 由于文件末尾的位置会随着追加数据而变化,故解锁时需要注意指定正确的范围
[f] 锁的组合与分裂
- 若对两个已加锁的区段中间的部分全部加锁,则此三部分会组合成一个锁
- 若对已经加锁的区段中间的一部分进行解锁,则原锁会被自动分裂为两个锁