希望阅读本文后的你,可以更好的理解OS中的信号量和管程。如果你有任何疑惑,欢迎指出,因为很有可能是我的理解错误或者笔误。
0. 相关概念回顾
在OS引入多线程后,程序的多任务并发功能得到了良好的支持,但同时也带来了问题,那就是多线程并发会导致一些共享的资源产生竞争问题(例如对共享数据区的数据进行操作),而在计算机中,操作这种共享资源的代码块被称为临界区
。为了解决这种竞争冲突,我们必须理解两个概念:同步
和互斥
。
互斥: 所谓互斥,就是说,任何时候只能有一个对象访问某个资源,绝不允许多个对象同时操作。即任何时候只能有一个进程执行
临界区
代码。
同步:所谓同步,指的是事件执行之间的依赖关系,譬如,事件B只有在事件A执行完毕后才能执行。在OS多线程中,同步的引入是为了协调对共享数据的并发访问。
而为了确保同步的正确执行,基本来说有两种方式:
- 通过底层硬件支持来完成(CPU指令中有Test-and-Set指令,即原子操作,所谓原子操作就是说,一个操作要么执行完成,要么就不执行,决不可能执行到一半就停下来去做别的事情。)
- 高层次的软件编程抽象。(编程难度较大)
大致如下图所示: