linux驱动并发控制

并发与竞态

  并发是指多个执行单元同时被执行;竞态是指并发的执行单元对共享资源(硬件资源和软件上的全局变量等)的访问导致的竞争状态。

if ( copy_from_user ( & ( dev->data[pos] ), buf, count ) ) {
    ret = -EFAULT;
}

假设有2个进程试图同时向一个设备的相同位置写入数据,就会造成数据混乱。
  处理并发的常用技术是加锁或者互斥,即确保在任何时间只有一个执行单元可以操作共享资源。在Linux内核中主要通过semaphore机制和spin_lock机制实现。

  linux内核什么时候会发生竞态?

  • 对称多cpu(SMP)的多个cpu之间的竞态。
  • CPU内进程间的竞态。
  • 中断(硬中断、软中断、Tasklet、底半部)与进程之间的竞态。

中断屏蔽

  可解决中断与进程之间的并发;也可解决内核抢占进程之间的并发。

  • local_irq_disable():禁止中断。
  • local_irq_enable():打开中断。
  • local_irq_save(flags):禁止中断并保存中断寄存器信息到flags
  • local_irq_restore(flags):打开中断并恢复flags值到中断寄存器信息。
  • loacl_bh_disable():仅禁止中断底半部中断。
  • loacl_bh_enable():打开中断底半部中断。

  使用范例:

local_irq_disbale(); /* 屏蔽中断 */
...                  /* 临界资源 */
local_irq_enbale();  /* 打开中断 */

信号量

  Linux内核的信号量在概念和原理上与用户态的信号量是一样的,但是它不能在内核之外使用,它是一种睡眠锁。如果有一个任务想要获得已经被占用的信号量时,信号量会将这个进程放入一个等待队列,然后让其睡眠。当持有信号量的进程将信号释放后,处于等待队列中的任务将被唤醒,并让其获得信号量。
  信号量在创建时需要设置一个初始值,表示允许有几个任务同时访问该信号量保护的共享资源,初始值为1就变成互斥锁(Mutex),即同时只能有一个任务可以访问信号量保护的共享资源。当任务访问完被信号量保护的共享资源后,必须释放信号量,释放信号量通过把信号量的值加1实现,如果释放后信号量的值为非正数,表明有任务等待当前信号量,因此要唤醒等待该信号量的任务。
  信号量的实现也是与体系结构相关的,定义在<asm/semaphore.h>中,struct semaphore类型用来表示信号量。
  1. 定义信号量:

struct semaphore sem;

  2. 初始化信号量:

/* 该函用于数初始化设置信号量的初值,它设置信号量sem的值为val */
void sema_init ( struct semaphore *sem, int val );
/* 该函数用于初始化一个互斥锁,即它把信号量sem的值设置为1 */
void init_MUTEX ( struct semaphore *sem );
/* 该函数也用于初始化一个互斥锁,但它把信号量sem的值设置为0,即一开始就处在已锁状态 */
void init_MUTEX_LOCKED ( struct semaphore *sem );

  定义与初始化的工作可由如下宏一步完成:

/* 定义一个信号量name,并初始化它的值为1 */
DECLARE_MUTEX ( name );
/* 定义一个信号量name,但把它的初始值设置为0,即锁在创建时就处在已锁状态 */
DECLARE_MUTEX_LOCKED ( name );

  3. 获取信号量:

/* 获取信号量sem,可能会导致进程睡眠,因此不能在中断上下文使用该函数。该函数将把sem的值减1,
   如果信号量sem的值非负,就直接返回,否则调用者将被挂起,直到别的任务释放该信号量才能继续运行 */
void down ( struct semaphore *sem );
/* 获取信号量sem。如果信号量不可用,进程将被置为TASK_INTERRUPTIBLE类型的睡眠状态。
   该函数由返回值来区分是正常返回还是被信号中断返回,如果返回0,
   表示获得信号量正常返回,如果被信号打断,返回“-EINTR” */
int down_interruptible ( struct semaphore *sem );
/* 获取信号量sem。如果信号量不可用,进程将被置为TASK_KILLABLE类型的睡眠状态 */
int down_killable ( struct semaphore *sem );

注意,down函数现已不建议继续使用。建议使用down_killabledown_interruptible函数。
  4. 释放信号量:

/* 该函数释放信号量sem,即把sem的值加1,如果sem的值为非正数,
   表明有任务等待该信号量,因此唤醒这些等待者 */
void up ( struct semaphore *sem );

  信号量使用模板:

DECLARE_MUTEX ( sem )

if ( down_interruptible ( &sem ) ) {
    return -ERESTARTSYS;
}

... /* 临界资源 */

up ( &sem );

自旋锁

  自旋锁最多只能被一个可执行单元持有。自旋锁不会引起调用者睡眠,如果一个执行线程试图获得一个已经被持有的自旋锁,那么线程就会一直进行忙循环,一直等待下去,在那里看是否该自旋锁的保持者已经释放了锁,自旋就是这个意思。

/* 该宏用于初始化自旋锁x,自旋锁在使用前必须先初始化 */
spin_lock_init ( x );
/* 获取自旋锁lock,如果成功,立即获得锁,并马上返回,否则它将一直自旋在那里,直到该自旋锁的保持者释放 */
spin_lock ( lock );
/* 试图获取自旋锁lock,如果能立即获得锁,并返回真,否则立即返回假。它不会一直等待被释放 */
spin_trylock ( lock );
spin_unlock ( lock ); /* 释放自旋锁lock,它与spin_trylock或spin_lock配对使用 */

  读写自旋锁示例:

unsigned long flags;
rwlock_t rwlock;
rwlock_init ( &rwlock );
read_lock ( &rwlock );
... /* 临界资源 */
read_unlock ( &rwlock );
write_lock_irqsave ( &rwlock, flags );
... /* 临界资源 */
write_unlock_irqrestore ( &rwlock, flags );

  自旋锁模板:

spinlock_t lock;
spin_lock_init ( &lock );
spin_lock ( &lock );
... /* 临界资源 */
spin_unlock ( &lock );

读入者/写入者信号量

  读操作并发,写操作互斥,即一个rwsem可允许一个写入者或无数个读取者拥有该信号量。写入者的级别更高,当有大量写入者竞争该信号量时,会导致读取者饿死,即长时间拒绝读取者的访问。但是驱动程序很少用该机制,一般在很少需要写访问且写入者只会短期拥有信号量的时候使用rwsem

rw_semaphere_t rw_sem;
init_rwsem ( &rw_sem );
... /* 读时获取信号量 */
down_read ( &rw_sem );
... /* 临界资源 */
up_read ( &rw_sem );
... /* 写时获取信号量 */
down_write ( &rw_sem );
... /* 临界资源 */
up_write ( &rw_sem );

信号量 PK 自旋锁

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

  • 使用信号量的开销是进程上下文切换时间。
  • 自旋锁的开销是忙等待获取自旋锁。

  等待时机不同:

  • 信号量可能导致阻塞,所以在不允许阻塞的代码中不能用可能引起阻塞的信号量处理方式。
  • 自旋锁是忙等待。
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值