Linux 内核有非常多的锁机制，如：自旋锁、读写锁、信号量和 RCU 锁等。本文介绍一种和读写锁比较相似的锁机制：顺序锁（seqlock）。

顺序锁与读写锁一样，都是针对多读少写且快速处理的锁机制。而顺序锁和读写锁的区别就在于：读写锁的读锁会阻塞写锁，而顺序锁的读锁不会阻塞写锁。

读锁原理

为了让读锁不阻塞写锁，读锁并不会真正进行上锁操作。那么读锁是如何避免在读取临界区数据时，数据被其他进程修改了？

为了解决这个问题，顺序锁使用了一种类似于版本号的机制：序号。序号是一个只增不减的计数器，可以从顺序锁对象的定义看出，如下代码所示：

在读取临界区数据前，首先需要调用 read_seqbegin() 函数来获取读锁，read_seqbegin() 函数的核心逻辑是读取顺序锁的序号。代码如下所示：

从上面的代码可以看出，read_seqbegin() 函数只获取顺序锁的序号，并不会进行上锁操作，所以读锁并不会阻塞写锁。

注意：序号是单数时需要重新获取的原因，会在分析写锁实现原理时说明。

既然读锁并不会进行上锁操作，如果在读取临界区数据时，数据被修改了怎么办呢？答案就是：在退出临界区时，比较一下当前顺序锁的序号跟之前读取的序号是否一致。如果一致表示数据没有被修改，否则说明数据已经被修改。如果数据被修改了，那么需要重新读取临界区的数据。

比较序号是否一致可以使用 read_seqretry() 函数，所以读锁的正确用法如下代码所示：

read_seqretry() 函数的实现非常简单，如下所示：

从上面代码可以看出，read_seqretry() 函数只是简单比较当前序号与之前读取到的序号是否一致。

【文章福利】小编推荐自己的Linux内核技术交流群:【749907784】整理了一些个人觉得比较好的学习书籍、视频资料共享在群文件里面，有需要的可以自行添加哦！！！（含视频教程、电子书、实战项目及代码)     

写锁原理

从上面的分析可知，读锁是通过对比前后序号是否一致来判断数据是否被修改的。那么序号在什么时候被修改呢？答案就是：获取写锁时。

获取写锁是通过 write_seqlock() 函数来实现的，其实现也比较简单，代码如下所示：

write_seqlock() 函数首先会获取自旋锁（所以写锁与写锁之间是互斥的），然后对序号进行加一操作。所以，在修改临界区数据前，写锁先会增加序号的值，这样就会导致读锁前后两次获取的序号不一致。我们可以用下图来说明这种情况：

seqlock原理

可以看出，当在读临界区前后获取的序号值不一致时，就表示数据已经被修改，这时就需要重新读取被修改后的数据。

写锁解锁也很简单，代码如下：

解锁也需要对序号进行加一操作，然后释放自旋锁。

由于 write_seqlock() 函数与 write_sequnlock() 函数都会对序号进行加一操作，所以解锁后，序号的值必定为双数。

我们在分析读锁时看到，如果序号是单数时会重新获取序号，直到序号为双数为止。这是因为序号单数时，表示正在更新数据。此时读取临界区的值是没有意义的，所以需要等到更新完毕再读取。

原文作者：Linux内核那些事