前篇在此:
操作系统清华向勇陈渝版笔记(七) 进程与线程 PCB TCB 进程挂起 用户线程 内核线程 轻量级进程 僵尸队列
操作系统(八)CPU调度 短剩余时间 吞吐量 轮循 实时调度 多处理器调度 (清华 向勇 陈渝版)
index
9-1 同步互斥、临界区、死锁、互斥概念等等
9-2 临界区和三种满足性能的方法
正文
9-1 同步互斥、临界区、死锁、互斥概念等等
多个进程会交互,对共享资源的访问。处理不当就会饥饿,死锁。
独立的线程:不和其他线程共享资源或状态,不交互,所以具有确定性(输入状态决定结果),可重现(能重现起始条件),I/O,调度顺序不重要
合作的线程:在多个线程中共享状态,不确定性,不可重现
不确定性和不可重现意味着BUG可能是间歇性发生的
为什么要合作?
共享资源(嵌入式系统);
加速,效率高(I/O操作和计算可以重叠,拆分小任务,流水,并行,多处理器);
模块化:大程序分解成小程序,使系统易于扩展
存在的问题——>举例:
希望是
无论多个线程的指令序列怎么交替,程序都必须正常工作,调试难度很高;
不确定性要求并行程序的正确性,一定更要预先思考。
Race condition 竞态条件
结果依赖于并发执行的时间点 顺序/时间
怎么避免?如何不让指令被打断?
atomic operation原子操作
指一次不存在任何中断或者失败的执行,要么成功done要么没执行
实际操作往往不是原子的,甚至单个机器指令都不一定是原子的。
对内存的load