进程同步中的生产者-消费者模型分析 (2007年)

指出了复杂并发进程控制模型中同步和互斥关系处理的一般准则。以生产者-消费者模型为例，根据缓冲区数量、生产者进程数量和消费者进程数量的不同，将其细分为4种不同的子模型，并对其中的同步和互斥关系分别进行了分析，给出了各种情况下基于P、V原语和信号量机制的具体解决方案。