第5章-进程同步与互斥课件.pptVIP

Swap指令定义： void Swap(int a, int b) { int temp=a; a = b; b=temp ; } 专门的机器指令Swap 使用Swap指令实现互斥 do{ key=1; while(key!=0) Swap(lock,key); /*临界区*/ lock=0; 剩余区 }while(1); 5.4.3 专门的机器指令－评价 优点 适用于单处理器或共享主存的多处理器系统, 进程数目任意 简单且易于证明 可以使用多个变量支持多个临界区，只需为每个临界区设立一个布尔变量 缺点 忙等待：当一个进程正在等待进入一个临界区时，继续消耗处理器时间。 可能饿死：任意选择等待的进程，有的可能一直选不上 可能死锁：高优先级进程等待处于阻塞状态的低优先级进程的资源（如：进程P1执行TS或Swap指令并进入临界区，然后P1被阻塞，并把CPU给具有更高优先级的P2, 若P2试图使用与P1相同的资源，由于互斥机制，它被拒绝访问，因此进入忙等待循环，又因P2优先级高于P1，所以P1总得不到调度执行,P2也无法执行。） 5.5 信号量 信号量机制 OS可从进程管理者的角度来处理互斥的问题 信号量就是OS提供的管理公有资源的有效手段。 是解决并发进程问题的第一个重要进展 (Dijkstra, 1965) 信号量定义：semaphore是一个数据结构，定义如下： struct semaphore{ integer count; Pointer_PCB queue; }; 信号量声明： Semaphore s; 5.5 信号量-定义与声明 5.5 信号量－信号量的物理意义 信号量s的count值含义 初始化指定一个非负整数值，表示空闲资源总数（又称为“资源信号量”）: 若为非负值：表示当前的空闲资源数（s.count= 0 :可用的资源数) 若为负值：其绝对值表示当前等待临界区的进程数(|s.count|为等待的进程数) 每个信号量 s 除一个整数值 s.count（计数）外，还有一个进程等待队列 s.queue，其中是阻塞在该信号量的各个进程的标识 5.5 信号量－wait、signal原语的定义 //表示申请一个资源 //表示没有空闲资源 //调用进程进入等待队列s.queue; // 阻塞调用进程;； //表示释放一个资源； //表示有进程处于阻塞状态； //从等待队列s.queue中取出一个进程P; //进程P进入就绪队列; 5.5 信号量－P、V原语的定义 struct semaphore{ integer count; Pointer_PCB queue; }; void P(semaphore s) { s.count--; //申请一个资源 If(s.count0) //没有空闲资源 {Place this process in s.queue; //进程进入等待队列s.queue; Block this process; } // 阻塞调用进程; } void V(semaphore s) { s.count++; //表示释放一个资源； If(s.count=0) //表示有进程处于阻塞状态； { remove a process from s.queue; //从等待队列s.queue中取出一个进程; place this process in ready list; } //该进程进入就绪队列; } 5.5 信号量－对信号量操作的物理意义 操作系统对信号量只能通过初始化和两个标准的原语来访问。 对信号量的操作只有三种原子操作: 初始化: 通常将信号量的值初始化为非负整数 P操作(wait操作） 使信号量的值减1(申请一个单位的资源 (s.count--)) 如果使信号量的值变成负数, 则执行P操作的进程被阻塞(当s.count 0时, 资源已分配完毕, 进程自己阻塞在S的队列上----让权等待) V操作(signal操作） 使信号量的值加1(释放一个单位资源 (s.count++)) 如果信号量的值不是正数, 则使一个因执行v操作被阻塞的进程解除阻塞(若s.count = 0, 则唤醒一个等待进程) 用P、V原语解决n个进程互斥共享一个临界资源的编程模型 const int n = 进程数； Semaphore mutex = 1; Void Pr