操作系统清华向勇陈渝版笔记(九) 同步协同多道程序设计和并发问题,同步互斥,死锁,临界区

前篇在此:

操作系统清华向勇陈渝版笔记(七) 进程与线程 PCB TCB 进程挂起 用户线程 内核线程 轻量级进程 僵尸队列

操作系统(八)CPU调度 短剩余时间 吞吐量 轮循 实时调度 多处理器调度 (清华 向勇 陈渝版)

index
9-1 同步互斥、临界区、死锁、互斥概念等等
9-2 临界区和三种满足性能的方法

正文

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

多个进程会交互,对共享资源的访问。处理不当就会饥饿,死锁。

独立的线程:不和其他线程共享资源或状态,不交互,所以具有确定性(输入状态决定结果),可重现(能重现起始条件),I/O,调度顺序不重要
合作的线程:在多个线程中共享状态,不确定性,不可重现
不确定性和不可重现意味着BUG可能是间歇性发生的

为什么要合作?
共享资源(嵌入式系统);
加速,效率高(I/O操作和计算可以重叠,拆分小任务,流水,并行,多处理器);
模块化:大程序分解成小程序,使系统易于扩展

存在的问题——>举例:
这里写图片描述
这里写图片描述

希望是
无论多个线程的指令序列怎么交替,程序都必须正常工作,调试难度很高;
不确定性要求并行程序的正确性,一定更要预先思考。
Race condition 竞态条件
结果依赖于并发执行的时间点 顺序/时间

怎么避免?如何不让指令被打断?
atomic operation原子操作
指一次不存在任何中断或者失败的执行,要么成功done要么没执行
实际操作往往不是原子的,甚至单个机器指令都不一定是原子的。
对内存的load

  • 3
    点赞
  • 15
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值