经典同步问题最易理解的解题思路（PV操作/操作系统/408）

信号量是操作系统用来解决并发中的互斥和同步问题的一种方法，具体的原理在此不做赘述。本文将从题目出发一步步的对同步问题（生产者消费者问题，读者写者问题，哲学家进餐问题）进行理解，并将以王道上的一道例题来验证解题思路。此处仅战术pv操作的逻辑，逻辑与程序一致，可以自行对其进行转换。

一、生产者消费者问题

问题描述: 一组生产者进程和一组消费者进程共享一个初始为空、大小为n的缓冲区，只有缓冲区没满时，生产者才能把消息放入缓冲区，否则必须等待;只有缓冲区不空时，消费者才能从中取出消息，否则必须等待。由于缓冲区是临界资源，它只允许一个生产者放入消息，或一个消费者从中取出消息。
（1）首先对各个进程所需要完成的动作进行确认

（2）找到临界资源

此处的临界资源为放入产品的区域，这里用mutex作为其指代。

（3）找出可能导致死锁的原因

此处找原因主要靠经验，可以对每种原因进行记录。在生产者消费者问题中最最常见的便是生产者想放入而没有空间，消费者想消费获得不了资源导致；消费者想消费没有资源，生产者想生产获得不了空间导致的死锁。解决方案为增加full和empty的信号量保证生产者只有空着才能放入，消费者只有有资源才能消费。