2.3 进程同步

1.理解同步的含义

2.信号量机制控制进程同步

3.管程

• 进程间有什么相互影响？

 

1. 间接相互制约关系：主要源于资源共享,表现为进程A---打印机资源---进程B（互斥）

2. 直接相互制约关系：主要源于进程合作，表现为进程A写缓冲---进程B读缓冲（有序）

• 进程同步的主要任务：使并发执行的诸进程之间能有效地共享资源和相互合作，从而使程序的执行具有可再现性。

• 同步机制应遵循的规则

• 实现互斥的方法应符合如下每条原则

• ¡空闲让进：资源使用最基本原则

  ¡忙则等待：保证互斥

  ¡有限等待：合适时被唤醒防止死等

  ¡让权等待：能主动释放CPU防止忙等

•  

  信号量机制

1.  整型信号量：

   P操作  wait(S): 

                 While S<=0 do no-op;

                 S:=S-1;

   V操作  signal(S):   

                 S:=S+1;

2. 记录型信号量

   ¡整型信号量符合“有限等待”原则

   lsignal释放资源后，当CPU被分配给等待进程后，等待进程仍可继续执行，可以符合“有限等待”。

   ¡但整型信号量不符合“让权等待”原则

   l整型信号量的wait操作，当s ≤0时，当前进程会占着CPU不断测试；

   l信号量原语不能被打断，这个占有CPU的进程会一直不断的占据CPU循环下去，陷入忙等。

3.  信号量结构信息发生变化

   ¡不仅要有值的处理，还有队列的处理。

   ¡此时形成记录型数据结构，包括两部分：

   l整型变量value(代表资源数目)

   l进程链表L(链接所有等待进程)：

   ¡代码描述：

   type  Semaphore=record

     value：integer;

     L：list  of  PCB;

   end;

   操作：S.Value，S.L

4.  

    

    

   信号量的基本应用：

   ¡实现进程互斥

   ¡实现进程间的前趋关系（有序）

• 互斥信号量注意点：

  1.互斥信号量mutex初值为1；

  2.每个进程中将临界区代码置于P(mutex)和V(mutex)原语之间

  3.必须成对使用P和V原语（在同一进程中），不能次序错误、重复或遗漏：

  l遗漏P原语则不能保证互斥访问

  l遗漏V原语则不能在使用临界资源之后将其释放（给其他等待的进程）；

•  

   

   

   

  实现有序：

  n前趋关系:并发执行的进程P1和P2中，分别有代码C1和C2，要求C1要在C2开始前完成；

  n为每对前趋关系设置一个同步信号量S12，并赋初值为0。则只有V操作所在进程获得cpu时能运行

1.  

   控制同步顺序的注意点：

   ¡信号量值为0的点是限制的关键所在；

   成对使用P和V原语（在有先后关系的两个进程中），不能次序错误、重复或遗漏，否则同步顺序出错
2. AND型信号量：¡出现原因：一些应用往往需要两个或多个共享资源，而不是前述的一个资源。进程同时要求的共享资源越多，发生死锁可能性越大。

   ¡解决思想：一次性分配给进程所需资源，用完一起释放。Wait操作时对它所有需要的资源都要判断，有AND条件，故称“AND同步”、“同时wait”

3.  

   信号量集：

   ¡引入原因：

   l每次只能获得或释放一个单位的资源，低效；

   l某些时候资源分配有下限的限制；

   l修改：在大于可分配设置的下界值t前提下，每次可分配d个。

•  

   

  信号量题目做题一般方法：

  1.分析问题，找出同步、互斥关系

  2.根据资源设置信号量变量

  3.写出代码过程，并注意P、V操作的位置

  4.检查代码，模拟机器运行，体验信号量的变化和程序运行过程是否正确。