Linux并发与竞争-原子操作，自旋锁，信号量，互斥体

前言

写文章的目的是想通过记录自己的学习过程，以便以后使用到相关的知识点可以回顾和参考。

一、线程的并发与竞争

Linux 系统是个多任务操作系统，会存在多个任务同时访问同一片内存区域，这些任务可能会相互覆盖这段内存中的数据，造成内存数据混乱。针对这个问题必须要做处理，严重的话可能会导致系统崩溃。现在的 Linux 系统并发产生的原因很复杂，总结一下有下面几个主要原因：
①、多线程并发访问，Linux 是多任务(线程)的系统，所以多线程访问是最基本的原因。
②、抢占式并发访问，从 2.6 版本内核开始，Linux 内核支持抢占，也就是说调度程序可以
在任意时刻抢占正在运行的线程，从而运行其他的线程。
③、中断程序并发访问，这个无需多说，学过 STM32 的同学应该知道，硬件中断的权利可
是很大的。
④、SMP(多核)核间并发访问，现在 ARM 架构的多核 SOC 很常见，多核 CPU 存在核间并
发访问。
并发访问带来的问题就是竞争，学过FreeRTOS和UCOS的同学应该知道临界区这个概念，所谓的临界区就是共享数据段，对于临界区必须保证一次只有一个线程访问，也就是要保证临界区是原子访问的。我们都知道，原子是化学反应不可再分的基本微粒，这里的原子访问就表示这一个访问是一个步骤，不能再进行拆分。如果多个线程同时操作临界区就表示存在竞争，我们在编写驱动的时候一定要注意避免并发和防止竞争访问。

二、原子操作及其API函数

原子操作就是指不能再进一步分割的操作，一般原子操作用于整型变量或者位操作。
原子操作的定义方式：

atomic_t v;	//定义原子变量

内核提供的API函数也分成用于整型变量或者位操作两部分，具体API函数如下图所示：

三、自旋锁及其API函数

原子操作只能对整形变量或者位进行保护，但是，在实际的使用环境中怎么可能只有整型变量或位这么简单的临界区，因此就需要用到自旋锁了。
当一个线程要访问某个共享资源的时候首先要先获取相应的锁，锁只能被一个线程持有，只要此线程不释放持有的锁，那么其他的线程就不能获取此锁。对于自旋锁而言，如果自旋锁正在被线程 A 持有，线程 B 想要获取自旋锁，那么线程 B 就会处于忙循环-旋转-等待状态，线程 B 不会进入休眠状态或者说去做其他的处理，而是会一直傻傻的在那里“转圈圈”的等待锁可用。
自旋锁的定义方式：

spinlock_t lock;	//定义自旋锁

自旋锁最基本的自旋锁 API 函数如下图所示：

但如果在某个线程正在访问临界区的时候中断也要插一脚，中断也想访问共享资源，那该怎么办呢？首先可以肯定的是，中断里面可以使用自旋锁，但是在中断里面使用自旋锁的时候，在获取锁之前一定要先禁止本地中断(也就是本 CPU 中断，对于多核 SOC来说会有多个 CPU 核)，否则可能导致锁死现象的发生，如下图所示：

上图中的情况线程 A 先运行，并且获取到了 lock 这个锁，当线程 A 运行 functionA 函数的时候中断发生了，中断抢走了 CPU 使用权。右边的中断服务函数也要获取 lock 这个锁，但是这个锁被线程 A 占有着，中断就会一直自旋，等待锁有效。但是在中断服务函数执行完之前，线程 A 是不可能执行的，线程 A 说“你先放手”，中断说“你先放手”，场面就这么僵持着，死锁发生！所以，最好的处理办法就是在线程A获取锁的时候，把中断禁止掉，这样就能避免这种死锁的情况发生。
就如何关闭中断的问题，Linux 内核提供了相应的 API 函数，如下图所示：

使用 spin_lock_irq/spin_unlock_irq 的时候需要用户能够确定加锁之前的中断状态，但实际上内核很庞大，运行也是“千变万化”，我们是很难确定某个时刻的中断状态，因此不推荐使用spin_lock_irq/spin_unlock_irq。建议使用 spin_lock_irqsave/spin_unlock_irqrestore，因为这一组函数会保存中断状态，在释放锁的时候会恢复中断状态。一般在线程中使用spin_lock_irqsave/spin_unlock_irqrestore，在中断中使用 spin_lock/spin_unlock。

在自旋锁的基础上还衍生出了其他特定场合使用的锁，比如读写自旋锁，顺序锁，这些锁在驱动中其实用的不多，更多的是在 Linux 内核中使用，所以在这里先不探讨。

四、信号量及其API函数

信号量是同步的一种方式。Linux 内核也提供了信号量机制，信号量常常用于控制对共享资源的访问。信号量有一个信号量值，通过设置信号量值能够控制允许多少个线程同时访问共享资源。相比于自旋锁，信号量可以使线程进入休眠状态，获取不到信号量的线程会进入休眠状态，等到有其他线程释放了信号量，它才会从休眠状态下醒来，成功获取到信号量访问共享资源。
信号量的定义方式：

struct semaphore sem;	//定义信号量

内核提供的信号量API函数如下图所示：

在使用 信号量 的时候要注意如下几点：
①、因为信号量可以使等待资源线程进入休眠状态，因此适用于那些占用资源比较久的场
合。
②、因此信号量不能用于中断中，因为信号量会引起休眠，中断不能休眠。
③、如果共享资源的持有时间比较短，那就不适合使用信号量了，因为频繁的休眠、切换
线程引起的开销要远大于信号量带来的那点优势。

五、互斥体及其API函数

将信号量的值设置为 1 就可以使用信号量进行互斥访问了，虽然可以通过信号量实现互斥，但是 Linux 提供了一个比信号量更专业的机制来进行互斥，它就是互斥体—mutex，它相当于信号量值为1的信号量。互斥访问表示一次只有一个线程可以访问共享资源，不能递归申请互斥体。在我们编写 Linux 驱动的时候遇到需要互斥访问的地方建议使用 mutex。

互斥体的定义方式：

struct mutex lock; //定义一个互斥体

内核提供的互斥体API函数如下图所示：

在使用 mutex 的时候要注意如下几点：
①、mutex可以导致休眠，因此不能在中断中使用 mutex，中断中只能使用自旋锁。
②、和信号量一样，mutex 保护的临界区可以调用引起阻塞的 API函数。
③、因为一次只有一个线程可以持有 mutex，因此，必须由 mutex 的持有者释放 mutex。并 且 mutex不能递归上锁和解锁。