当前课程知识点：操作系统 > 第十七讲 同步互斥 > 17.1 背景 > 17.1 背景
今天我们来介绍同步互斥
同步互斥是操作系统当中
协调进程之间动作
和相互关系的一种机制
那在这里头呢
我们通过生活当中的例子
先来说明同步互斥
到底是个什么样的问题
我们有一些什么样的办法来解决它
然后呢是在计算机系统当中
我们给出三类不同的做法
我们下面会一一来介绍它
首先我们来介绍同步互斥的背景
那就是说为什么我们要做这件事情
那在以前我们在写程序的时候呢
我写一个独立的程序
这个程序呢它不需要
和其它的进程共享状态和资源
那在这种情况下它的确定性
和可重现呢是可以保证的
也就说你只要是
输入的状态是一致的
那么它输出的结果呢
一定就是相同的
然后我第一遍执行
和第二遍执行它的结果是一样的
但是由于我们在实际的程序当中呢
如果说你在这里头
以这种方式来做的话
那我们这个程序的功效呢
就很有限了
通常情况下
我们写好一个程序之后呢
是希望它在每一次做的时候呢
它对不同的数据进行处理
那这时候我们
在中间的过程当中 执行的时候
这个顺序就不是很重要
而我们在操作系统当中呢
有了多进程之后
这时候会有多个
并发的进程交替执行
这种交替执行呢
会导致进程之间有资源共享
比如说大家都要占用CPU
那我是时分的
大家都要占用内存
那我是把一块区域分配给你
把另一块区域分配给另外一个进程
正是由于这种资源的共享
这种不确定性和
不可重现呢就会产生
那如果说在这里头你的程序的结果
对这种不确定性 或者说
这种不一致性是没有依赖的
那我们在这里变化这一部分呢
不影响到你的结果
那这时候我们程序
应该也算是正确的
但是一些时候呢
这种状态的不一致呢
会导致你运行结果的不一致
甚至于有些情况下这种不一致呢
就是我们希望它出现的
比如说我两个进程之间在通讯
那根据通讯对方回过来信息的不同
我这边处理是不一样的
而这种在通讯的过程当中两者之间
保证它可重现的这事是不行的
那在这种情况下
我们要想保证一个进程执行的
正确性的难度就增加了
好 这时候会出现一类
什么样的错误呢
就是我们有一些错误它是间歇性的
也就说你第一遍执行
那外界的环境跟现在不一样
那也许没错
到另一次执行的时候呢
它可能就出错了
实际上这是我们在
实际写程序当中呢
经常碰这种情况
你自己在那儿测试的时候
你的程序都一切正常
交给用户用的时候情况就变了
那你说我在这里严格测试之后
为啥会不一样呢
实际上这里头你所说的严格
总会有一些依赖的环境
跟你在测试的时候
和真实系统运行的时候 是不一样的
好 那你说这样一来的话
这件事情带来这么多麻烦
我们不这样做不就行了吗
但是进程的并发执行呢
又给我们带来很多的好处
这些好处呢
导致于我们非常希望这样做
也就是说进程要与
计算机系统当中的其它进程
或者是设备要进行协作
那这种协作呢
可以带来这样一些好处
第一个是说共享资源
你比如说有多个用户
想使用一台机器
那他们之间呢
这台计算机资源呢
就是大家共享的
好 那这样的话
我们可以节约成本
然后说你的钱存到银行里头
但你并不一定什么时间在什么地方
那这个银行帐号的余额呢
我可以在多台取款机上操作
那这时候我就可以
就近存取我的现金
那这会是给你带来好处的
然后说我们在嵌入式系统里头
你比如说机器人
那上头呢它有多种设备
比如说 我们的手臂和手
之间的控制机构
它们之间要协调
因为只有在这种情况
你协调到一起
你才能够完成一个复杂的动作
比如说机器人的
直立行走或者说跑步
那这些呢都需要多个机构来协调的
这些共享呢
是我们这里必须要做的
然后第二个好处呢
它是可以提高速度
比如说我们在这里头
我们在前面讲进程的时候说
CPU是管计算
设备是跟外界做交互的
这两个实际上它们是可以
在时间重叠上可以一起工作的
那它是并行
如果说你在算的时候
I/O设备你不能让它工作
那这时候呢I/O设备就只能闲着
而你在做I/O的时候
CPU没有相应的数据
它也没办法做
好这样的话
这两个效率就降低了
那我们希望呢
这两个能很合理进行安排
以便于它们俩可以同时工作
那这样的话
程序运行的速度就提高了
再有一个呢是说
我如果说系统里有多个处理机
我把一个程序切成若干个模块
这些模块呢可以作为独立的程序
跑到不同的处理机上
那这时候它可以并行执行
也可以提高它的速度
这是提高速度两种做法
然后还有一种呢
我们可以把程序模块化
我用多个进程来
完成一个综合的功能
比如说我们在这里头说到编译
以编译的过程为例
编译呢 我们可以把它分成
源代码模块的编译
然后库的编译 和最后的链接
这样几个部分
那这几个部分呢
我们把它写成独立的程序
那这样的话它们组合到一起
进行复用和扩展呢也会比原来方便
所以基于这样的理由呢
我们需要让多个进程并发执行
好 那我们刚才说
并发执行有状态的变化
这些状态变化可能影响到
我程序执行的结果
那在这儿呢我们就举一个例子
看看到底它会有什么样的影响
这些影响我们怎么来控制它
在这儿举的例子是说
我们在操作系统里
有一个进程创建的系统调用fork
这个创建进程的系统调用呢
它要给每一个新创建进程呢
分配一个进程ID 一个标识
那这个标识的分配呢
在我们系统里头呢
就会是对应过来这样一行代码
在操作系统内核里头
fork的实现代码里头
也能找到这样一行
说我一个进程的ID
那是系统里呢有一个全局变量
这个变量呢叫nextpid
好 我把它赋值并且加1
也就是说把当前的值
赋给你新分配的这个进程
然后把它的值呢加1
这样的话下一次再来分配的时候
我就是接下来这个值了
那这个代码呢
我们在实现的时候呢
机器在编译的时候
就会把它转换成这样几条汇编指令
在源代码里就一行
那这翻译成的这四条指令
你拿过来执行呢应该也是没问题的
它是把你这个全局变量里的ID
读到一个寄存器里头
然后再把这个寄存器
赋值到你这个进程
自己的进程控制块里的变量
newpid
然后把它这个寄存器值加1
然后再把加1之后的结果呢
重回到你原来的nextpid
好 这个过程就结束了
那正常情况下执行呢
这也是没有问题的
好 我们希望它
预期的结果呢是这样的
假定我开始的时候对pid是100
一个进程调用fork
它由100变成101
然后第二个进程再调用fork
那它分配到101
然后把当前值呢变成102
好 那这是我们期望的结果
好 那在这个过程当中我们看一下
如果说我的执行顺序
在一种特定的顺序下
这个预期的结果能出现吗
这就是我们这里说到的
一种可能的错误
好 假定说我有两个进程 A和B
那它在运行的时候呢
调用fork之前呢
它自己有自己的一个
局部变量 new_pid
这里面也有一个
它俩的名字是一样的
好 整个系统里呢有一个nextpid
那 当前值它是100
好 那我们这时候呢调用fork
我们重点关注是刚才那条
分配进程标识的代码
它所对应的汇编代码的执行顺序
好 我们首先呢是这四条汇编语句
那应该是说在中间
它会可能出现切换
先上来之后读nextpid
然后这个时候呢发生了一次切换
到进程B再去读这个pid
好 那这两条执行完了之后
我们看到你newpid就已经变成了100
而进程B呢也变成了100
那这时候实际上我们就
已经发现它有问题了
它俩是相同的值
那你给两个不同新创建进程
分配了一个相同标识
那这时候会有麻烦的
好 我们看 好 然后这时候呢
再执行加1写回去 这地方变成101
好 然后这回切换回来
到右边的进程
再加1赋值
那这地方还是101
这个赋值就被赋值了两遍
并且是相同的值
好 那么这时候大家看
在这个过程当中
出现了什么一情况
两个进程的分配的ID是一样的
并且新创建的变化完了之后
ID它不是创建了两个进程
我应该加2 这地方它只加了1
好 那这时候出现
这种情况的原因是什么
原因就是在于
我们正常假设这四条是一块执行的
读出来 赋值 然后加1写回去
这边呢读出来赋值做了
加1写回去这件事情中间被切断了
好 切断之后
这两头的加1就变成是相同的了
写回去也就变成相同的了
好 那这个时候呢
我们这个状态就出结果了
好 这时候出现这种的问题的
原因在什么地方
就是读出加1这个操作
它并没有是一个整体在进行操作
这就是我们这里说的原子操作
原子操作是指一次
不存在任何中断或失败的操作
如果出现了中间的失败
中断那这时候是不行的
在生活当中的原子操作是什么呢
你比如说我到银行里去
存款或者取款
那你是有一个假设的
说我把钱给到窗口里头
那么这时候呢我的存折上的钱
金额是要发生变化的
这两个一起发生
那储户没有任何意见
好 如果这两个分开
你存进去钱了
但是你的存折上的
金额没有发生变化
要么你不同意
要么银行不同意
好 那这是我们
这里说的原子操作
那要求要么成功执行
要么没有操作
不会出现部分执行的状态
这是我们在这里头呢
如果说我们刚才
pid加1的这个操作
它是个原子
那我们这儿就没问题了
现在的问题是我们把它分成两段
中间做了个切换
这是我们要面临的挑战
所以我们今天讨论
同步互斥问题的时候
就是要在操作系统里头
提供一种同步机制
既允许并发执行
以便于我能做到资源共享
和提高速度
同时我要让一些操作呢
是原子操作
因为你不是原子操作之后
所带来的麻烦就会很大
那这是我们在这里的需求
接下来我们会来说
我们有一些什么样的办法
来解决这个问题
-0.1 Piazza讨论区
--html
-0.2 在线实验平台
--实验平台使用帮助
--平台使用帮助
-0.2在线实验平台
--Raw HTML
-1.1 课程概述
--视频
-第一讲 操作系统概述--练习
-1.2 教学安排
--视频
-1.3 什么是操作系统
--Video
-1.4 为什么学习操作系统，如何学习操作系统
--Video
-1.5 操作系统实例
--视频
-1.6 操作系统的演变
--视频
-1.7 操作系统结构
--视频
-2.1 前言和国内外现状
-2.2 OS实验目标
-2.3 8个OS实验概述
-2.4 实验环境搭建
-2.5 x86-32硬件介绍
-2.6 ucore部分编程技巧
-2.7 演示实验操作过程
--Q6
--Q7
--Q10
-3.1 BIOS
--3.1 BIOS
-3.2 系统启动流程
-3.3 中断、异常和系统调用比较
-第三讲 启动、中断、异常和系统调用--3.3 中断、异常和系统调用比较
-3.4 系统调用
--3.4 系统调用
-第三讲 启动、中断、异常和系统调用--3.4 系统调用
-3.5 系统调用示例
-3.6 ucore+系统调用代码
-4.1 启动顺序
--4.1 启动顺序
-4.2 C函数调用的实现
-4.3 GCC内联汇编
-4.4 x86中断处理过程
-4.5 练习一
--4.5 练习一
-4.6 练习二
--4.6 练习二
-4.7 练习三
--4.7 练习三
-4.8 练习四 练习五
-4.9 练习六
--4.9 练习六
-5.1 计算机体系结构和内存层次
-5.2 地址空间和地址生成
-5.3 连续内存分配
-5.4 碎片整理
--5.4 碎片整理
-5.5 伙伴系统
--5.5 伙伴系统
-第五讲 物理内存管理: 连续内存分配--5.6 练习
-6.1 非连续内存分配的需求背景
-6.2 段式存储管理
-- 6.2 段式存储管理
-6.3 页式存储管理
-6.4 页表概述
--6.4 页表概述
-6.5 快表和多级页表
-6.6 反置页表
--6.6 反置页表
-6.7 段页式存储管理
-第六讲 物理内存管理: 非连续内存分配--6.8 练习
-7.1 了解x86保护模式中的特权级
-第七讲 实验二 物理内存管理--7.1 了解x86保护模式中的特权级
-7.2 了解特权级切换过程
-第七讲 实验二 物理内存管理--7.2 了解特权级切换过程
-7.3 了解段/页表
-第七讲 实验二 物理内存管理--7.3 了解段/页表
-7.4 了解UCORE建立段/页表
-第七讲 实验二 物理内存管理--7.4 了解UCORE建立段/页表
-7.5 演示lab2实验环节
-8.1 虚拟存储的需求背景
-8.2 覆盖和交换
-8.3 局部性原理
-8.4 虚拟存储概念
-8.5 虚拟页式存储
-8.6 缺页异常
--8.6 缺页异常
-9.1 页面置换算法的概念
-9.2 最优算法、先进先出算法和最近最久未使用算法
-第九讲 页面置换算法--9.2 最优算法、先进先出算法和最近最久未使用算法
-9.3 时钟置换算法和最不常用算法
-第九讲 页面置换算法--9.3 时钟置换算法和最不常用算法
-9.4 Belady现象和局部置换算法比较
-第九讲 页面置换算法--9.4 Belady现象和局部置换算法比较
-9.5 工作集置换算法
-第九讲 页面置换算法--9.5 工作集置换算法
-9.6 缺页率置换算法
-第九讲 页面置换算法--9.6 缺页率置换算法
-9.7 抖动和负载控制
-10.1 实验目标：虚存管理
-第十讲 实验三 虚拟内存管理--10.1 实验目标：虚存管理
-10.2 回顾历史和了解当下
-第十讲 实验三 虚拟内存管理--10.2 回顾历史和了解当下
-10.3 处理流程、关键数据结构和功能
-第十讲 实验三 虚拟内存管理--10.3 处理流程、关键数据结构和功能
-10.4 页访问异常
-第十讲 实验三 虚拟内存管理--10.4 页访问异常
-10.5 页换入换出机制
-第十讲 实验三 虚拟内存管理--10.5 页换入换出机制
-11.1 进程的概念
-第十一讲 进程和线程--11.1 进程的概念
-11.2 进程控制块
-第十一讲 进程和线程--11.2 进程控制块
-11.3 进程状态
-第十一讲 进程和线程--11.3 进程状态
-11.4 三状态进程模型
-11.5 挂起进程模型
-第十一讲 进程和线程--11.5 挂起进程模型
-11.6 线程的概念
-第十一讲 进程和线程--11.6 线程的概念
-11.7 用户线程
-第十一讲 进程和线程--11.7 用户线程
-11.8 内核线程
-第十一讲 进程和线程--11.8 内核线程
-12.1 进程切换
-第十二讲 进程控制--12.1 进程切换
-12.2 进程创建
-第十二讲 进程控制--12.2 进程创建
-12.3 进程加载
-第十二讲 进程控制--12.3 进程加载
-12.4 进程等待与退出
-第十二讲 进程控制--12.4 进程等待与退出
-13.1 总体介绍
-13.2 关键数据结构
-13.3 执行流程
-13.4 实际操作
-14.1 总体介绍
-14.2 进程的内存布局
-14.3 执行ELF格式的二进制代码-do_execve的实现
--14.3 执行ELF格式的二进制代码-do_execve的实现
-14.4 执行ELF格式的二进制代码-load_icode的实现
--14.4 执行ELF格式的二进制代码-load_icode的实现
-14.5 进程复制
-14.6 内存管理的copy-on-write机制
-15.1 处理机调度概念
-第十五讲 处理机调度--15.1 处理机调度概念
-15.2 调度准则
-15.3 先来先服务、短进程优先和最高响应比优先调度算法
--15.3 先来先服务、短进程优先和最高响应比优先调度算法
-第十五讲 处理机调度--15.3 先来先服务、短进程优先和最高响应比优先调度算法
-15.4 时间片轮转、多级反馈队列、公平共享调度算法和ucore调度框架
--15.4 时间片轮转、多级反馈队列、公平共享调度算法和ucore调度框架
-第十五讲 处理机调度--15.4 时间片轮转、多级反馈队列、公平共享调度算法和uc
-15.5 实时调度和多处理器调度
-第十五讲 处理机调度--15.5 实时调度和多处理器调度
-15.6 优先级反置
-第十五讲 处理机调度--15.6 优先级反置
-16.1 总体介绍和调度过程
-16.2 调度算法支撑框架
-16.3 时间片轮转调度算法
-16.4 Stride调度算法
-17.1 背景
--17.1 背景
-17.2 现实生活中的同步问题
-第十七讲 同步互斥--17.2 现实生活中的同步问题
-17.3 临界区和禁用硬件中断同步方法
-第十七讲 同步互斥--17.3 临界区和禁用硬件中断同步方法
-17.4 基于软件的同步方法
-第十七讲 同步互斥--17.4 基于软件的同步方法
-17.5 高级抽象的同步方法
-第十七讲 同步互斥--17.5 高级抽象的同步方法
-18.1 信号量
--18.1 信号量
-第十八讲 信号量与管程--18.1 信号量
-18.2 信号量使用
-第十八讲 信号量与管程--18.2 信号量使用
-18.3 管程
--18.3 管程
-第十八讲 信号量与管程--18.3 管程
-18.4 哲学家就餐问题
-18.5 读者-写者问题
-19.1 总体介绍
-19.2 底层支撑
-第十九讲 实验七 同步互斥--19.2 底层支撑
-19.3 信号量设计实现
-第十九讲 实验七 同步互斥--19.3 信号量设计实现
-19.4 管程和条件变量设计实现
-第十九讲 实验七 同步互斥--19.4 管程和条件变量设计实现
-19.5 哲学家就餐问题
-20.1 死锁概念
-第二十讲 死锁和进程通信--20.1 死锁概念
-20.2 死锁处理方法
-第二十讲 死锁和进程通信--20.2 死锁处理方法
-20.3 银行家算法
-第二十讲 死锁和进程通信--20.3 银行家算法
-20.4 死锁检测
-第二十讲 死锁和进程通信--20.4 死锁检测
-20.5 进程通信概念
-第二十讲 死锁和进程通信--20.5 进程通信概念
-20.6 信号和管道
-第二十讲 死锁和进程通信--20.6 信号和管道
-20.7 消息队列和共享内存
-第二十讲 死锁和进程通信--20.7 消息队列和共享内存
-21.1 文件系统和文件
-第二十一讲 文件系统--21.1 文件系统和文件
-21.2 文件描述符
-第二十一讲 文件系统--21.2 文件描述符
-21.3 目录、文件别名和文件系统种类
-第二十一讲 文件系统--21.3 目录、文件别名和文件系统种类
-21.4 虚拟文件系统
-第二十一讲 文件系统--21.4 虚拟文件系统
-21.5 文件缓存和打开文件
-第二十一讲 文件系统--21.5 文件缓存和打开文件
-21.6 文件分配
-第二十一讲 文件系统--21.6 文件分配
-21.7 空闲空间管理和冗余磁盘阵列RAID
-第二十一讲 文件系统--21.7 空闲空间管理和冗余磁盘阵列RAID
-22.1 总体介绍
-第二十二讲 实验八 文件系统--22.1 总体介绍
-22.2 ucore 文件系统架构
-第二十二讲 实验八 文件系统--22.2 ucore 文件系统架构
-22.3 Simple File System分析
-第二十二讲 实验八 文件系统--22.3 Simple File System分析
-22.4 Virtual File System分析
-第二十二讲 实验八 文件系统--22.4 Virtual File System分
-22.5 I/O设备接口分析
-第二十二讲 实验八 文件系统--22.5 I/O设备接口分析
-22.6 执行流程分析
-23.1 I/O特点
--视频
-第二十三讲 I/O子系统--23.1 I/O特点
-23.2 I/O结构
--816C80A0F5E3B8809C33DC5901307461
-第二十三讲 I/O子系统--23.2 I/O结构
-23.3 I/O数据传输
--C58221E14388B9DB9C33DC5901307461
-第二十三讲 I/O子系统--23.3 I/O数据传输
-23.4 磁盘调度
--567A3F1FCBFB3F4C9C33DC5901307461
-第二十三讲 I/O子系统--23.4 磁盘调度
-23.5 磁盘缓存
--C327536B80D25CE79C33DC5901307461
-第二十三讲 I/O子系统--23.5 磁盘缓存
-html
--html
