【南京大学jyy操作系统（蒋炎岩）】（四）并发控制： 同步 | 真实世界的并发编程

最新推荐文章于 2024-01-22 19:48:30 发布
最新推荐文章于 2024-01-22 19:48:30 发布
阅读量2.1k 收藏 9
点赞数 3
分类专栏： # 操作系统 文章标签： java 分布式 开发语言 c++
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_49486457/article/details/127751782
版权

文章目录


前言

学习链接 ： 链接点击跳转
在这里插入图片描述

同步

什么是同步？？

  • 例子
    在这里插入图片描述
    在这里插入图片描述

生产者-消费者模式

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

  • 测试代码的正确性
    在这里插入图片描述

条件变量

分析

在这里插入图片描述

  • 把 pc.c 中的自旋变成睡眠
  • 测试不通过
    在这里插入图片描述
    • 尝试在完成操作时唤醒
      在这里插入图片描述

条件变量

API

在这里插入图片描述

条件变量：实现生产者-消费者


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

  • 解决方案 ； 设置俩个不同类型的 条件变量
  • 多一点线程
    在这里插入图片描述

在这里插入图片描述

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

信号量

复习：互斥锁和更衣室管理

操作系统 = 更衣室管理员
先到的人 (线程)
成功获得手环，进入游泳馆
*lk = 🔒，系统调用直接返回
后到的人 (线程)
不能进入游泳馆，排队等待
线程放入等待队列，执行线程切换 (yield)
洗完澡出来的人 (线程)
交还手环给管理员；管理员把手环再交给排队的人
如果等待队列不空，从等待队列中取出一个线程允许执行
如果等待队列为空，*lk = ✅
管理员 (OS) 使用自旋锁确保自己处理手环的过程是原子的

  • 更衣室管理
    完全没有必要限制手环的数量——让更多同学可以进入更衣室
    管理员可以持有任意数量的手环 (更衣室容量上限)
    先进入更衣室的同学先得到
    手环用完后才需要等同学出来

  • “手环” = “令牌” = “一个资源” = “信号量” (semaphore)

  • pc-sem.c
    在这里插入图片描述

在这里插入图片描述

哲学家吃饭问题

在这里插入图片描述

在这里插入图片描述

初始的时候 每个哲学家只有一把叉子
在这里插入图片描述
在这里插入图片描述
因为每人都只拿左手的叉子 ， 导致

在这里插入图片描述

总结

在这里插入图片描述

真实世界的并发编程

在这里插入图片描述

高性能计算中的并发编程

在这里插入图片描述

  • 超级计算（目前） ： 把同多个步操作 分给多个cpu 然后汇总起来 （eg 。 拓扑结构 计算二维dp）
  • 超级计算机 ： 分哪些机器 ， 再想机器上有哪些进程 最后线程是如何通信的
  • MPI接口 同步的库： 多节点程序 如何保证多节点发消息通信同步
    在这里插入图片描述

数据中心里的并发编程

  • 特点
    在这里插入图片描述

在这里插入图片描述

  • 在俩个数据中间是有延迟的 ，CAP是不可能同时三个都做到的
    在这里插入图片描述
    在这里插入图片描述
  • such 1 second 完成 1w的请求?？
  • . QPS：全名 Queries Per Second，意思是“每秒查询率”
  • tail latency 尾延迟
    在这里插入图片描述
  • 实现切换 存在代价
    在这里插入图片描述

在这里插入图片描述

go

在这里插入图片描述

  • go的 canal 相对于队列 （也可以实现容量）
  • go ： 不用和c 一样去约束 ,实现 xx并发协议 （贴纸 。。） ， 直接做就就可以 （PC 模式） 解决高并发 IO的问题

我们身边的并发编程

并发 Bug 和应对

总结

