进程同步与互斥

进程同步与互斥

  首先，我们看一个例子：进程P1、P2公用一个变量COUNT，初始值为0

 

    P1、P2两个进程的执行顺序是随机的，P1、P2可能顺序执行或交错执行。

    由图可见，不同的执行顺序，COUNT值会不同，这是不允许的。

    在多道程序系统中，由于资源共享或进程合作，使进程间形成间接相互制约和直接相互制约关系，这需要用进程互斥与同步机制来协调两种制约关系。

1、临界资源：

    然在多道程序系统中的诸进程可以共享各类资源，然而临界资源却是一次只能供一个进程使用，使用完后归还系统，才能给其他进程使用。（如上例变量COUNT是临界资源）。

    进程对临界资源必须互斥使用，为实现对临界资源的互斥访问，应保证诸进程互斥地进入自己的临界区。为此，每个进程在进入其临界区前，必须先申请，经允许后方能进入。

  同步机制应遵循的准则：

空闲让进

当无进程处于临界区内时，必须让一个要求进入临界区的进程立即进入，以有效地利用临界资源。

忙则等待

当已有进程处于临界区内时，其它试图进入临界区的进程必须等待，以保证它们互斥地进入临界区。

有限等待

对要求进入临界区的进程，应在有限时间内使之进入，以免陷入“死等”。

让权等待

对于等待进入临界区的进程而言，它必须立即释放处理机，以免进程“忙等”

  解决互斥的锁机制：

       实现互斥的一种软件方法是采用锁机制，即提供一对上锁（Lock）和开锁（UnLock）原语，以及一个锁变量W。

       进程进入临界区前，通过锁变量来判断临界资源是否被占用。

2、信号量机制

      号量机制是一种卓有成效的进程同步工具，被广泛应用于单处理机和多处理机系统，以及计算机网络中。

      锁机制仅能表示“开”与“关”两种状态；开、关原语必须作为原子操作来进行；关锁原语中反复测试W状态，浪费了处理机的时间；锁机制只能解决互斥，不能用于同步。信号量同步机制能完满地解决上述问题，以下介绍经典信号量机制。

   P操作：意味着请求分配一个单位资源  V操作：意味着释放一个单位资源

  合作进程的执行次序，其进程流图如下:

进 程 流 图

3、互斥、同步例子

  互斥例子：

       三个进程共用两个I/O缓冲区

       解：设用信号量S表示共享资源，S初始值为2

  同步例子：

       有A、B两进程，A进程从卡片机读信息入缓冲区，B进程负责加工读进缓冲区的卡片

       解：设  信号量S1：缓冲区中有否可供加工的信息，初始值为0；

               信号量S2：缓冲区是否为空，初始值为1；

 

    在输入进程A中，可以把P（S2）调到V（S1）后面，而把信号量S2的初始值设为0。

用P-V操作描述前趋关系的例子：

    信号量还可以描述程序或语句之间的前趋关系。

描述如下：

var  a，b，c，d，e，f，g：=semaphore：=0，0，0，0，0，0，0；

begin 

    parbegin 

         begin  S1；V(a)；V(b)；end； 

         begin  P(a)；S2；V(c)；V(d)；end； 

         begin  P(b)；S3；V(e)；end； 

         begin  P(c)；S4；V(f)；end； 

         begin  P(d)；S5；V(g)；end； 

         begin  P(e)；P(f)；P(g)；S6；end； 

    parend 

End

4、生产者、消费者问题

    产者-消费者（Producer-Consumer）问题是著名的进程同步问题。它描述一组生产者向一组消费者提供消息，它们共享一个有界缓冲池，生产者向其中投放消息，消费者从中取得消息。以下用信号量解决生产者-消费者问题。

    假如缓冲池中有n个缓冲区，每个缓冲区存放一个消息，可利用互斥信号量mutex使诸进程对缓冲池实现互斥访问；利用empty和full计数信号量分别表示空缓冲及满缓冲的数量。又假定这些生产者和消费者互相等效，只要缓冲池未满，生产者可将消息送入缓冲池；只要缓冲池未空，消费者可从缓冲池取走一个消息。

       其中，mutex，empty，full的初始值分别为1，n，0；

基本概念

进程互斥：指在多道程序环境下，每次只允许一个进程对临界资源进行访问。   

进程同步：指多个相关进程在执行次序上的协调。   

临界资源：在一段时间内只允许一个进程访问的资源。   

临界区：每个进程中访问临界资源的那段代码。

参考

［1］http://metc.gdut.edu.cn/os/oscai/chapter2/pages/ch26.htm