多进程并发运行,导致多个进程间有资源共享,比如CPU、内存,因此存在不确定性和不可重现,可能导致多次运行结果不一致。因此操作系统需要利用同步机制在并发执行的同时,保证一些操作是原子操作。
- 互斥是指一个进程占用了某个资源,其他进程都不能使用该资源;
- 死锁是指多个进程各占有了一部分资源,形成了循环等待;
- 饥饿是指其他进程轮流占用资源,一个进程一直得不到资源。
临界区
为解决进程间同步导致的这些问题,提出了一些方案。临界区是指进程中访问临界资源的一段需要互斥执行的代码。进入临界区之前需要判断能否进入,进入时需要改变标志阻止其他进程进入,进入的进程执行完成后退出时修改标志。
临界区访问规则:
- 空闲则入,没有进程进入时可以进城;
- 忙则等待,有进程在临界区时其他进程均不可进入;
- 有限等待,等待进入临界区的进程不能无限制等待;
- 让权等待,不能进入的进程应释放CPU进入阻塞状态。
临界区实现方式:
- 禁用中断,进入临界区后不响应中端;
- 软件方式,共享变量协调;
- 借用操作系统提供高级的抽象方法。
显然第三种方式是可取的,其他两种都有明显的缺陷。下面对第三种方式进行介绍。
方法一:禁用中断
缺点:
- 禁用中断后,进程无法被停止。整个系统都会为此停下来,可能导致其他进程处于饥饿状态
- 临界区可能很长,无法确定响应中断所需的时间(可能存在硬件影响)
方法二:软件中断
缺点:
- 需要两个进程间的共享数据项
- 需要忙等待,浪费CPU时间
方法三:原子操作指令
更高级的抽象方法实际是借助硬件的同步原语来实现的。
- 硬件提供了一些同步原语,包括中断禁用、原子操作指令等,从硬件上保证多个操作的原子性。
- 操作系统提供更高级的编程抽象来简化进程同,。实现方式有锁、信号量。
锁
锁是一个抽象的数据结构,由一个二进制变量(锁定/解锁)和两个操作原语(锁的请求和锁的释放)组成。二进制变量用于标志锁的状态,锁的请求使锁在被释放前一直等待,并且使进程得到锁,这两者是原子的,释放锁时唤醒其他等待锁的进程。
内部基于CPU体系结构提供的一些特殊的原子操作指令,这些指令把若干个指令合并为一次原子操作,保证不会出现部分执行的状态。这些原子操作指令包括测试和置位指令(Test-and-Set,即TS指令,返回内存地址中的值,并将其置为1)、交换指令(交换内存中的两个值)。
基于TS指令可以实现如下图所示的自旋锁,自旋锁的缺点是线程等待时消耗CPU时间。
针对自旋锁的问题,出现了无忙等待锁,当锁已经被占用时,将自身线程放入等待队列,并调用调度程序。当其他线程释放锁时会将所有等待中的线程重新唤醒。