操作系统-5【并发性：互斥和同步】

最新推荐文章于 2023-04-17 22:33:43 发布
最新推荐文章于 2023-04-17 22:33:43 发布
阅读量657 收藏 3
点赞数
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/grb819/article/details/118067197
版权

并发性：互斥和同步

5.1 并发的原理principles of concurrency

在这里插入图片描述

0. 一些术语

  1. 临界区：
    critical section

一段代码，在这段代码中 进程将共享资源，当另外一个进程已在这段代码中运行时，这个进程就不可在这段代码中执行。同时只允许一个进程访问临界区

  1. 死锁：
    deadlock
    两个或以上的进程 因每个进程都在等待其他进程做完某事而不能继续执行。
    竞争、协作导致的都不能向后执行，若无外力干预，则都面临饿死。

  2. 活锁
    livelock

两个或两个以上的进程为响应其他进程中的变化而持续改变自己的状态但不做有用的工作情形

  1. 互斥：
    mutual exclusion

当一个进程在临界区访问共享资源时，其他进程不能进入临界区访问共享资源的情形

  1. 竞争条件：
    race condition

多个线程或进程在读写一个共享数据时，结果依赖于他们执行的相对时间情形

  1. 饥饿
    starvation

一个可运行的进程尽管能继续执行，但被调度程序无限期的忽视，而不能被调度执行的情形。

1. 例子

在这里插入图片描述
echo 共享过程

  1. 全局共享资源危险
  2. 难以对资源做到全局优化分配
  3. 难以定位程序错误，错误的产生可能是由于代码出错，也可能是由于进程与其余进程 协作出错，资源分配出错

2. 竞争条件

race condition
竞争条件发生在多个进程 或 线程对共享数据进行读写操作，因此数据的最终值取决于 进程指令 对共享数据的操作顺序

3. 操作系统关心的

在这里插入图片描述

4.进程的交互

在这里插入图片描述

5. 互斥的要求

  1. 强制互斥：一次只允许一个进程进入临界区
  2. 一个在非临界区停止的进程不能干涉其他进程
  3. 不会出现死锁或饥饿
  4. 当前临界区为空，无论进程的优先级高低，必须能够立即进入
  5. 对相关进程的执行速度和处理器的数量没有任何要求和限制
  6. 一个进程驻留在临界区的时间必须是有限的

在这里插入图片描述

5.2 互斥：硬件的支持Mutual Exclusion：Hardware Support

1. 中断禁止 interrupt Disabling

在这里插入图片描述
单处理机器中，并发不能重叠，只能交替

  1. 一个进程将一直执行直到 系统服务 或被中断
  2. 中断提供了交互
  3. 只需要保证一个进程不被中断即可

缺点：
4. 代价很高
5. 不适合多核，只适合单核

2. 专属机器指令

  • 原子性要求：指令周期内，特殊机器指令不会被中断
  • 实现过程中：若有进程在访问指令的内存单元，其他进程不能访问该指令所在的内存单元
  • 通过机器硬件进行设置

i初始化为0，第一个调用testset的进程将i置为1，并返回true，随后进程调用将返回false，直到第一个进程执行结束，将i重置为0在这里插入图片描述在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

5.3 信号量 Semaphores

1. Overview

信号量是一种数据结构
包含 一个整数 和一个阻塞队列
在这里插入图片描述
在这里插入图片描述

2. 互斥 mutual exclusion

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

3. 生产者/消费者问题 The Producer/Consumer Problem

在这里插入图片描述
在这里插入图片描述

  1. 有一个或多个生产者 生产某种类型的数据（记录、字符）并放到缓冲区中
  2. 有一个消费者从缓冲区中取数据，每次取一项
  3. 只有一个主体可以访问缓冲区

生产者——in指针向存储单元存放数据，一次存放一条，in指针向后移一个位置
消费者——out指针 从缓冲区逐条取走数据

谁跑得快？

在这里插入图片描述
在这里插入图片描述

5.4 管程 Monitors

