[arm驱动]linux并发与竞态---并发控制

2021-10-23 03:16:56

一、并发与竞态

1、并发：多个执行单元同时被执行。例如:同一个test.out可执行程序被n次同时运行
2、竞态：并发的执行单元对共享资源（硬件资源和软件上的全局变量，静态变量等）的访问导致的竞争。
a)静态的列子:

char *p;//全局变量
//    读取函数
module_drv_read(struct file *file, constchar __user *buf, size_t count, loff_t * ppos)
{copy_to_user(buf, p, countt);}
//写入函数
module_drv_write(struct file *file, constchar __user *buf, size_t count, loff_t * ppos)
{copy_from_user(p, buf, countt)}

如果有两个进程同时在运行，一个执行read，一个执行write，那么执行read的可能会读取到第二个程序的写入值或只读取到第二个程序部分写入值。
二、如何避免竞态：（有共享就有可能发生竞争）
方法：处理竞态的常用技术是加锁或者互斥，对应semaphore(旗标)机制、spin_lock机制
三、信号量（semaphore）机制

1、旗标（信号量）

旗标（信号量）：是一个整型值，结合一对函数void down(struct semaphore * sem)、void up(struct semaphore *sem)，如果旗标的值大于0，这个值将减一并且继续进程。相反，如果旗标的值是0（或者更小），此进程必须等待别的进程释放旗标，解锁旗标通过调用up完成，up函数会增加旗标的值。
Tip:Linux内核的信号量在概念和原理上与用户态的信号量是一样的，但它不能在内核之外使用

2、信号量机制编程

a)信号的声明初始化有两种方式：方式1宏定义并初始化；方式2动态初始化

信号的声明初始化方式1)宏定义并初始化信号量的快捷方式

DECLARE_MUTEX(name)
DECLARE_MUTEX_LOCKED(name)

内核代码1)DECLARE_MUTEX和DECLARE_MUTEX_LOCKED他们的内核代码为

#define DECLARE_MUTEX(name)        __DECLARE_SEMAPHORE_GENERIC(name, 1)
#define DECLARE_MUTEX_LOCKED(name)    __DECLARE_SEMAPHORE_GENERIC(name, 0)
//__DECLARE_SEMAPHORE_GENERIC的内核代码
#define __DECLARE_SEMAPHORE_GENERIC(name,count)    structsemaphore name = __SEMAPHORE_INITIALIZER (name,count)

模板一)宏定义初始化方式信号量模板

DECLARE_MUTEX(name);//定义信号量
down(&name);//加锁，保护临界区在释放锁前，将访问本临界区的进程加入等待队列中
//....要修改全局变量在这修改.....
up(&name)//释放锁

信号的声明初始化方式2)动态初始化方式

1、定义信号量结构体 struct semaphore sem;

structsemaphore sem;

内核源码二) struct semaphore内核源码

struct semaphore {
atomic_t count;//旗号数值
intsleepers;
wait_queue_head_t wait;//等待队列
};

2、初始化结构体struct semaphore sem有两种方式,宏定义初始化与函数初始化

初始化结构体sem方式a)用函数sema_init (struct semaphore *sem, int val)初始化结构体struct semaphore sem。

内核源码三)sema_init内核原型代码

static inline void sema_init (structsemaphore *sem, intval)
{
atomic_set(&sem->count, val);
init_waitqueue_head(&sem->wait);
//如果进程调用down时，发现信号量为0时就将进程加入到sem->wait等待队列中
}

模板二）sema_init初始化模板

struct semaphore sem;
sema_init (&sem, 1);一开始就将旗标置1
down(&sem);
up(&sem);

初始化结构体sem方式b)宏初始化，分为将sem的旗标直接初始化为1和0的两种宏初始化方法

1)init_MUTEX (struct semaphore *sem)将semaphore的旗标初始化为1

内核源码四) init_MUTEX内核原型代码

staticinline voidinit_MUTEX (struct semaphore *sem)
{
sema_init(sem, 1);//可以看出调用了上面的sema_init函数
// 该函数用于初始化一个互斥锁，即它把信号量sem的值设置为1
}

2)init_MUTEX_LOCKED (struct semaphore *sem)将semaphore的旗标初始化为0

内核源码五)init_MUTEX_LOCKED内核原型代码

staticinlinevoidinit_MUTEX_LOCKED (structsemaphore *sem)
{
sema_init(sem, 0);
//该函数也用于初始化一个互斥锁，但它把信号量sem的值设置为0，即一开始就处在已锁状态。
}

模板三）宏初始化模板变量sem

struct semaphore sem;
init_MUTEX(&sem);一开始就将旗标置1
down(&sem);
up(&sem);

