linux内核的同步机制

《linux内核的同步机制》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、Linux内核的同步机制一、引言在现代操作系统里，同一时间可能有多个内核执行流在执行，因此内核其实象多进程多线程编程一样也需要一些同步机制来同步各执行单元对共享数据的访问。尤其是在多处理器系统上，更需要一些同步机制来同步不同处理器上的执行单元对共享的数据的访问。在主流的Linux内核中包含了几乎所有现代的操作系统具有的同步机制，这些同步机制包括：原子操作、信号量（semaphore）、读写信号量（rw_semaphore）、spinlock、BKL(BigKernelLock)、rwlock、brlock（只包含在2.4

2、内核中）、RCU（只包含在2.6内核中）和seqlock（只包含在2.6内核中）。二、原子操作所谓原子操作，就是该操作绝不会在执行完毕前被任何其他任务或事件打断，也就说，它的最小的执行单位，不可能有比它更小的执行单位，因此这里的原子实际是使用了物理学里的物质微粒的概念。原子操作需要硬件的支持，因此是架构相关的，其API和原子类型的定义都定义在内核源码树的include/asm/atomic.h文件中，它们都使用汇编语言实现，因为C语言并不能实现这样的操作。原子操作主要用于实现资源计数，很多引用计数(refcnt)就是通过

3、原子操作实现的。原子类型定义如下：typedefstruct{volatileintcounter;}atomic_t;volatile修饰字段告诉gcc不要对该类型的数据做优化处理，对它的访问都是对内存的访问，而不是对寄存器的访问。原子操作API包括：atomic_read(atomic_t*v);该函数对原子类型的变量进行原子读操作，它返回原子类型的变量v的值。atomic_set(atomic_t*v,inti);该函数设置原子类型的变量v的值为i。voidatomic_add(inti,atomic_t*v);该

4、函数给原子类型的变量v增加值i。atomic_sub(inti,atomic_t*v);该函数从原子类型的变量v中减去i。intatomic_sub_and_test(inti,atomic_t*v);该函数从原子类型的变量v中减去i，并判断结果是否为0，如果为0，返回真，否则返回假。voidatomic_inc(atomic_t*v);该函数对原子类型变量v原子地增加1。voidatomic_dec(atomic_t*v);该函数对原子类型的变量v原子地减1。intatomic_dec_and_test(atomic_

5、t*v);该函数对原子类型的变量v原子地减1，并判断结果是否为0，如果为0，返回真，否则返回假。intatomic_inc_and_test(atomic_t*v);该函数对原子类型的变量v原子地增加1，并判断结果是否为0，如果为0，返回真，否则返回假。intatomic_add_negative(inti,atomic_t*v);该函数对原子类型的变量v原子地增加I，并判断结果是否为负数，如果是，返回真，否则返回假。intatomic_add_return(inti,atomic_t*v);该函数对原子类型的变量v原子

6、地增加i，并且返回指向v的指针。intatomic_sub_return(inti,atomic_t*v);该函数从原子类型的变量v中减去i，并且返回指向v的指针。intatomic_inc_return(atomic_t*v);该函数对原子类型的变量v原子地增加1并且返回指向v的指针。intatomic_dec_return(atomic_t*v);该函数对原子类型的变量v原子地减1并且返回指向v的指针。原子操作通常用于实现资源的引用计数，在TCP/IP协议栈的IP碎片处理中，就使用了引用计数，碎片队列结构struct

7、ipq描述了一个IP碎片，字段refcnt就是引用计数器，它的类型为atomic_t，当创建IP碎片时（在函数ip_frag_create中），使用atomic_set函数把它设置为1，当引用该IP碎片时，就使用函数atomic_inc把引用计数加1。当不需要引用该IP碎片时，就使用函数ipq_put来释放该IP碎片，ipq_put使用函数atomic_dec_and_test把引用计数减1并判断引用计数是否为0，如果是就释放IP碎片。函数ipq_kill把IP碎片从ipq队列中删除，并把该删除的IP碎片的引用计数减1（

8、通过使用函数atomic_dec实现）。三、信号量（semaphore）Linux内核的信号量在概念和原理上与用户态的SystemV的IPC机制信号量是一样的，但是它绝不可能在内核之外使用，因此它与SystemV的IPC机制信号量毫不相干。信号量在创建时需要设置一个初始值，表示同时可以有几个任务可以访问该信号量保护的