信号量和管程

希望阅读本文后的你，可以更好的理解OS中的信号量和管程。如果你有任何疑惑，欢迎指出，因为很有可能是我的理解错误或者笔误。

0. 相关概念回顾

在OS引入多线程后，程序的多任务并发功能得到了良好的支持，但同时也带来了问题，那就是多线程并发会导致一些共享的资源产生竞争问题（例如对共享数据区的数据进行操作）,而在计算机中，操作这种共享资源的代码块被称为临界区。为了解决这种竞争冲突，我们必须理解两个概念：同步和互斥。

互斥： 所谓互斥，就是说，任何时候只能有一个对象访问某个资源，绝不允许多个对象同时操作。即任何时候只能有一个进程执行临界区代码。

同步：所谓同步，指的是事件执行之间的依赖关系，譬如，事件B只有在事件A执行完毕后才能执行。在OS多线程中，同步的引入是为了协调对共享数据的并发访问。

而为了确保同步的正确执行，基本来说有两种方式：

1. 通过底层硬件支持来完成（CPU指令中有Test-and-Set指令，即原子操作，所谓原子操作就是说，一个操作要么执行完成，要么就不执行，决不可能执行到一半就停下来去做别的事情。）
2. 高层次的软件编程抽象。（编程难度较大）

大致如下图所示：