操作系统复习第四章

第四章 互斥、同步与通信

进程互斥的实现
互斥访问： 一次只允许一个进程活动在关于同一组公共变量的临界区中；
空闲让进: 临界区空闲时，多个竞争者在有限时间内确定下一个进入者；
有限等待: 一个想要进入临界区的进程在等待有限个进程进入并离开临界区后获得进入临界区的机会。
信号量与PV操作

互斥：Semaphore mutex ; mutex.value = 1;
同步：Semaphore s ; s.value = 0;
Cobegin
Pa();Pb();