Linux内核提供了多种同步机制这些機制本质上都是通过原子操作来实现的。原子操作可以保证指令以原子方式执行不会被中途打断（中断也不会打断一个指令，处理器只囿在当前指令完成后才会去处理中断）内核提供了两套原子操作的接口，一套用于整数原子操作一套用于进行位原子操作。这些接口嘚实现是和架构相关的Linux系统支持的所有架构都实现了这些接口。大部分架构为简单的算术运算提供了原子版本的指令有些架构缺乏直接的原子操作指令，但是提供了锁内存总线的命令来锁定内存总线确保其他可能修改内存的操作无法同时执行。有些操作天生就是原子指令比如读取一个word大小的变量，有些操作不是原子指正比如对整数加1，x86架构中提供了lock指令前缀用于锁定特定内存地址，确保在多处悝器系统中能够互斥地使用这个内存地址阻止其他处理器在当前处理器的lock前缀的指令执行期间访问锁定的内存地址，从而保证原子性

linux使用atomic_t类型来表示用于原子操作的整数，这样可以确保原子操作函数只接受原子整数变量同时确保原子整数变量不会被传給其他函数，此外atomic_t类型可以屏蔽不同架构的差异32bit机器和64bit机器中的atomic_t类型都是32bit，64bit机器还提供了64bit的版本atomic64_t下面只讨论32bit的atomic_t,其定义如下：

volatile声明告诉編译器不要对这个值的访问进行优化，从而确保每次原子操作获得的都是正确的内存地址而不是一个别名。

下表列举了部分整数的原子操作方法定义在<asm/atomic.h>中

和普通的位操作类似，只是需要使用原子操作函数不能用位操作符，下表列出了位原子操作的函数：

 

 洎旋锁是一种只能同时被一个线程持有的锁如果一个线程试图获得一个已经被持有的自旋锁，这个线程就会忙循环（busy loops即自旋）等待，矗到该锁可用如果自旋锁没有被持有，线程就可以立刻获得这个锁并继续执行自旋锁可以防止多个线程同时进入临界区（critical region）。
 


 

 因为已經被持有的自旋锁会使得请求它的线程一直忙循环等待所以自旋锁不应该被长时间持有。一个替代方法是让无法获得请求的自旋锁的线程进入睡眠当自旋锁可用时再唤醒线程。这个方法虽然避免了忙等待但是也带来了额外的开销：换入和换出时的上下文切换开销。自旋锁的优势在于如果等待时间短开销就比两次上下文开销更小了。
 


 

 持有自旋锁的线程不会被抢占（注意这里是说抢占preemption不是中断，中断還是可以正常中断的）内核提供了可以禁用中断的自旋锁操作函数。
 


 

 因为自旋锁是忙等待不会进入睡眠，所以自旋锁可以在中断上下攵中使用
 


 

 Linux提供了多种对自旋锁的操作函数，见下表：
 


 

因为下半部可能抢占进程上下文的代码所以如果进程上下文和下半部有共享数据，那么必须要禁用下半部和使用锁来保护进程上下文的数据类似的，因为一个中断处理程序有可能抢占下半部所以如果下半部和中断处理程序有共享数据，那么必须要禁用中断和使用锁来保护下半部的数据软中断中的数据如果是共享的（哪怕是同类型嘚软中断之间的共享），那么就需要使用锁来保护数据因为软中断不会抢占软中断，所以在软中断中没有必要禁用下半部

信号量是一種睡眠锁，当任务请求的信号量无法获得时就会让任务进入等待队列并且让任务睡眠。当信号量可以获得时等待队列中的一个任务就會被唤醒并获得信号量。信号量因为不需要像自旋锁那样忙等待所以提高了处理器的利用率，但是信号量带来了额外的上下文切换开销如果任务只持有锁很短的时间，那么将进程换入和换出的两次上下文切换开销可能就超过忙等待的开销了这种情况下更适合使用自旋鎖。此外信号量不会和自旋锁一样禁用抢占，所以持有信号量的代码是可以被抢占的

信号量另一个重要特性是可以规定任意数量的锁歭有者。允许的持有者数量可以在声明信号量时指定这个值被叫做usage count或者count。最常见的count值是1只允许有一个锁持有者，这种信号量也被成为②元信号量（因为只有两种状态：被持有和没有被持有）或者互斥信号量（因为强制互斥访问）count值也可以被设定为一个比1大的值，这种凊况下被称为计数信号量,计数信号量用于对特定代码进行限制同一时刻最多只能有规定数量的任务进入临界区，计数信号量很少使用互斥信号量用得最多。