5.5 消息传递 Message Passing

5.6 读者/写者问题 Readers/Writers Problem

在这里插入图片描述在这里插入图片描述

# 5.7 小结 Summary
在这里插入图片描述

名词解释

并行

在同一时间内，有多个进程执行

并发

在同一时刻，有多个进程执行

交替执行

在单处理器系统中，采用多个进程并行时，采用的时交替执行

重叠执行

在多处理器系统中，当多个进程并发时，采用的是重叠执行

互斥

当一个进程在临界区 访问共享资源时，不允许其他进程进入临界区访问共享资源

同步

多个进程的执行顺序有严格的限制，
A通过但缓冲区向buffer中存放数据
B从buffer中读取数据
当buffer中没有数据时，B被阻塞
当A向buffer放数据后，唤醒B进程

临界区

一段代码
在这段代码中 进程将访问共享资源
当一个进程已经执行这段代码时，另一个进程不能执行这段代码

临界资源

1个 或多个进程需要进行访问的一个不可共享的资源

条件竞争

多个线程 或 进程 对一个共享数据进行操作时
最终结果取决于 最后执行的那个进程

原子操作

由 一个或多个 指令组成的一个函数或动作，对外是不可见的
其他进程不知道其中见执行的结果，也不能中断他执行

信号量

用于传递进程间 信号的一个整数值
只有初始化
增加
递减
三个操作

选择

在这里插入图片描述

