嵌入式系统教学课件：操作系统3-互斥.ppt

进程管理2 进程互斥 进程互斥 进程互斥 临界资源、临界区 例：有两个进程A和B，它们共享一个变量x，且两个进程按以下方式对变量X进行访问和修改: 其中R1和R2为处理机中的两个寄存器。 A与B均对X+1，即X+2。 若按另一顺序对变量进行修改： 结果x只加了1。 临界资源、临界区 例2：getspace和release: getspace: begin local g g stack[top] top top-1 end release(ad): begin top top+1 stack[top] ad end 两个进程公用一个堆栈，堆栈是临界资源；访问堆栈的程序段就是临界区。 临界资源、临界区 为了保证临界资源的正确使用，可以把临界资源的访问过程分成以下几部分： 临界资源、临界区 互斥的定义 互斥的定义： 不允许两个以上的共享某一公有资源的并发进程同时进入临界区称为互斥。 一组并发进程互斥执行需满足的准则 信号量（Sem）的物理意义： ①信号量（Sem）是一整数； ②当sem ? 0时代表可供并发进程使用的资源实体的数目； ③当sem 0时则表示正在等待使用资源（如临界区）的进程数目。 信号量使用时应注意的问题： 用于进程互斥的信号量sem的初值应该大于零；建立一个信号量时必须说明所建信号量所代表的意义（物理）并赋初值。 P操作的定义： ①信号量sem减1； ②若sem减1后仍大于等于零，则进程继续执行； ③若sem减1后小于零，则该进程被阻塞后加入与该信号相对应的等待队列中，然后转进程调度。 P操作流程图 V操作的定义： ①信号量sem加1； ②若sem加1后仍大于零，则进程继续执行； ③若sem加1后小于或等于零，则从与该信号相对应的等待队列中唤醒一个等待进程，然后返回原进程继续执行或转进程调度。 信号量的值仅能由P、V原语操作改变。 V操作流程图 用P、V操作实现简单的进程互斥或同步 解决此类问题的一般方式： 根据问题给出的条件，确定进程有几个或几类； 确定进程间的制约关系——是互斥，还是同步； 各相关进程间通过什么信号量实现彼此的制约，标明信号量的含义和初值。 用P、V操作写出相应的代码段。 验证代码的正确性：设以不同的次序运行各进程，是否能保证问题的圆满解决。切忌按固定顺序执行各进程。 用P、V操作实现互斥 用信息量和P、V操作实现互斥的一般模型 用P、V操作实现互斥 例子： 设某游艺场设置了一个自动计数系统，用一个计数器count 来指示在场的人数。当有一个人进入时，进程PIN实现计数加1，当退出一人时，进程POUT实现计数减1。由于入场和退场是随机的，因此PIN和POUT是并发的。 用cobegin和coend表示并发执行，这两个进程的程序如下： main( ) begin count: integer; count:=0; cobegin process PIN Ru:integer; Begin Ru:=Count; Ru:=Ru+1; Count:=Ru; End; process POUT Cu:integer; Begin Cu:=Count; Cu:=Cu - 1; Count:=Cu; End; Coend; End; 用P、V原语实现进程的互斥（例如这里是互斥进入临界区） main( ) begin count: integer; S:semaphore; count:=0; S:=1; cobegin process PIN Ru:integer; Begin P(s); Ru:=Count; Ru:=Ru+1; Count:=Ru; V(s); End; process POUT Cu:integer; Begin P(s); Cu:=Count; C