并发控制

Posted 2021-11-29 lioker

 

一、并发与竞态

并发是指一段时间内有多个程序执行，但任一个时刻点上只有一个程序在运行

并发就会导致一个问题：假设程序A对一个文件写入3000个字符“a”，而另一个程序B对这个文件写入3000个“b”，第三个程序C读取这个文件，会导致读取数据不一定是什么

因为可能在一段时间内先执行了A；当A执行到一半CPU切换到执行B了，这时就会导致数据混乱

 

解决这个问题的途径是保证对共享资源的互斥访问。如程序A向文件中写入字符，那么B就无法访问这个文件

访问共享资源的代码区称为临界区，它需要使用互斥机制保护，途径有中断屏蔽、原子操作、自旋锁、信号量和互斥体等

 

在第二章点亮LED 中简述过的readb()类函数就使用了内存屏蔽指令

 

 

二、中断屏蔽

CPU一般都具备屏蔽中断和打开中断的功能，这项功能可以保证正在执行的内核执行路径不被中断处理程序所抢占，防止某些竞态条件的发生。具体而言，中断屏蔽使得中断与进程之间的并发不再发生，而且，由于Linux内核的进程调度等操作都依赖中断来实现，内核抢占进程之间的并发也得以避免了

使用方法如下：

local_irq_disable() /* 屏蔽中断 */
...
/* 临界区*/
...
local_irq_enable() /* 开中断*/

 

为了保证系统运行，中断屏蔽的时间尽量要少

 

 

三、原子操作

原子操作可以保证对一个整型数据的修改是排他性的。原子操作系列函数使用方法如下：

atomic_t v = ATOMIC_INIT(0);    /* 定义原子变量v = 0 */

atomic_read(&v);    /* 读取原子变量值 */

atomic_add(i, &v);    /* 原子变量 + i */
atomic_sub(i, &v);    /* 原子变量 - i */

atomic_inc(&v);    /* 原子变量 + 1 */
atomic_dec(&v);    /* 原子变量 - 1 */

int atomic_inc_and_test(&v);    /* 原子变量自加并测试是否为0，为0返回1 */
int atomic_dec_and_test(&v);    /* 原子变量自减并测试是否为0 */
int atomic_sub_and_test(i, &v);    /* 原子变量 - i后测试是否为0 */

 

示例如下： 

 1 /* 使用原子变量使设备只能被一个进程打开 */
 2 static atomic_t v = ATOMIC_INIT(1);
 3 
 4 static int key_open(struct inode *nodep, struct file *filp)
 5 {
 6     if (!atomic_dec_and_test(&v)) /* 已经有进程打开 */ {
 7         atomic_inc(&v);        /* 重新加1 */
 8         return -EBUSY;
 9     }
10     ...
11 }
12 
13 static int key_release(struct inode *nodep, struct file *filp)
14 {
15     atomic_inc(&v);
16     ...
17 }

 

 

四、自旋锁

自旋锁（Spin Lock）是一种典型的对临界资源进行互斥访问的手段，工作原理是测试并设置（Test-And-Set）某个内存变量，如果此变量符合条件则退出

它有以下几个特点：

1. 自旋锁是忙等锁。若锁不可用，CPU会一直循环执行检测，相当于while(1)。因此适用于临界区代码小的情况

2. 可能导致系统死锁。比如递归调用自旋锁

3. 锁定期间不能调用可能导致进程调度的函数。如copy_to_user()和copy_from_user()

 

自旋锁系列函数使用方法如下：

spinlock_t lock;        /* 定义一个自旋锁*/
spin_lock_init(&lock);    /* 初始化一个自旋锁*/
spin_lock(&lock);        /* 获取自旋锁，保护临界区 */

/* 临界区*/

spin_unlock(&lock);        /* 解锁*/

 

示例如下：

 1 /* 使用自旋锁使设备只能被一个进程打开 */
 2 int count = 0;
 3 
 4 static int key_open(struct inode *nodep, struct file *filp)
 5 {
 6     spin_lock(&lock);
 7     if (count) /* 已经有进程打开 */ {
 8         spin_unlock(&lock);
 9         return -EBUSY;
10     }
11     ++count;
12     spin_unlock(&lock);
13     ...
14 }
15 
16 static int key_release(struct inode *nodep, struct file *filp)
17 {
18     spin_lock(&lock);
19     --count;
20     spin_unlock(&lock);
21     ...
22 }
23 
24 static int keys_init(void)
25 {
26     spinlock_t lock;
27     spin_lock_init(&lock);
28     ...
29 }

 

 

五、信号量

信号量使用方式类似于原子操作，系列函数使用方法如下：

struct semaphore sem;    /* 定义一个信号量 */

/* 初始化信号量 = val */
void sema_init(struct semaphore *sem, int val);

/* 获得信号量，它会导致休眠，因此不能在中断上下文中使用 */
void down(struct semaphore *sem);

/* 获得信号量，进入休眠状态的进程能被信号打断 */
int down_interruptible(struct semaphore *sem);

/* 尝试获得信号量sem，如果能够立刻获得，它就获得该信号量并返回0，否则返回非0值
 * 它不会导致调用者睡眠，可以在中断上下文中使用
 */
int down_trylock(struct semaphore *sem);

/* 释放信号量 */
void up(struct semaphore *sem);

DEFINE_SEMAPHORE(sem)可以初始化信号量并赋值为1。如果是在Linux2.6.36版本以下，应使用DECLARE_MUTEX(sem)

 

示例如下：

 1 /* 使用信号量使设备只能被一个进程打开 */
 2 static DEFINE_SEMAPHORE(lock);
 3 
 4 static int key_open(struct inode *nodep, struct file *filp)
 5 {
 6     if (!down_trylock(&lock)) /* 已经有进程打开 */ {
 7         return -EBUSY;
 8     }
 9     ...
10 }
11 
12 static int key_release(struct inode *nodep, struct file *filp)
13 {
14     up(&lock);
15     ...
16 }

 

 

六、互斥体

互斥体系列函数使用方法如下：

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

mutex_init(&lock);   /* 初始化互斥体 */

/* 获取互斥体 */
void mutex_lock(struct mutex *lock);
int mutex_lock_interruptible(struct mutex *lock);
int mutex_trylock(struct mutex *lock);

/* 释放互斥体 */
void mutex_unlock(struct mutex *lock);

 

示例请点击查看：源代码，本示例通过互斥体防止copy_to_user()函数竞态

 

 

七、互斥体和自旋锁的选择

通过比较可知，互斥体的作用于自旋锁类似。那么什么时候使用互斥体，什么时候使用自旋锁呢？

1. 若临界区较小，宜使用自旋锁；若临界区较大，宜使用互斥体

2. 互斥体所保护的临界区可以出现包含阻塞（进程切换）的代码，但是自旋锁不可以

3. 互斥体存在于进程上下文；如果要在中断中使用，宜使用自旋锁