Linux内核的同步机制(API函数) ..pdfVIP

本文详细的介绍了Linux 内核中的同步机制：原子操作、信号量、读写信号量和自旋锁的API，使用 要求以及一些典型示例 一、引言 在现代操作系统里，同一时间可能有多个内核执行流在执行，因此内核其实象多进程多线程编程 一样也需要一些同步机制来同步各执行单元对共享数据的访问。尤其是在多处理器系统上，更需要一 些同步机制来同步不同处理器上的执行单元对共享的数据的访问。 在主流的Linux 内核中包含了几乎所有现代的操作系统具有的同步机制，这些同步机制包括：原 子操作、信号量（semaphore ）、读写信号量（rw_semaphore ）、spinlock 、BKL(Big Kernel Lock)、 rwlock、brlock （只包含在2.4 内核中）、RCU （只包含在2.6 内核中）和seqlock （只包含在2.6 内 核中）。 二、原子操作 所谓原子操作，就是该操作绝不会在执行完毕前被任何其他任务或事件打断，也就说，它的最小 的执行单位，不可能有比它更小的执行单位，因此这里的原子实际是使用了物理学里的物质微粒的概 念。 原子操作需要硬件的支持，因此是架构相关的，其API 和原子类型的定义都定义在内核源码树的 include/asm/atomic.h 文件中，它们都使用汇编语言实现，因为C 语言并不能实现这样的操作。 原子操作主要用于实现资源计数，很多引用计数(refcnt)就是通过原子操作实现的。原子类型定义 如下： typedef struct { volatile int counter; } atomic_t; volatile 修饰字段告诉gcc 不要对该类型的数据做优化处理，对它的访问都是对内存的访问，而不 是对寄存器的访问。 原子操作API 包括： atomic_read(atomic_t * v); 该函数对原子类型的变量进行原子读操作，它返回原子类型的变量v 的值。 atomic_set(atomic_t * v, int i); 该函数设置原子类型的变量v 的值为i。 void atomic_add(int i, atomic_t *v); 该函数给原子类型的变量v 增加值i。 atomic_sub(int i, atomic_t *v); 该函数从原子类型的变量v 中减去i。 int atomic_sub_and_test(int i, atomic_t *v); 该函数从原子类型的变量v 中减去i，并判断结果是否为0，如果为0，返回真，否则返回假。 void atomic_inc(atomic_t *v); 该函数对原子类型变量v 原子地增加1。 void atomic_dec(atomic_t *v); 该函数对原子类型的变量v 原子地减1。 int atomic_dec_and_test(atomic_t *v); 该函数对原子类型的变量v 原子地减1，并判断结果是否为0，如果为0，返回真，否则返回假。 int atomic_inc_and_test(atomic_t *v); 该函数对原子类型的变量v 原子地增加 1，并判断结果是否为0，如果为0，返回真，否则返回假。 int atomic_add_negative(int i, atomic_t *v); 该函数对原子类型的变量v 原子地增加I，并判断结果是否为负数，如果是，返回真，否则返回假。 int atomic_add_return(int i, atomic_t *v); 该函数对原子类型的变量v 原子地增加i，并且返回指向v 的指针。 int atomic_sub_return(int i, atom