(∪.∪ )...zzz
关注
  • 0
    点赞
  • 踩
  • 3
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
专栏目录
操作系统实验报告_进程同步与互斥.doc
07-13
操作系统实验报告《进程同步与互斥》实验的主要目的是掌握基本的进程同步与互斥算法，了解生产者-消费者问题，并学习使用 Windows 2000/XP 中基本的同步对象，掌握相关 API 的使用方法。实验中，设计了一个控制台...
进程通信机制，进程/线程的同步
my8688的专栏
03-01 540
1. 进程互斥、同步的概念 进程互斥、同步的概念是并发进程下存在的概念，有了并发进程，就产生了资源的竞争与协作，从而就要通过进程的互斥、同步、通信来解决资源的竞争与协作问题。 在多道程序设计系统中，同一时刻可能有许多进程，这些进程之间存在两种基本关系：竞争关系和协作关系。 进程的互斥、同步、通信都是基于这两种基本关系而存在的。 为了解决进程间竞争关系（间接...
操作系统名词解释
qq_40907977的博客
08-09 5361
https://blog.csdn.net/spadgerz/article/details/52802242 1、特权指令 :不允许用户程序直接使用的指令。 2、非特权指令 :特权指令以外的指令。 3、管态和目态 :管态下可执行所有机器指令。目态只能执行非特权指令。 4、操作控制命令：操作系统提供的让联机用 户（操作员一级）表示作业执行步骤的手段。 5、进程的定义：把一个程序在一个数据集合上 的一次执行称为一个进程 (Process) 6、 unix 进程的组成：进程控制块、正文段、数 据段。 7、中断响
并发 线程交替执行_并发和并行的区别
weixin_39946029的博客
12-11 293
并发(concurrent)与并行(parallel)是两个既相似而又不相同的概念。我们先来看一下英文的解释。Concurrency is when two tasks can start, run, and complete in overlapping time periods. Parallelism is when tasks literally run at the same time,...
阿龙的学习笔记---《操作系统 - 精髓与设计原理》笔记---第五章：并发性：互斥与同步
阿龙的博客
06-17 327
1.并发的原理 多程序并发甚至并行会带来一些问题，主要是对于共享资源的访问。 对于临界资源的保护要实施互斥，一个资源在被使用时，其他进程或线程不能进入临界区访问临界资源。 2. 互斥：软件或硬件支持 软件方法不需要程序设计语言或操作系统支持而实现，会有一定的缺陷和低效性。 硬件方法可以使用专用机器指令，比如compare&swap这个原子操作，或者exchange原子操作，利用程序设计实现互斥。但也有严重缺点，忙等待，可能会有饥饿或者死锁。 所以操作系统或者程序设计语言中提供的某些机制会更好
【并发编程】并发中互斥锁常见问题总结
了 凡
10-24 1085
博主介绍： – 我是了凡，喜欢每日在简书上投稿日更的读书感悟笔名：了_凡。专注于 Go Web 后端，了解过一些Python、Java、算法、前端等领域。微信公众号【了凡银河系】期待你的关注。未来大家一起加油啊~
操作系统进程同步互斥.zip
最新发布
04-21
总之，进程同步和互斥是操作系统中的核心概念，它们确保了并发执行的进程能够有效地共享资源，避免数据竞争，从而保证系统的稳定性和正确性。通过学习和理解这些概念，我们可以更好地设计和实现多线程、多进程的应用...
NXP i.MX RT1052 RT-Thread实战：互斥量
12-01
RT-Thread是一款轻量级、开源的操作系统，专为物联网设备设计，提供了丰富的功能和良好的可扩展性。本教程将深入探讨如何在NXP i.MX RT1052上利用RT-Thread进行实战开发，特别是关于互斥量（Mutex）的使用。 1. **...
操作系统实验内容-线程机制线程调度同步与互斥机制虚拟内存文件系统.zip
04-20
本实验主要关注操作系统中的四个关键概念：线程机制、线程调度、同步与互斥机制以及虚拟内存和文件系统。 1. **线程机制**：线程是操作系统执行的基本单元，是程序内部并发执行的实体。一个进程可以包含多个线程，...
操作系统课件：04第四章 互斥同步与通讯（1）.ppt
06-26
操作系统中的并发进程、互斥和同步是核心概念，它们关系到多任务环境下程序的执行方式和效率。在并发进程的概念中，多个进程可以在一个时间段内同时存在并进行，但不一定是真正意义上的同时，而是通过时间片轮转或者...
并发同时访问_实践篇（09）Redis如何应对并发访问？
weixin_29098367的博客
01-11 2339
我们在使用 Redis 时，不可避免地会遇到并发访问的问题，比如说如果多个用户同时下单，就会对缓存在 Redis 中的商品库存并发更新。一旦有了并发写操作，数据就会被修改，如果我们没有对并发写请求做好控制，就可能导致数据被改错，影响到业务的正常使用（例如库存数据错误，导致下单异常）。为了保证并发访问的正确性，Redis 提供了两种方法，分别是加锁和原子操作。看上去好像是一种很好的方案，但是，其实这...
多线程多并发情况下的互斥有哪些方法
weixin_37871174的博客
05-03 1244
多线程并发之间有多种锁的模式，适应于不同的应用场景。锁的模式有些地方也叫线程之间的同步方式。所谓的同步就是多个线程之间进行数据一致性需要用到的机制。 一、互斥锁mutex(pthread_mutex_t) pthread_mutex_t，读写都独占的模式。最常用的模式，也就是编码中最喜欢用的。。。。 1.1、一旦一个线程拿到锁，另一个线程需要阻塞等待前一个线程释放锁才能拿到这个锁。 1.2、为了不...
操作系统中并行和并发的概念
gyh_420的博客
08-13 7133
何谓并行? 何谓并发? 在单处理机系统中，下述并行和并发现象哪些可能发生，哪些不会发生? (1) 进程与进程之间的并行； (2) 进程与进程之间的并发； (3) 处理机与设备之间的并行； (4) 处理机与通道之间的并行； (5) 通道与通道之间的并行； (6) 设备与设备之间的并行。 答：所谓并行是指同一时刻同时进行，进程并行需要多处理器的支持；所谓并发，是指在一段时间内，多个进程都在
【操作系统】五、并发性：互斥和同步
m0_64403412的博客
04-17 360
是一段代码，在这段代码中进程将访问共享资源，当另外一个进程已经在这段代码中运行时，这个进程就不能在这段代码中执行。：两个或两个以上进程为了响应其他进程中的变化而持续改变自己的状态但不做有用的工作，这种情形称为活锁。：两个或两个以上的进程因其中的每个进程都在等待其他进程做完事情而不能继续执行，这种情形称为死锁。：当一个进程在临界区访问共享资源时，其他进程不能进入该临界区访问任何共享资源，这种情形称为互斥。：多个线程或者进程在读写一个共享数据时，结果依赖于它们执行的相对时间，这种情形称为互斥条件。
分布式process总结之二：Mutual Exclusion
binling的专栏
12-08 2941
没有单机情况下OS这个共同媒介。有的只是process之间互发消息。 三个目标 1）safety (essential) : 没有2个process同时进入CS （no bad thing happen) 2）liveness (essential) 最终每个进入CS的请求都会被满足 (wanted thing happen) 3）ordering (desirable)  FIFO c
操作系统概念（第七章） 死锁
Mr.Phoebe的专栏
11-22 5215
死锁所有申请的资源都被其他等待进程占有，那么该等待进程有可能在无法改变其状态，这种情况称为死锁（deadlock）。系统模型进程在使用资源之前必须先申请资源，在使用资源之后要释放资源。进程所申请的资源数量不能超过系统所有资源的总量。在正常操作模式下，进程只能按如下顺序使用资源： ①申请：如果申请不能立即被允许，那么申请进程必须等待，直到它获得该资源为止。 ②使用：进程对资源进行操作。 ③释放：进程释
互斥（mutual exclusion）
1234的博客
09-20 307
每个任务在与共享资源打交道时，必须独占该资源。这叫做互斥 可以被一个以上任务使用的资源叫做共享资源。
操作系统考点整理
技术成长笔记
03-20 3246
什么是进程（Process）和线程（Thread）？有何区别？进程是具有一定独立功能的程序关于某个数据集合上的一次运行活动，进程是系统进行资源分配和调度的一个独立单位。线程是进程的一个实体，是CPU调度和分派的基本单位，它是比进程更小的能独立运行的基本单位。线程自己基本上不拥有系统资源，只拥有一点在运行中必不可少的资源（如程序计数器，一组寄存器和栈），但是它可与同属一个进程的其他的线程共享进程所拥有
操作系统教程总结
热门推荐
杨领well的专栏
12-19 3万+
操作系统虚拟机为用户提供了一种简单、清晰、易用、高效的计算机模型。虚拟机的每种资源都是物力资源通过复用、虚拟和抽象而得到的产物。 虚拟机提供进程运行的逻辑计算环境。
js同步和异步与操作系统pv操作
09-03
JavaScript中的同步和异步与操作系统中的PV操作有一些相似之处，主要是在处理并发操作时的机制和原理类似。 在操作系统中，PV操作是一种用于线程同步的机制，其中P表示“proberen”（荷兰语，意为尝试获取资源），V表示“verhogen”（荷兰语，意为释放资源）。PV操作的目的是保证共享资源的互斥访问和线程的同步执行。 在JavaScript中，同步和异步是用于处理代码执行顺序和并发操作的方式。同步代码是按照顺序依次执行的，每一行代码需要等待前一行代码执行完成后才能执行。而异步代码可以在后台执行，不会阻塞其他代码的执行。 类似于PV操作中的尝试获取资源，JavaScript中的同步操作会等待代码执行的结果，直到获取到结果后才会继续执行。而异步操作则不会等待，而是将代码提交到事件队列中，继续执行后续的代码，当异步操作完成后，会触发相应的回调函数来处理结果。 在操作系统中，PV操作的目的是为了避免资源竞争和线程的不正确执行。而在JavaScript中，同步和异步的目的是为了避免代码的阻塞和提高程序的性能和响应能力。 总结来说，虽然js的同步和异步机制与PV操作在具体的实现上有所不同，但它们都是为了解决并发操作时的资源竞争和线程同步问题，提高程序的可靠性和效率。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值