Linux设备驱动开发-7并发和控制之使用信号量.docVIP

Linux设备驱动程序学习（3） 并发和竞态 并发指的是多个执行单元同时、并行被执行。 并发的执行单元对共享资源（硬件资源和软件上的全局变量、静态变量）的访问则导致竞态。 对并发的管理是操作系统编程中核心的问题之一。?并发产生竞态，竞态导致共享数据的非法访问。因为竞态是一种极端低可能性的事件，因此程序员往往会忽视竞态。但是在计算机世界中，百万分之一的事件可能没几秒就会发生，而其结果是灾难性的。 一、并发及其管理 竞态通常是作为对资源的共享访问结果而产生的。 在设计自己的驱动程序时，第一个要记住的规则是：只要可能，就应该避免资源的共享。若没有并发访问，就不会有竞态。这种思想的最明显的应用是避免使用全局变量。 但是，资源的共享是不可避免的 ，如硬件资源本质上就是共享、指针传递等等。 资源共享的硬性规则： （1）在单个执行线程之外共享硬件或软件资源的任何时候，因为另外一个线程可能产生对该资源的不一致观察，因此必须显示地管理对该资源的访问。访问管理的常见技术成为“锁定”或者“互斥”：确保一次只有一个执行线程可操作共享资源。 （2）当内核代码创建了一个可能和其他内核部分共享的对象时，该对象必须在还有其他组件引用自己时保持存在（并正确工作）。对象尚不能正确工作时，不能将其对内核可用。 二、信号量 一个信号量（semaphore）本质上是一个整数值，它和一对函数联合使用，这一对函数通常称为P和V。希望进入临届区的进程将在相关信号量上调用P；如果信号量的值大于零，则该值会减小一，而进程可以继续。相反，如果信号量的值为零（或更小），进程必须等待知道其他人释放该信号。对信号量的解锁通过调用V完成；该函数增加信号量的值，并在必要时唤醒等待的进程。 当信号量用于互斥时（即避免多个进程同时在一个临界区运行），信号量的值应初始化为1。这种信号量在任何给定时刻只能由单个进程或线程拥有。在这种使用模式下，一个信号量有事也称为一个“互斥体（mutex）”,它是互斥（mutual exclusion）的简称。Linux内核中几乎所有的信号量均用于互斥。 P与V函数即是下面的申请和释放信号量的函数。具体PV含义请查看操作系统相关书籍。 使用信号量，内核代码必须包含asm/semaphore.h 。 1、定义信号量 struct semaphore sem； 2、初始化信号量 void sema_init(struct semaphore *sem,int val); 该函数用于初始化信号量，并设置信号量sem的值为val。 void init_MUTEX(struct semaphore *sem); 该函数用于初始化一个用于互斥的信号量，他把信号量sem的值设置为1。 void init_MUTEX_LOCK(struct semaphore *sem) 该函数也用于初始化一个信号量，但他把信号量sem的值设置为0。 此外下面两个宏是定义并初始化信号量的“快捷方式” DECLARE_MUTEX(name) DECLARE_MUTEX_LOCKED(name) 前者定义一个名为name的信号量并初始化为1，后者定义一个名为name的信号量并初始化为0 3、获得信号量 void down(struct semaphore *sem) 用于获得信号量，他会导致睡眠，不能在中断上下文使用 int down_interruptible(struct semaphore *sem) 功能与down类似，导致睡眠后可以被进程打断。 使用down_interruptible获得信号量时，对返回值一般会进行检查，如果非0，通常立即返回-ERESTARTSYS if(down_interruptible(sem)) { Return – ERESTARTSYS; } Int down_trylock(struct semaphore *sem); 该函数尝试获得信号量sem，如果能够立刻获得，他就获得该信号量并返回0，否则，返回非0值，他不会导致调用者睡眠。可以在中断上下文使用。 4、释放信号量 void up(struct semaphore *sem) 释放信号量，唤醒等待者 三、信号量的使用场合 1、使用信号量实现设备只能被一个进程打开 2、用于同步