CPT1024
关注
专栏目录
CSAPP 并发编程 ——深入理解计算机系统
Eternitykc的博客
06-01 675
12.3 基于线程的并发编程 到目前为止，我们已经看到了两种创建并发逻辑流的方法。 在第一种方法中，我们为每个流使用了单独的进程。内核会自动调度每个进程. 而每个进程有它自己的私有地址空间，这使得流共享数据很困难。 在第二种方法中，我们创建自己的逻辑流，并利用 I/O 多路复用来显式地调度流。因为只有一个进程，所有的流共享整个地址空间。本节介绍第三种方法——基于线程，它是这两种方法的混合。 线程（thread）就是运行在进程上下文中的逻辑流。在本书里迄今为止，程序都是由每个进程中一个线程组成的。但是现代系统
操作系统——实验lab1 **超详细**实验报告
段长风
06-29 8660
lab1 操作系统启动过程 实验指导书： https://chyyuu.gitbooks.io/ucore_os_docs/content/lab1/lab1_1_goals.html 实验中可能使用到的工具： https://chyyuu.gitbooks.io/ucore_os_docs/content/lab0/lab0_ref_ucore-tools.html ucore源码以及参考答案 ...
OSLabs:OperatingSystemLabs_南京大学操作系统实验
03-11
实验室 南京大学操作系统课程实验/ OperatingSystemLabs_NJU 实验网站网址： : 实验内容 Lab1实验要求 1.1。在实模式下实现一个Hello World程序 1.2。在保护模式下实现一个Hello World程序 1.3。在保护模式下加载磁盘中的Hello World程序运行 Lab2实验要求 2.1。实现系统调用库函数printf 2.2。完善printf的格式化输出 Lab3实验要求 3.1。实现进展切换机制 3.2。实现FORK ， SLEEP ， EXIT系统调用 Lab4实验要求 4.1。实现SEM_INIT ， SEM_POST ， SEM_WAIT ， SEM_DESTROY系统调用 实验环境环境：Ubuntu + QEMU 实验框架 +lab1 |---+bootloader | |---boot.h
操作系统概述（蒋炎岩）
cmt627的博客
01-22 977
操作系统是怎么从一开始变成这样的？你要了解一个东西，那就要了解它的全部。计算机的全部资源可以分为两类，硬件资源和软件资源，而夹在中间的就是操作系统（管理硬件和软件的软件）互联网和AI已经从根本上改变了我们学习的方式，我们面对的是一个开放的世界，而这个世界里有人类所有已知的知识，重要的是你要提出那个问题。
【笔记】南大操作系统jyy
qq_43050258的博客
03-16 3080
南京大学蒋炎岩操作系统设计与实现课程笔记
jyy操作系统
cai88453626的博客
07-14 950
为什么学习操作系统？ 每天用的东西，实现编程真正用处。明白计算机背后运行的机制 具有编写一切“能写出来”程序的能力（具备阅读论文的能力） 什么是操作系统？ 如何学习操作系统？ 操作系统是如何从一开始变成现在这样？ 三个重要线索：计算机硬件，程序软件，操作系统（管理软件的软件） 流程图 代码可视化工具 1960s 一个cpu但是有大内存可以放下多个程序 发现程序有部分时间在cpu运行，有段时间不在cpu运行。多个程序轮换交替使用cpu 三个根本问题 操作系统服务谁？ 程序 = 状态机 课程涉及：多线程Lin
操作系统:多处理器编程-- 蒋炎岩老师
m0_37564426的博客
01-10 571
并发Concurrency 操作系统是最早的并发程序之一. 并发控制算法最早在操作系统中研究.
JYY的操作系统.zip
最新发布
04-30
操作系统的定义：是一组控制和管理计算机软硬件资源，为用户提供便捷使用计算机的程序的集合。 基本功能：1.进程管理 2.存储管理 3.文件管理 4.设备管理 5.作业管理 基本组成： 1、驱动程序 最底层bai的、直接...
南京大学操作系统
05-21
南京大学操作系统课程由骆斌博士主讲，旨在深入理解和掌握操作系统的工作原理及其在实际中的应用。通过学习这门课程，学生可以全面了解操作系统的设计思想，提升在系统级编程和优化方面的技能。 在提供的压缩包文件...
Nanos-南大操作系统实验1--线程切换
jianjian1992的专栏
05-23 2586
指针转化 uint8_t *stack_ptr; (uint32_t *)stack_ptr这样做个转化都break strict alising rule。坑爹哦！
南京大学操作系统实验教程
05-18
目录 I 基础知识9 1 MINIX操作系统简介11 1.1 MINIX与UNIX . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.2 探索MINIX . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 1.3 编辑器：vi . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 1.4 编译器：CC . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 1.5 实习题. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2 Intel 8086体系结构19 2.1 8086 CPU结构. . . . . . . . . . . . . . . . . . . . . . . . . . 19 2.2 运算器与指令部件. . . . . . . . . . . . . . . . . . . . . . . . 19 2.3 寄存器组. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 2.4 主存. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 2.5 堆栈. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 2.6 系统启动. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 2.7 二进制文件结构. . . . . . . . . . . . . . . . . . . . . . . . . . 25 3 ACK 8086汇编语言27 3.1 寻址. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 3.2 数据移动指令. . . . . . . . . . . . . . . . . . . . . . . . . . . 28 3.3 常量、标号、数据与全局变量. . . . . . . . . . . . . . . . . . 29 3.4 运算指令. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 3.5 标志位操纵指令. . . . . . . . . . . . . . . . . . . . . . . . . . 31 3.6 串操作指令. . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 3.7 跳转、分支与循环. . . . . . . . . . . . . . . . . . . . . . . . 33 3.8 堆栈与子程序. . . . . . . . . . . . . . . . . . . . . . . . . . . 34 5 6 目录 4 实习：Hello World 37 4.1 Hello World程序. . . . . . . . . . . . . . . . . . . . . . . . . 37 4.2 实习题. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 II 汇编语言进阶41 5 C与汇编联合开发43 5.1 函数调用. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 5.2 全局与局部变量. . . . . . . . . . . . . . . . . . . . . . . . . . 45 5.3 编译与连接. . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 5.4 实习题. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 6 中断与I/O 49 6.1 中断. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 6.2 输入输出设备. . . . . . . . . . . . . . . . . . . . . . . . . . . 51 6.3 编写中断处理程序. . . . . . . . . . . . . . . . . . . . . . . . 51 6.4 实习题. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 7 实习：小游戏55 7.1 make工具. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 7.2 实习题. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 III 操作系统内核59 8 进程切换61 8.1 进程模型. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 8.2 进程的实现. . . . . . . . . . . . . . . . . . . . . . . . . . . . 62 8.3 进程切换. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 8.4 中断嵌套. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67 8.5 MiniOS中的进程切换. . . . . . . . . . . . . . . . . . . . . . . 68 8.6 操作系统实现原则. . . . . . . . . . . . . . . . . . . . . . . . 69 9 进程通信71 9.1 信号量. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 9.2 消息机制. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 9.3 消息机制的实现. . . . . . . . . . . . . . . . . . . . . . . . . . 76 9.4 调试消息内核. . . . . . . . . . . . . . . . . . . . . . . . . . . 78 目录7 10 实习：操作系统内核83 10.1 引导操作系统. . . . . . . . . . . . . . . . . . . . . . . . . . . 83 10.2 微内核与层次式操作系统结构. . . . . . . . . . . . . . . . . . 83 10.3 实习题. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85 IV 轻量操作系统实现87 11 设备驱动程序89 11.1 设备驱动程序原理. . . . . . . . . . . . . . . . . . . . . . . . 89 11.2 键盘设备. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91 11.3 屏幕设备. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93 11.4 死锁的产生与预防. . . . . . . . . . . . . . . . . . . . . . . . 93 12 存储管理95 12.1 存储管理与系统调用服务进程. . . . . . . . . . . . . . . . . . 95 12.2 进程映像的创建与终止. . . . . . . . . . . . . . . . . . . . . . 97 12.3 替换进程映像. . . . . . . . . . . . . . . . . . . . . . . . . . . 98 13 文件系统101 13.1 文件与目录. . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 13.2 文件与目录管理. . . . . . . . . . . . . . . . . . . . . . . . . . 103 13.3 文件描述符. . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 14 实习：迷你操作系统109 14.1 一个简易的Shell . . . . . . . . . . . . . . . . . . . . . . . . . . 109 14.2 实习题. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110 附录111 A vi常用命令113 B 虚拟机与外部的文件交换117
Linux操作系统实验教程_南大版.pdf（高清版）
02-28
Linux操作系统实验教程_南大版.pdf
Linux操作系统实验教程_南大版.pdf
04-20
Linux操作系统实验教程_南大版.pdf ，基于操作系统。
操作系统--蒋炎岩老师
m0_37564426的博客
01-07 1476
如何复用(虚拟化)硬件资源,使每个程序看起来都在独占计算机?
【南京大学操作系统（蒋炎岩）】（五） 并发 Bug 和应对
CPT1024
11-13 1236
检查检查再检查!!
NJU操作系统课(蒋炎岩) 笔记
weixin_63603830的博客
12-25 651
学习南京大学操作系统课的笔记，jyy yyds ！！！
jyy《操作系统》P12
姚军
05-05 647
大纲 线程 & 协程 同步 & 通信 分布式系统 协程 协程： 有限的并行和并发 执行流切换只发生在主动放弃CPU的时刻 yield的时机是完全确定的 协程不能同时使用多个CPU python中的generator就是协程 IO耗时 协程： 一个人干，他人围观。 线程：每个线程占用可观的OS资源 Goroutine 多处理器并行&轻量级并发我全都要 实现方式：每个CPU上有一个go worker，自由调度goroutines，执行blocking API时（如sleep
【2022南京大学操作系统(蒋岩炎)】（一）操作系统概述 | 操作系统上的程序
CPT1024
11-04 3008
文章目录 P1 计算机概论 什么是操作系统? 操作系统上的程序 tmux 快捷键操作 数字逻辑电路：模拟器 状态机和数码管实现 程序 C语言视角 二进制程序 构造最小的 Hello, World 最小的 HolloWorld程序 编译器与编译优化 操作系统的一般程序 总结 P1 计算机概论 什么是操作系统? 在这里插入图片描述 在这里插入图片描述 在这里插入图片描述 在这里插入图片描述 在这里插入图片描述 操作系统上的程序 补ppt ppt tmux 快捷键操作 https://www.jianshu
【操作系统笔记】南京大学jyy老师
qq_43840665的博客
05-29 3611
系列综述：💞目的：本系列是个人整理为了操作系统学习，整理期间苛求每个知识点，平衡理解简易度与深入程度。🥰来源：材料主要源于课程进行的，每个知识点的修正和深入主要参考各平台大佬的文章，其中也可能含有少量的个人实验自证。🤭结语：如果有帮到你的地方，就和！！
皮卫星质量特性优化：偏心量与转动惯量控制
同时，卫星的转动惯量呈现Jyy > Jxx > Jzz的特征，这意味着卫星在y轴方向上的转动惯量最大，这可能有助于控制卫星在特定方向上的稳定性。配重质量约为0.34千克，这个轻量化设计不仅满足了姿控系统的质量特性要求，还...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

CPT1024

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值