seqlock

https://www.kernel.org/doc/html/latest/locking/seqlock.html 中介绍了多种模式，这里仅仅是其中很简单的部分了。

基本实现

基本想法很简单:

1. writer 首先互斥
2. reader 原理，如果在 read 的过程中发现了中间存在 writer 修改过内容，那么就重试。

static inline void write_seqlock(seqlock_t *sl)
{
	spin_lock(&sl->lock);
	do_write_seqcount_begin(&sl->seqcount.seqcount);
}

static inline void do_raw_write_seqcount_end(seqcount_t *s)
{
	smp_wmb();
	s->sequence++;
}

static inline unsigned read_seqbegin(const seqlock_t *sl)
{
	return read_seqcount_begin(&sl->seqcount);
}

细节的考虑，似乎不仅仅有 spinlock ，但是如果是 mutex 或者 rwlock 的话， 那么岂不是，也可以有两个 lock 吗？

• 为什么需要使用 memory barrier ?

使用场景

既然都是考虑多读少写的场景，那么?

1. 为什么不去直接使用 rwlock ?

• https://stackoverflow.com/questions/55746320/why-rwlock-is-more-popular-than-seqlock-in-linux-kernel
  • seqlock 中 reader 不会 lock writer
  • 但是 seqlock 要求 reader 可以处理 data race 的数据

1. 为什么不去使用 RCU ?

rcu 用于保证这个资源不可释放，但是 seqlock 在 reader 中可以做多个操作，只要操作期间是没有 writer 的 也这个比 RCU 使用范围更广，但是开销更大。

QEMU 的实现

include/qemu/seqlock.h 中，更加简洁明了:

/* Lock out other writers and update the count.  */
static inline void seqlock_write_lock_impl(QemuSeqLock *sl, QemuLockable *lock)
{
    qemu_lockable_lock(lock);
    seqlock_write_begin(sl);
}

• 其他的实现 https://github.com/rigtorp/Seqlock

案例

dcache.c:d_lookup 的锁

TODO

1. raw_write_seqcount_latch 上写了好长的注释哦

本站所有文章转发 CSDN 将按侵权追究法律责任，其它情况随意。