进程同步与互斥笔记

1、进程之间的两种相互制约关系

（1）间接相互制约关系（互斥关系）

同处于一个系统中的进程，通常都共享着某种资源，如共享CPU、共享I/O设备等，所谓间接相互制约即源于这种资源共享，使系统中本来没有关系的进程因竞争资源产生了制约关系。

（2）直接制约关系（同步关系）

这种制约主要源于进程间的合作。比如输入、计算、输出。在运行过程中，某进程可能要在某些同步点上等待另一伙伴（协作进程）为它提供消息，在未获得消息之前，该进程处于等待状态，获得信息后被唤醒进入就绪态，才能被执行。

几个概念：

互斥：两个进程不能同时使用同一资源
死锁：指多个进程互不相让，都得不到足够的资源
饥饿：指一个进程一直得不到资源（其他进程可能轮流占用资源）

2、临界资源和临界区

进程的互斥是由于共享资源而引起的，为了描述这类情况，引入了临界资源和临界区的概念。

临界资源：系统中一次只允许一个进程访问的资源。如I/O设备、共享文件、共享变量等。

临界区：并发执行的进程中，访问临界资源的必须互斥执行的代码段叫临界区。

3、进程同步机制

（1）概念：

多个相关进程在执行次序上的协调称为进程同步。用于保证多个进程在执行次序上的协调关系的相应机制称为进程同步机制。

（2）进程同步机制应遵循的准则

a)空闲让进：当临界资源处于空闲状态时，允许相应的进程立即进入自己的临界区
b)忙则等待：当已有进程进入临界区时，其他试图进入临界区的进程必须等待
c)有限等待：对要求进入临界区的进程，应保证在有限时间内能进入自己的临界区
d)让权等待：当进程不能进入自己的临界区时，应立即释放处理机，以免进程陷入“忙等”状态。

4、临界区的互斥访问

1.可把一个访问临界资源的循环进程描述如下：

repeat
enter section
//进入区：进程在进入临界区之前，应先对预访问的临界资源进行检查，看它是否正被访问，如果没有则进入临界区对其进行访问，并设置它为正被访问状态
critical section
//临界区
exit section
退出区：将临界区正被访问的标志恢复为未被访问的标志
remainder section
until false;

2.实现方法

a)软件方法：比较复杂，需要较高的编程技巧
b)硬件指令
c)信号量机制

5、信号量(Sema