深入理解操作系统——同步互斥详解

同步互斥发生在并发的场景中，由于多个进程可能会共享某些资源，若同时对资源就绪修改访问，就会造成读取到的资源混乱，不同步的现象。临界区指的就是那些共享资源，在程序中表现为进程中访问临界资源的一段需要互斥执行的代码，意思是同一时刻只能有一个进程进入临界区执行。在临界区执行前有进入区，对来访的进程进行筛选，检查其是否可以进入临界区，获得进入临界区资格的进程执行完临界区代码之后有退出区，在这此进程要让其他等待的进程知道临界区已经空了，它们可以再次进入进入区去获得执行临界区代码的机会。

临界区有三种实现办法：禁用中断（硬件），软件方法，更高级的抽象方法。

禁用中断：当某一进程进入临界区后，利用硬件指令将计算机设置为不会发生中断，即关闭中断处理。所以此进程的执行就不会收到其他进程的影响，会一直占用cpu资源直到离开临界区。但此方法有可能让整个系统会停下来，导致其他进程处于饥饿状态，一般要小心使用。

基于软件的同步解决办法：线程可以通过共享一些共有变量和标志变量来同步它们的行为，一线程进入临界区之前同时判断此线程的共享变量值，判断通过后才会进入。

更高级的抽象方法：锁是一个抽象的数据结构，它有一个二进制变量，代表锁定和解锁:Lock::Acquire(),Lock::Release()。锁的内部实现是靠一些原子操作指令来控制。