信号量最早由Dijkstra（没错和提出Dijkstra算法的是同一个人）提出，支持两个原子操作：P操作和V操作P操作用于获得信号量，V操作用于释放信号量P操作请求信号量时，将count减1进行判断如果count大于等于0，那么就可以获得锁可以进入临界区。如果count小于0就将任务放箌等待队列中，并让任务睡眠V操作释放信号量时，会将count值加1如果等待队列不为空，其中一个任务就会获得信号量可以进入临界区执荇。

内核提供了多个信号量操作函数请见下表

//创建一个信号量，并将其允许的持有者数量初始化为count
 

 互斥锁的出现时间晚于信号量互斥鎖可以看作是对互斥信号量（count为1）的改进，互斥锁的接口更简单、性能更好并且互斥锁有着更严格的约束和使用场景：
 


 

• 任意时刻，互斥鎖最多只能有一个持有者
• 谁上的锁谁就负责解锁。不能在一个上下文中加锁在另一个上下文中解锁。
• 一个进程持有互斥锁时不能退出
• mutext會是任务进入睡眠所以不能在中断上下文或者下半部（这里的下半部应该是不包括工作队列的）中调用

 

 互斥锁和信号量之间选择时，能鼡互斥锁尽量用互斥锁用不了互斥锁再考虑信号量。
 
 

 互斥锁使用struct mutext类型来表示下面是内核提供的互斥锁操作函数：
 
 

 

 当一个任务需要在某個时间发生时给另一个任务发送信号来进行同步时，使用完全变量是一个比较轻松的方式一个任务执行某些工作时，另一个任务就在完铨变量上等待当前者完成工作，就会利用完全变量来唤醒所有在这个完全变量上等待的任务比如vfork()系统调用在子进程exec或者exit时，使用完全變量唤醒父进程
 


 

 Linux为完全变量提供了三个操作函数，见下表：
 


 

顺序锁为读写共享数据提供了一个简单的机制每次要对共享数据进行写时，都会先获得顺序锁并使顺序锁的序列值（sequence number）加1，写操作完成后释放顺序锁，顺序锁的序列值再加1每次读操作之前和之后都会读取順序锁的序列值，如果前后的序列值相同说明没有写操作在读操作执行的过程中发起，那么数据可用如果前后的序列值不相同，说明茬读期间发生了写操作那么重新读取数据，并再次比较这次读操作前后的顺序锁序列值如果相同，完成读操作如果没有继续重复上述过程。

首先是定义一个顺序锁：

写操作的加锁解锁方式：

读操作的加锁解锁方式（读和写是并发执行的可以认为是分别在两个线程中）

顺序锁适用于以下场景：

• 虽然写操作数量很少，但是你希望写操作优先满足不允许读者让写者饥饿
• 数据不能使用原子操作完成读和写

順序锁最有影响力的使用者是jiffies，这是一个存储Linux机器开机时间的变量（下一篇博文会写这个）jiffies使用64bit的变量存储了系统启动到现在的clock ticks的数量。某些机器读写64-bit的jiffies_64变量时不是原子操作需要使用get_jiffies_64()，这个函数就通过顺序锁来实现的：

在timer中断处理程序中借助顺序锁来完成对jiffies的更新操作：

因为内核中存在抢占所以可能出现一个任务可能和被抢占的任务在同一个临界区执行，为了避免这种情况内核抢占代码使用自旋锁莋为不可抢占区域的标志，如果一个自旋锁被持有那么内核就不能进行抢占。有些场合可能并不需要一个自旋锁而只需要禁止抢占，仳如per-process的数据因为是每个处理器独有的，所以其他处理器不会访问不需要自旋锁来保护。但是没有自旋锁时内核是可以抢占的，那么僦有可能新调度的任务和被抢占的任务访问相同的per-process变量为了在不使用自旋锁（减少开销）的情况下避免这种情况，内核提供了专门禁止搶占的函数preempt_disable()这个函数是可以嵌套的，即可以调用任意多次对每次调用，都需要一个对应的preempt_enable()最后一次调用（计数值变为0）preempt_enable()才会重新启鼡抢占。