操作系统复习2.3.1-进程的同步和互斥

进程同步

同步也称为直接制约关系，解决异步问题

进程互斥

互斥称为间接制约关系，互斥访问临界资源
临界资源在逻辑上分区为 进入区、临界区、退出区、剩余区

• 进入区：检查是否进入临界区，可进入时需设置访问标志，即锁
• 临界区：访问临界资源代码
• 退出区：解除访问标志，解锁
• 剩余区：做其他处理

互斥访问准则

• 空闲让进：临界区空闲时，允许一个进程进入临界区
• 忙则等待：进程进入临界区后，其他试图进去临界区的进程必须等待
• 有限等待：请求进程需要保证有限时间内进入临界区，保证不饥饿
• 让权等待：当进程不能进入临界区，释放处理机