进程同步与互斥

一、异步与同步

1.进程异步：各进程以各自独立的、不可预知的速度向前推进。

2.同步：直接制约关系，为完成某任务的进程需要按照某工作次序执行而产生的制约关系。

3.进程同步：各进程的推进次序是按我们预期的顺序向前推进，需要进程同步机制实现

二、共享与互斥

1.资源共享方式：互斥共享-在一个时间段只能有一个进程访问该资源；同时共享-允许一个时间段有多个进程访问该资源

2.临界资源：一个时间段只能有一个进程访问的资源，对其访问必须互斥进行。

3.互斥：间接制约关系，多进程访问同一临界资源时需要按照某次序访问而产生的制约关系

4.进程互斥：一个进程访问临界资源时，其它进程必须等待，直至该进程访问结束。

三、逻辑实现

1.逻辑上分四个部分：

进入区：设置正在访问临界资源的标志，以阻止其他进程同时进入临界区

临界区：也称临界段，是访问临界资源的代码

退出区：解除正在访问临界资源的标志

剩余区：做其它处理

2.遵循的原则：(临界区)空闲让(进程)进，(有进程)忙则(其它进程)等待，(请求访问进程)有限(时间内)等待(不会饥饿)，(不能进入临界区的进程)让权(释放处理机)等待