Linux 并发与竞争简介

目录

 

一、并发与竞争简介

二、原子操作简介

三、自旋锁简介

 死锁简介

其他类型的锁

自旋锁使用注意事项

四、信号量简介

信号量的特点

信号量值

五、互斥体简介

---

Linux是一个多任务操作系统，肯定会存在多个任务共同操作同一段内存或者设备的情况，多个任务甚至中断都能访问的资源叫做共享资源。在驱动开发中要注意对共享资源的保护，也就是要处理对共享资源的并发访问

一、并发与竞争简介

并发就是多个“用户”同时访问同一个共享资源，比如小李和小王要同时使用这一台打印机，都要打印一份文件，但是两个人同时打印的话如果打印机不做处理的话可能会出现小李的文档打印了一行，然后开始打印小王的文档，这样打印出来的文档就错乱了。所以，打印机必须保证一次只能打印一份文档，只有打印完成以后才能打印其他的文档。

并发访问带来的问题就是竞争，如果多个线程同时操作临界区就表示存在竞争，Linux 系统是个多任务操作系统，会存在多个任务同时访问同一片内存区域，这些任务可能会相互覆盖这段内存中的数据，造成内存数据混乱。共享数据段即临界区，对于临界区必须保证一次只有一个线程访问，也就是要保证临界区是原子访问的这里的原子访问就表示这一个访问是一个步骤，不能再进行拆分

在编写驱动的时候一定要注意避免并发和防止竞争访问保护内容。防止并发访问共享资源，换句话说就是要保护共享资源，防止进行并发访问。因为驱动程序各不相同，那么数据也千变万化，一般像全局变量，设备结构体这些肯定是要保护的，至于其他的数据就要根据实际的驱动程序而定了

二、原子操作简介

比如用c语言把10赋值给a变量，C 语言要先编译为成汇编指令， ARM 架构不支持直接对寄存器进行读写操作，比如要借助寄存器 R0、 R1 等来完成赋值操作，假设变量 a 的地址为 0X3000000

此时理想执行顺序如图

 但是实际上的执行流程可能如图

线程 A 要设置a变量的值最终被线程B 设置为了 20.这就是一个最简单的设置变量值的并发与竞争的例子，要解决这个问题就要保证图中各自线程的三行汇编指令作为一个整体运行，也就是作为一个原子存在。Linux 内核提供了两组原子操作 API 函数，一组是对整形变量进行操作的，一组是对位进行操作的，在实验中用到再介绍

三、自旋锁简介

原子操作只能对整形变量或者位进行保护，但是设备结构体变量就不是整型变量，我们对于结构体中成员变量的操作也要保证原子性，在线程 A 对结构体变量使用期间，应该禁止其他的线程来访问此结构体变量，这些工作原子操作都不能胜任，需要本节要讲的锁机制，在 Linux内核中就是自旋锁。

访问某个共享资源的时候首先要先获取相应的锁， 锁只能被一个线程持有，只要此线程不释放持有的锁，那么其他的线程就不能获取此锁。对于自旋锁而言，如果自旋锁正在被线程 A 持有，线程 B 想要获取自旋锁，那么线程 B 就会处于忙循环-旋转-等待状态，线程 B 不会进入休眠状态或者说去做其他的处理。自旋锁的“自旋”也就是“原地打转”的意思，“原地打转”的目的是为了等待自旋锁可以用，可以访问共享资源

可以看到自旋锁的一个缺点：那就等待自旋锁的线程会一直处于自旋状态，这样会浪费处理器时间，降低系统性能，所以自旋锁的持有时间不能太长。所以自旋锁适用于短时期的轻量级加锁

Linux 内核使用结构体 spinlock_t 表示自旋锁，在使用自旋锁之前，肯定要先定义一个自旋锁变量，定义方法如下所示

spinlock_t lock; //定义自旋锁

定义好自旋锁变量以后就可以使用相应的 API 函数来操作自旋锁，实验时再进行介绍

 死锁简介

 自旋锁会自动禁止抢占，也就说当线程 A得到锁以后会暂时禁止内核抢占。如果线程 A 在持有锁期间进入了休眠状态，那么线程 A 会自动放弃 CPU 使用权。线程 B 开始运行，线程 B 也想要获取锁，但是此时锁被 A 线程持有，而且内核抢占还被禁止了！线程 B 无法被调度出去，那么线程 A 就无法运行，锁也就无法释放，死锁发生了！

其他类型的锁

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

自旋锁使用注意事项

①、因为在等待自旋锁的时候处于“自旋”状态，因此锁的持有时间不能太长，一定要短，否则的话会降低系统性能。如果临界区比较大，运行时间比较长的话要选择其他的并发处理方式，比如信号量和互斥体。

②、自旋锁保护的临界区内不能调用任何可能导致线程休眠的 API 函数，否则的话可能导致死锁
③、不能递归申请自旋锁，因为一旦通过递归的方式申请一个你正在持有的锁，那么你就必须“自旋”，等待锁被释放，然而你正处于“自旋”状态，根本没法释放锁。结果就是自己把自己锁死了！
④、在编写驱动程序的时候我们必须考虑到驱动的可移植性

四、信号量简介

Linux 内核也提供了信号量机制，信号量常常用于控制对共享资源的访问。

相比于自旋锁，信号量可以使线程进入休眠状态，比如 A 与 B合租了一套房子，这个房子只有一个厕所，一次只能一个人使用。 A 去上厕所了， B 也想用厕所，因为 A 在厕所里面，所以 B 只能等到 A 用来了才能进去。如果 B 要么就一直在厕所门口等着等 A 出来，这个时候就相当于自旋锁。B 也可以告诉 A，让 A 出来以后通知他一下，然后 B 继续回房间睡觉，这个时候相当于信号量。可以看出，使用信号量会提高处理器的使用效率，毕竟不用一直傻乎乎的在那里“自旋”等待。但是，信号量的开销要比自旋锁大，因为信号量使线程进入休眠状态以后会切换线程，切换线程就会有开销。

信号量的特点

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

信号量值

信号量有一个信号量值，相当于一个房子有 10 把钥匙，这 10 把钥匙就相当于信号量值为10。因此，可以通过信号量来控制访问共享资源的访问数量，如果要想进房间，那就要先获取一把钥匙，信号量值减 1，直到 10 把钥匙都被拿走，信号量值为 0，这个时候就不允许任何人进入房间了，因为没钥匙了。如果有人从房间出来，那他要归还他所持有的那把钥匙，信号量值加 1，此时有 1 把钥匙了，那么可以允许进去一个人。相当于通过信号量控制访问资源的线程数，在初始化的时候将信号量值设置的大于 1，那么这个信号量就是计数型信号量，计数型信号量不能用于互斥访问，因为它允许多个线程同时访问共享资源。如果要互斥的访问共享资源那么信号量的值就不能大于 1，此时的信号量就是一个二值信号量。

Linux 内核使用 semaphore 结构体表示信号量，要想使用信号量就得先定义，然后初始化信号量
信号量的 API 函数使用到会介绍

五、互斥体简介

将信号量的值设置为 1 就可以使用信号量进行互斥访问了，虽然可以通过信号量实现互斥，但是 Linux 提供了一个比信号量更专业的机制来进行互斥，它就是互斥体—mutex。

互斥访问表示一次只有一个线程可以访问共享资源，不能递归申请互斥体。在我们编写 Linux 驱动的时候遇到需要互斥访问的地方建议使用 mutex。

Linux 内核使用 mutex 结构体表示互斥体，在使用 mutex 之前要先定义一个 mutex 变量

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