四、自旋锁
1、概念:自旋锁最多只能被一个可执行单元持有。自旋锁不会引起调用者睡眠，如果一个执行线程试图获得一个已经被持有的自旋锁，那么这个线程就会一直进行忙循环，一直等待下去，在那里看是否该自旋锁的保持者已经释放了锁，“自旋”就是这个意思
2、自旋锁的编程步骤a,b,c,d

a)声明一个spinlock_t 变量lock

spinlock_t lock;

b)初始化spinlock_t 变量lock

有两种初始化方式:宏初始化与函数初始化

1)宏初始化方法SPIN_LOCK_UNLOCKED

spinlock_t lock = SPIN_LOCK_UNLOCKED;

2)函数初始化方法spin_lock_init(lock)

spin_lock_init(lock)

内核源码六)spin_lock_init的内核源码

//内核源码spin_lock_init发现使用SPIN_LOCK_UNLOCKED
#define spin_lock_init(lock) do{ *(lock) = SPIN_LOCK_UNLOCKED; } while(0)

c)获得自旋锁

1、获得自旋锁,spin_lock(lock) ;如果成功，立即获得锁，并马上返回，否则它将一直自旋在那里，直到该自旋锁的保持者释放。

spin_lock(lock)
    //获取自旋锁lock，如果成功，立即获得锁，并马上返回，否则它将一直自旋在那里，直到该自旋锁的保持者释放。

内核源码七) spin_lock(lock)内核源码分析

//源码内核(可以看出来spin_lock没有获取锁，它将一直做while循环)
spin_lock(lock)            _spin_lock(lock)
#define _spin_lock(lock)            __LOCK(lock)
#define __LOCK(lock)  do{ preempt_disable(); __acquire(lock); (void)(lock); } while(0)
#define preempt_disable()        do{ } while(0)
//preempt_disable做空循环

2、试图获取自旋锁函数的spin_trylock(lock)，如果能立即获得锁，并返回真，否则立即返回假。它不会一直等待被释放。（spin_trylock(lock)不做忙等待）
d)释放自旋锁lock，函数spin_unlock(lock) 它与spin_trylock或spin_lock配对使用。

3、自旋锁spinlock使用模板

模板四）自玄锁模板

spinlock_t lock;
spin_lock_init(&lock);
spin_lock(&lock);
spin_unlock(&lock);

Tip:将要保护的值（全局变量，静态变量，硬件资源）放在spin_lock(&lock)与spin_unlock(&lock)之间操作

spin_lock(&lock);
//改变要保护的全局变量或硬件资源或静态变量（共享变量）
spin_unlock(&lock);

4、特殊使用场景:有些设备只允许被打开一次，那么就需要一个自旋锁保护表示设备的打开和关闭状态的变量count。此处count属于临界资源，如果不对count进行保护，当设备打开频繁时，可能出现错误的count计数。

模板五）只允许被打开一次的设备驱动模板

intcount = 0;
spinlock_t lock;
intxxx_init(void){
//...其他代码..
spin_lock_init(&lock);
//...其他代码..
}
intxxx_open(structinode *inode, structfile *file){
spin_lock(&lock);//如果相同程序的进程要用open，那么其他进程就进入忙等到while(1)
if(count){
spin_unlock(&lock);
return-EBUSY;
}
count++;
spin_unlock(&lock);
//.....
}
intxxx_release(structinode *inode, structfile *file){
//....
spin_lock(&lock);//关闭时也要进行spin_lock保护，因为count是全局变量，要改变count就要加自旋锁
count--;
spin_unlock(&lock);
//.....
}

Tip:linux自旋锁和信号量所采用的"加锁(down)---访问临界区(critical section)---释放锁"的方式，被称为"互斥三部曲"。

五、总结:编写对共享资源（硬件资源和软件上的全局变量，静态变量等）的访问的驱动程序场景，就要考虑避免竞态的发生；避免方法:信号量（或说旗标，semaphore）机制与spin_lock机制(自旋锁)。

六、补充:信号量与自旋锁对比
信号量可能允许有多个持有者，而自旋锁在任何时候只能允许一个持有者。当然也有信号量叫互斥信号量(只能一个持有者)，允许有多个持有者的信号量叫计数信号量。
信号量适合于保持时间较长的情况；而自旋锁适合于保持时间非常短的情况，在实际应用中自旋锁控制的代码只有几行，而持有自旋锁的时间也一般不会超过两次上下文切换的时间，因为线程一旦要进行切换，就至少花费切出切入两次，自旋锁的占用时间如果远远长于两次上下文切换，我们就应该选择信号量。

本文出自 “lilin9105” 博客，请务必保留此出处http://7071976.blog.51cto.com/7061976/1393362

[arm驱动]linux并发与竞态---并发控制,布布扣,bubuko.com

[arm驱动]linux并发与竞态---并发控制

码农公寓

相关文章