经典进程同步问题

    文章出处：http://heikediguo2005.blog.163.com/blog/static/2211971200910254235533/

    依据信号量与进程的关系，我们可把进程中使信号量分成私用信号量和公用信号量。私有信号量是指只与制约进程和被制约进程有关的信号量；公用信号量是指与一组并发进程有关的信号量。

    1. 生产者——消费者问题

    生产者——消费者问题(producer-consumer problem)是指若干进程通过有限的共享缓冲区交换数据时的缓冲区资源使用问题。假设“生产者”进程不断向共享缓冲区写入数据（即生成数据），而“消费者”进程不断从共享缓冲区读出数据（即消费数据）；共享缓冲区共有n个；任何时刻只能有一个进程可对共享缓冲区进行操作。所有生产者和消费者之间要协调，以完成对共享缓冲区的操作。

   

    我们可把共享缓冲区中的n个缓冲块视为共享资源，生产者写入数据的缓冲块成为消费者可用资源，而消费者读出数据后的缓冲块成为生产者的可用资源。为此，可设置三个信号量：full、empty和mutex。其中：full表示有数据的缓冲块数目，初值是0；empty表示空的缓冲块数，初值是n；mutex用于访问缓冲区时的互斥，初值是1。实际上，full和empty间存在如下关系：full+empty = N。

    注意：这里每个进程中各个P操作的次序是重要的。各进程必须先检查自己对应的资源数在确信有可用资源后再申请对整个缓冲区的互斥操作；否则，先申请对整个缓冲区的互斥操作后申请自己对应的缓冲块资源，就可能死锁。出现死锁的条件是，申请到对整个缓冲区的互斥操作后，才发现自己对应的缓冲块资源，这时已不能放弃对整个缓冲区的占用。

    如果采用AND信号量集，相应的进入区和退出区都很简单。如生产者的进入区为

    Swait(empty, mutex)，退出区为Ssignal(full, mutex)。

 

    2. 读者——写者问题

   

    读者——写者问题(readers——writers problem)是指多个进程对一个共享资源进行读写操作的问题。假设“读者”进程可对共享资源进行读操作，“写者”进程可对共享资源进行写操作；任一时刻“写者”最多只允许一个，而“读者”则允许多个。即对共享资源的读写操作限制关系包括：“读—写，互斥”、“写—写”互斥和“读—读”允许。

    我们可认为写者之间、写者与第一个读者之间要对共享资源进行互斥访问，而后续读者不需要互斥访问。为此，可设置两个信号量Wmutex、Rmutex和一个公共变量Rcount。其中，Wmutex表示“允许写”，初值是1；公共变量Rcount表示“正在读”的进程数，初值是0；Rmutex表示对Rcount的互斥操作，初值是1。

    在这个例子中，我们可见到临界资源访问过程的嵌套使用。在读者算法中，进入区和退出区又分别嵌套了一个临界资源访问过程。

    对读者——写者问题，也可采用一般“信号量集”机制来实现。如果我们在前面的读写操作限制上再加一个限制条件：同时读的“读者”最多R个。这时，可设置两个信号量Wmutex和Rcount。其中：Wmutex表示“允许写”，初值是  Rcount表示“允许读者数目”的进程数，初值是R。为采用一般“信号量采集”机制来实现的读者——写者算法。