计算机操作系统第03章进程同步与通信-83页PPT资料.ppt

1)同步机制应满足的基本要求 描述能力 可以实现 效 率 高 使用方便 2)解决互斥的锁机制 实现互斥的一种软件方法是采用锁机制，即提供一对上锁(Lock)和开锁(UnLock)程序，以及一个锁变量W。 进程进入临界区前，通过锁变量来判断临界资源是否被占用。 3.2信号量机制 信号量机制是一种卓有成效的进程同步工具，被广泛应用于单处理机和多处理机系统，以及计算机网络中。 锁机制仅能表示“开”与“关”两种状态；上锁程序中反复测试Ｗ状态，浪费了处理机的时间；锁机制只能解决互斥，不能用于同步。信号量同步机制能完满地解决上述问题。 信号量：semaphore 是一个数据结构 定义如下： struc semaphore { int value;/*整型变量，仅由P、V操作修改 pointer_PCB queue; /*进程等待队列 } 信号量说明： s：semaphore：＝; P操作（即wait操作） P(s)或wait（s） { s.value = s.value --; if (s.value 0) { 该进程状态置为等待状态 将该进程的PCB插入相应的等待队列末尾s.queue; } } 调用进程调度原语重新分配CPU； V操作（即signal操作） V(s) { s.value = s.value ++;