避免并发和竞争条件称为同步
内核中有类似可能造成并发执行的原因。它们是:
·中断一中断几乎可以在任何时刻异步发生,也就可能随时打断当前正在执行的代码。
·软中断和tasklet-一内核能在任何时刻唤醒或调度软中断和tasklet,打断当前正在执行的代码。
·内核抢占一因为内核具有抢占性,所以内核中的任务可能会被另一任务抢占。
·睡眠及与用户空间的同步一在内核执行的进程可能会睡眠,这就会唤醒调度程序,从而导致调度一个新的用户进程执行。
·对称多处理一两个或多个处理器可以同时执行代码。
原子操作
不能被分割的指令,执行过程不能被打乱
存在针对整数和位运算的两组原子操作
![](https://i-blog.csdnimg.cn/blog_migrate/83327375cd610803f71fb9bd2c9d3c3b.png)
自旋锁
原子操作只能对整形变量或者位进行保护,但是,在实际的使用环境中怎么可能只有整形变量或位这么简单的临界区
Linux内核中最常见的锁是自旋锁(spin lock)。自旋锁最多只能被一个可执行线程持有。如果一个执行线程试图获得一个被已经持有(即所谓的争用)的自旋锁,那么该线程就会一直进行忙循环一旋转一等待锁重新可用。要是锁未被争用,请求锁的执行线程便能立刻得到它,继续执行。在任意时间,自旋锁都可以防止多于一个的执行线程同时进入临界区。同一个锁可以用在多个位置,例如,对于给定数据的所有访问都可以得到保护和同步。
一个被争用的自旋锁使得请求它的线程在等待锁重新可用时自旋(特别浪费处理器时间),这种行为是自旋锁的要点。所以自旋锁不应该被长时间持有。事实上,这点正是使用自旋锁的初衷:在短期间内进行轻量级加锁。还可以采取另外的方式来处理对锁的争用:让请求线程睡眠,
![](https://i-blog.csdnimg.cn/blog_migrate/1aabd196c9f43ec1471c0c33d927e001.png)
![](https://i-blog.csdnimg.cn/blog_migrate/b52fd90943dc1c5a8b0d831cfa6805da.png)
在临界区不能有中断发生,所以要在加锁的同时禁止本地中断,解锁时在恢复中断状态
![](https://i-blog.csdnimg.cn/blog_migrate/cfe06273715ddf5a6b0af1b12832f0c5.png)
读写锁
![](https://i-blog.csdnimg.cn/blog_migrate/7d91f0378273f6e6c82f58079c3f649f.png)
顺序锁
![](https://i-blog.csdnimg.cn/blog_migrate/641691a3753f111a77f1e1e9d1d8f4af.png)
简单的机制,用于读写共享数据。实现这种锁主要依靠一个序列计数器。当有疑义的数据被写入时,会得到一个锁,并且序列值会增加。在读取数据之前和之后,序列号都被读取。如果读取的序列号值相同,说明在读操作进行的过程中没有被写操作打断过。此外,如果读取的值是偶数,那么就表明写操作没有发生(要明白因为锁的初值是0,所以写锁会使值成奇数,释放的时候变成偶数)。
如果读操作的过程中发生了写操作(序列号值不同),则会重读,
RCU(read-copy-update)
![](https://i-blog.csdnimg.cn/blog_migrate/f476bb2faeb3c9f3569886d352baeddb.png)