操作系统之进程同步互斥问题

一、同步互斥

同步亦称直接制约关系，是指为完成某种任务而建立的两个或多个进程，这些进程因为需要在某些位置上协调它们的工作次序而等待、传递信息所产生的制约关系。进程间的直接制约关系源于它们之间的相互合作。互斥也称间接制约关系。当一个进程进入临界区使用临界资源时，另一个进程必须等待，当占用临界资源的进程退出临界区后，另一进程才允许去访问此临界资源。

二、同步互斥实现原则

1、空闲让进：当临界区空闲时，可以让程序进入临界区。
2、忙则等待：当临界区被其他进程占用时，本进程就等待进入。
3、有限等待：为了避免程序饿死，可以让进程的时间可控。
4、让权等待：对于不同的进程可以让他们有不同的临界资源的抢占权限。