火龙果软件LINUX设备驱动开发精要.pptVIP

临界区 把对共享内存进行访问的程序片段称作临界区(critical region)，或临界段(critical section)。如果我们能够适当地安排使得两个进程不可能同时处于临界区，则就能够避免竞争条件。 临界区四要素 任何两个进程不能同时处于临界区 临界区外的进程不能阻塞其他进程 不能使进程在临界区外无限等待 不应对CPU的速度和数目做假设 PV操作解决同步互斥 PV原语的含义　　P操作和V操作是不可中断的程序段，称为原语。PV原语及信号量的概念都是由荷兰科学家E.W.Dijkstra提出的。信号量sem是一整数，sem大于等于零时代表可供并发进程使用的资源实体数，但sem小于零时则表示正在等待使用临界区的进程数。　　P原语操作的动作是：　　（1）sem减1；　　（2）若sem减1后仍大于或等于零，则进程继续执行；　　（3）若sem减1后小于零，则该进程被阻塞后进入与该信号相对应的队列中，然后转进程调度。　　V原语操作的动作是：　　（1）sem加1；　　（2）若相加结果大于零，则进程继续执行；　　（3）若相加结果小于或等于零，则从该信号的等待队列中唤醒一等待进程，然后再返回原进程继续执行或转进程调度。　　PV操作对于每一个进程来说，都只能进行一次，而且必须成对使用。在PV原语执行期间不允许有中断的发生。 解决互斥 用PV原语实现进程的互斥 由于用于互斥的信号量sem与所有的并发进程有关，所以称之为公有信号量。公有信号量的值反映了公有资源的数量。 只要把临界区置于P(sem)和V(sem)之间，即可实现进程间的互斥。就象火车中的每节车厢只有一个卫生间，该车厢的所有旅客共享这个公有资源：卫生间，所以旅客间必须互斥进入卫生间，只要把卫生间放在P(sem)和V(sem)之间，就可以到达互斥的效果。 解决同步 用PV原语实现进程的同步 与进程互斥不同，进程同步时的信号量只与制约进程及被制约进程有关而不是与整组并发进程有关，所以称该信号量为私有信号量。 利用PV原语实现进程同步的方法是：首先判断进程间的关系为同步的，且为各并发进程设置私有信号量，然后为私有信号量赋初值，最后利用PV原语和私有信号量规定各进程的执行顺序。 Linux 信号量实现 void sema_init(struct semaphore *sem, int val); DECLARE_MUTEX(name); DECLARE_MUTEX_LOCKED(name); void init_MUTEX(struct semaphore *sem); void init_MUTEX_LOCKED(struct semaphore *sem); void down(struct semaphore *sem); int down_interruptible(struct semaphore *sem); int down_trylock(struct semaphore *sem); void up(struct semaphore *sem); 嵌入式Linux系统高级开发讲义 第一天课程 模块 Linux设备驱动程序简介 Linux字符设备驱动开发 并发与竞争 Linux内核调试技术 日程安排 设备驱动简介 设备驱动简介 驱动是什么 Driver is a software layer that lies between the applications and the actual device 驱动程序的角色 提供机制, 而不是策略 隐藏在UNIX中的哲学 mechanism: What capabilities are provided. policy: How these capabilities can be used. Kernel的作用 Kernel可划分为下列功能单元 进程管理: 进程调度, 资源分配, 进程间通信. 内存管理: 其实也算是资源分配的一部分 文件系统: 管理, 组织物理媒介上数据的方法 设备控制: 设备驱动(ldd3所关注的) 网络: 实质上是进程间通信. 但它不局限于一个特定的进程. 它关注收/发packets, 路由, 地址解析... Kernel的结构 模块 可加载模块(lodable modules) module: 可实时加载到内核中的代码, 它可动态连接到内核(insmod, rmmod) 设备驱动就是module的代表, 但module还包括文件系统等等. 设备和模块的分类 模块分为这些类型，每种类型的模块驱动对应类型的设备 character module, block module, network interface other modu