CMU 15-213 Introduction to Computer Systems学习笔记(22) Synchronization: Advanced

Reminder: Semaphores

信号是非负全局同步变量， 由P和V操作管理，并且P操作将信号量作为参数。

Using semaphores to schedule shared resources

上一节课是利用信号量来提供互斥，

其他方法也可以做到保护共享变量。我们也可以使用信号量以不同的方式协调对共享数据结构的访问（网上看了下说是同步的概念https://blog.csdn.net/xqf309/article/details/8769107），我们在使用信号量之前的想法只是为了保护对共享变量的访问，但是我们也可以通过在这些场景中保持并以此方式协调访问，  我们正在使用信号量来跟踪状态以计算事物以跟踪状态，并通知其他状态变化的其他在ok状态的线程，所以这是一个非常不同的使用模型。

Producer-Consumer Problem

我们要看的两个经典例子是消费者问题和读者作家问题。

 生产者消费者的想法是：你有一个缓冲区形式的资源，缓冲区大小有限， 所以它由