【操作系统】第九课

来源：操作系统_清华大学(向勇、陈渝)

1.背景知识

同步互斥、临界区、死锁、互斥概念等等

多道程序设计（multi-programming）：现代操作系统的重要特征

并行很有用：多个并发实体（CPU、I/O、用户、…）

进程/线程：操作系统抽象出来用于支持多道程序设计

CPU调度：实现多道程序设计的机制

调度算法：不同的策略

我们主要讨论协同多道程序设计和并发问题。

独立的线程：
1.不和其他线程共享资源或状态，不和其他线程共享资源或状态，不交互
2.具有确定性（输入状态决定结果）
3.可重现（能重现起始条件），I/O
4.调度顺序不重要

合作的线程：在多个线程中共享状态，不确定性，不可重现

不确定性和不可重现意味着BUG可能是间歇性发生的。

为什么要合作？
1.共享资源（嵌入式系统）；
2.加速，效率高（I/O操作和计算可以重叠，拆分小任务，流水，并行，多处理器将程序分成多个部分并行执行）；
3.模块化：大程序分解成小程序，使系统易于扩展

存在的问题——>举例：

因为进程切换时，就要保存现场包括寄存器值，所以两边都是100作为新的PID，next_pid为101，和我们期望有差别.

希望是：
无论多个线程的指令序列怎么交替，程序都必须正常工作，调试难度很高；
不确定性要求并行程序的正确性，一定更要预先思考。

2.一些概念

因为上节课的问题，所以引出了同步互斥的概念。

上面的问题，术语叫作：Race condition （竞态条件）
导致系统缺陷：结果依赖于并发执行的时间点 顺序/时间，导致不确定性和不可重现。

怎么避免竞态？如何不让指令被打断？
方法：atomic operation原子操作
原子操作：指一次不存在任何中断或者失败的执行，要么成功done要么没执行 ，并且不应该发现任何部分执行的状态。

实际上操作往往不是原子的，甚至单个机器指令都不一定是原子的。
对内存的load store是原子的，但++ 、–-都不是

临界区critical section：（访问共享资源的代码区域）
进程中访问共享资源的代码区域，且当另一个进程处于相应代码区域时便不会执行。

互斥mutual exclusion：
任一时刻只能有一个进程进入临界区访问。当一个进程处于临界区并访问共享资源时，没有其他进程会处于临界区，并访问任何相同的共享资源。

死锁Dead lock：
多个进程相互等待完成特定任务，而最终没法继续自身任务

饥饿starvation：
一个可执行的进程长期等待执行，被调度器持续忽略。

死锁（Deadlock）举例：A拿到锁1，B拿到锁2，A想继续拿到锁2再继续执行，B想继续拿到锁1再继续执行。导致A和B谁也无法继续执行。

A贴了标签，A访问了临界资源，此时其他人想访问临界区，因为有A标签，便不会去访问。

3.临界值

临界区的特点：
1.互斥，同一时间临界值最多存在一个线程
2.progress前进，如果一个线程想要进入临界区，不会一直死等，总能成功
3.优先等待，如果一个线程i处于入口区，那么i的请求被接受之前，其他线程进入临界区的时间是有限制的。否则，是一种饥饿状态了。是对progress的补充
4.无忙等待：尽量不要忙等，如果进程一直等待进入临界区，那么在它可以进入之前会被挂起。（可以不满足）

临界区代码保护三种方法：禁用硬件中断，基于软件，更高级的抽象

我们还会比较三种方法在性能、时间复杂性、并发级别的特点

4.禁用硬件中断

三种方法：禁用硬件中断，基于软件，更高级的抽象

如果进入临界区的代码没有中断，那么就没有上下文切换，因此就没有并发，此时的代码会一直执行到结束。
关中断，就没有调度。
硬件将中断处理延迟到中断被启用之后。
大多数现代计算机体系结构都提供指令来完成。

问题：
一旦禁用中断，线程无法停止
整个系统都会停下来，I/O啥的都没用了，其他线程可能会饥饿 影响效率
临界区要是太长咋整？无法限制响应中断所需的时间，可能有硬件影响。一般都用于短的临界区时间。
如果两个CPU并行的话，一个CPU只能屏蔽自身，另一个仍可能产生中断，也就是只能控制自己的CPU中断，控制不了多个CPU中断。

进入临界区：禁用中断
离开临界区：开启中断

5.基于软件的解决方法

6.更高级的抽象