第二章1.信号量及各种锁精要.pptVIP

Neusoft Institute of Information Date: 9 3 2010 IT Education Training Neusoft Institute of Information 电子工程系-- 嵌入式Linux驱动设备开发 目录 一 并发与竞态 三 自旋锁、读写锁 四 原子操作、等待队列 二 信号量 并发和它的管理 Linux 系统的并发源: 多个用户空间进程在运行,它们可能以令人惊讶的方式组合运行你的代码. SMP系统能够同时在不同处理器上执行你的代码. 内核代码是可抢占的;你的驱动代码可能在任何时间失去处理器,代替它的进程可能也在你的驱动中运行. 设备中断是能够导致你的代码并发执行的异步事件. 内核也提供各种延迟代码执行的机制, 例如 workqueue,tasklet,定时器.这些能够使你的代码在任何时间以一种与当前进程在做的事情无关的方式运行. 资源共享的硬规则 任何时候一个硬件或软件资源被超出一个单个执行线程共享,并且可能存在一个线程看到那个资源的不一致时,你必须明确地管理对那个资源的存取. 当内核代码创建一个会被内核其他部分共享的对象时, 这个对象必须一直存在(并且功能正常)到它知道没有对它的外部引用存在为止. 在大部分情况下, 你将发现内核为你处理引用计数, 但是常常有例外. 信号量： 是一个单个整型值, 结合有一对函数, 典型地称为 P 和 V. 一个想进入临界区的进程将在相关信号量上调用 P; 如果信号量的值大于零, 这个值递减 1 并且进程继续. 相反, 如果信号量的值是 0 ( 或更小 ), 进程必须等待（睡眠）直到别人释放信号量. 解锁一个信号量通过调用 V 完成; 这个函数递增信号量的值, 并且, 如果需要, 唤醒等待的进程. 信号量和互斥体 互斥： 阻止多个进程同时在同一个临界区内运行 -- 它们的值将初始化为 1. 这样的信号量在任何给定时间只能由一个单个进程或者线程持有. 以这种模式使用的信号量有时称为一个互斥锁. 几乎所有在 Linux 内核中发现的信号量都用作互斥. 建立临界区: 在任何给定时间只有一个线程可以执行代码. 信号量和互斥体 信号量 信号量在创建时需要设置一个初始值，表示允许 有几个任务同时访问该信号量保护的共享资源， 初始值为1就变成互斥锁（Mutex），即同时只能 有一个任务可以访问信号量保护的共享资源。 2.当任务访问完被信号量保护的共享资源后，必须 释放信号量，释放信号量通过把信号量的值加1实 现，如果释放后信号量的值为非正数，表明有任 务等待当前信号量，因此要唤醒等待该信号量的 任务。 信号量的实现也是与体系结构相关的，定义在asm/semaphore.h中，struct semaphore类型用来表示信号量。 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_LOCKED (struct semaphore *sem) 该函数也用于初始化一个互斥锁，但它把信号量 sem的值设置为0，即一开始就处在已锁状态。 定义与初始化的工作可由如下宏一步完成： DECLARE_MUTEX(name) 定义一个信号量name，并初始化它的值为1。 DECLARE_MUTEX_LOCKED(name) 定义一个信号量name，但把它的初始值设置为0，即锁在创建时就处在已锁状态。 信号量 信号量 获取信号量 void down(struct semaphore * sem) 获取信号量sem，可能会导致进程睡眠，因此不能在中断上下文使用该函数。该函数将把sem的值减1，如果信号量sem的值非负，就直接返回，否则调用者将被挂起，直到别的任务释放该信号量才能继续运行。 int down_interruptible(struct semaphore * sem) 获取信号量sem。如果信号量不可用，进程将被置为TASK_INTERRUPTIBLE类型的睡眠状态。 该函数由返回值来区分是正常返回还是被信号中断返回，如果返回0，表示获得信号量正常返回，如果被信号打断，返回-EINTR。 信号量 信号量 down_killable(struct semaphore *sem) 获取信号量sem。如果信号量不可