seq_lock的典型应用及内幕

源自：http://www.2cto.com/kf/201106/92967.html

1 Overview
   Linux内核中常见的同步机制有Atomic Operation，Spin Locks，Semaphore，Mutex等。其中Spin Locks和Semaphore都支持读/写锁。此外，Linux内核还支持一种更轻量级的读/写锁定机制：Sequential Lock。跟其它读/写锁定机制相比，Sequential Lock有以下特点：
在获取锁时偏向写锁。只要他人不持有写锁，那么获得写锁的操作总是能够成功。
读操作时不需要获得锁（即读操作永远不会被阻塞），然而在有些情况下读操作需要重试。
Sequential Lock更轻量级，可伸缩性相对更好。
2 Linux Kernels Implementation
   以下是2.6版本的内核中，Sequential Lock的实现：
C代码 
typedef struct { 
  unsigned sequence; 
  spinlock_t lock; 
} seqlock_t; 
 
static inline void write_seqlock(seqlock_t *sl) 
{ 
  spin_lock(&sl->lock); 
  ++sl->sequence; 
  smp_wmb(); 
} 
 
static inline void write_sequnlock(seqlock_t *sl) 
{ 
  smp_wmb(); 
  sl->sequence++; 
  spin_unlock(&sl->lock); 
} 
 
static __always_inline unsigned read_seqbegin(const seqlock_t *sl) 
{ 
  unsigned ret = sl->sequence; 
  smp_rmb(); 
  return ret; 
} 
 
static __always_inline int read_seqretry(const seqlock_t *sl, unsigned iv) 
{ 
  smp_rmb(); 
  return (iv & 1) | (sl->sequence ^ iv);  /＊因为write_seqlock和write_unseqlock相当于sl->sequence执行了两次加1操作，为偶数，故iv&1为0，因此通过判断iv&1可以知道写锁 是否释放*/
} 
   以上代码中，通过使用spin lock保证了write操作的原子性。需要注意的是，Linux spin lock是非可重入锁，这也是read_seqretry方法中可以通过(iv & 1)判断一个写操作是否正在进行中的原因。此外，Linux spin lock只能保证原子性，为了避免由于编译器或者处理器对指令的重排序（例如x86平台不会对写操作重排序，但是可能会对读操作进行重排序）所导致的潜在问题，seqlock使用memory barrier（smp_wmb和smp_rmb）保证了内存可见性。

   seqlock的用法如下：
   To define a seqlock:
C代码 
seqlock_t mr_seq_lock = DEFINE_SEQLOCK(mr_seq_lock); 
   The write path:
C代码 
write_seqlock(&mr_seq_lock); 
/* write lock is obtained... */ 
write_sequnlock(&mr_seq_lock); 
   The read path:
C代码 
unsigned long seq; 
do { 
  seq = read_seqbegin(&mr_seq_lock); 
  /* read data here ... */ 
} while (read_seqretry(&mr_seq_lock, seq)); 
 
  seqlock的典型使用场景如下：
跟读操作的数量相比，写操作的数量很少。
在锁获取时，希望写操作优先。
  使用seqlock的注意事项：
读操作耗时应比较短，否则容易导致过多次的读重试。
由于在读的过程中写操作可能正在修改数据，因此读操作可能会读取到某种不一致的状态。所以进行读取时，需要保护性的验证，以避免因读取不一致的错误数据导致错读。