【2021/7/19 更新】【梳理】简明操作系统原理 第三章 高级调度策略(docx)

lab6处理机调度实现 C语言实现类,函数指针接口 什么情况下会触发调度? 进程切换的详细过程,内核栈等等的切换 阅读详情

配套教材:
Operating Systems: Three Easy Pieces Remzi H. Arpaci-Dusseau Andrea C. Arpaci-Dusseau Peter Reiher
参考书目:
1、计算机操作系统(第4版) 汤小丹 梁红兵 哲凤屏 汤子瀛 编著 西安电子科技大学出版社

在线阅读:
http://pages.cs.wisc.edu/~remzi/OSTEP/
University of Wisconsin Madison 教授 Remzi Arpaci-Dusseau 认为课本应该是免费的。
————————————————————————————————————————
这是专业必修课《操作系统原理》的复习指引。
需要掌握的概念在文档中以蓝色标识,并用可读性更好的字体显示 Linux 命令和代码。代码部分语法高亮。
文档下载地址:
链接:https://pan.baidu.com/s/1yf4TPKPGvMfmQshWKLlG2g
提取码:0000

三 高级调度策略

虽然这些假设显得不真实,但是为了方便,在接下来的对高级调度策略(区别于定时器中断、上下文切换等底层机制)的讨论中,我们暂时假定所有进程(任务)都遵循完全可操作的调度规则,本指导简称“五个假设”:
(1)所有的任务都运行相同时间;
(2)所有的任务都同时分发下来;
(3)一旦开始运行,所有任务都一直运行到完成;
(4)所有任务只使用CPU(也就是说,没有IO);
(5)所有任务需要的运行时间都是已知的。
在必要情形下,可能解除上面的一条或几条限制。
高级调度策略与底层调度机制是相对独立的:机制与策略分离的基本原理,是计算机科学与工程中的常用原理。

性能和公平性在调度中一般是矛盾的。如果一个调度器的调度规则偏向性能,那么可能会导致一些程序几乎分不到多少时间执行。如果优先保证每个程序都尽可能分到足够的时间执行,那么程序的性能有时并不能完全发挥出来。

FIFO(First in first out,先进先出)也称先来先服务(first come first serve,FCFS),是最基础的一种调度算法。这个算法简单且易于实现。在“五个假设”下,该方法的效果一般较好;但是在一些特殊情形下效果不佳。例如,如果每项任务的耗时不再是等时的,其中某项任务的耗时远大于其它任务,且比其它任务都早那么一点到达。那么,直到把这项最耗时的任务执行完毕以后,操作系统才会分配其它任务到这个处理器核。当任务的结束时间是影响效果或评价等指标的主要因素时,这种调度方式带来的结果就令人不满。
生活中有很多这样的情境。例如:如果一个末日生存狂为了应对核冬天而到超市大量扫货,那么假设因为他比别人先到一小会儿就开始忙于对他的结算,后面的许多个只需要买一点东西准备明天的早餐的顾客就会等待很久。再例如:你的计算机硬盘损坏,现从某网盘紧急下载备份文件。但由于网站技术故障,你无法开通它的会员,所以被限制一次只能下载一个文件。如果先下载最先添加的很大的文件(如:刚立项的为期两年的科研项目的神经网络训练模型),那么急用的小文件(如:即将到达提交截止期限的未完成的实验报告)也需要等到大文件下载完毕后才开始下载。这样做的后果可想而知。

SJF(Shortest Job First,最短作业优先)算法总是优先安排耗时最少的任务先行执行。在要求每个任务都尽早结束的情形下,如果任务都是同时到达的,那么SJF调度算法比FIFO调度算法能让更多任务尽快执行完毕。但是,还是套用刚才的例外:某项任务的耗时远大于其它任务,且比其它任务都早那么一点到达。在这个情形下,仍然需要等待耗时最长的任务完成后才能开始执行其它任务,对最终结果也是不利的。

非抢占(non-preemptive)调度一旦把CPU分配给某进程后,就一直让它运行下去,不会因为时钟中断或任何其它原因去抢
Mythos:Anthropic的可验证推理框架与符号化中间态架构 大模型推理正从黑箱生成走向可验证推导,核心在于如何实现逻辑步骤的结构化表达与语义保真。Mythos作为Anthropic推出的受控发布推理调度框架,通过语义原子单元(SAU)、符号化缓存和证明链组装,将传统Chain-of-Thought升级为可审计、可干预、可回溯的工业级推理范式。其技术价值不仅在于降低63% token消耗与提升事实召回率,更在于为金融、法律、医疗等强合规场景提供符合监管要求的AI输出证据链。本文深入解析Mythos的四层解耦架构、SAU调度机制及企业级接入实践,揭示其如何重塑RAG替代 阅读详情

相关推荐

lab6(stride scheduling)

Stride调度分析 论文链接:Stride Scheduling 在实验中使用的Stride算法是结合时间片的一种优先级调度策略。每一个时间片结束时,选择就绪状态的进程中Pass值最小的进程分配一个时间片,在一个时间段中进程所获得的时间片数量和进程的优先级大致成正比。 Resource rights are represented by tickets – abstract, fi...

Sangria's Blog 1931

(十二)操作系统-处理机调度的概念、层次

当有一堆任务要处理,但由于资源有限,这些事情没法同时处理。这就需要确定某种规则来决定处理这些任务的顺序,这就是“调度”研究的问题。在多道程序系统中,进程的数量往往是多于处理机的个数的,这样不可能同时并行地处理各个进程。处理机调度,就是从就绪队列中按照一定的算法选择一个进程并将处理机分配给它运行,以实现进程的并发执行。由于内存空间有限,有时无法将用户提交的作业全部放入内存,因此就需要确定某种规则来决定将作业调入内存的顺序。高级调度(作业调度):按一定原则从外存上处于后备队列的作业中

m0_56517198的博客 403

CTR模型:Deep&Cross Network

1. 简介 DCN模型(Deep & Cross Network for Ad Click Predictions)是2017年提出的。 出发点: (1)人工探索所有的交叉特征是不现实的; (2)难于推广未曾出现过的交叉特征。 DNN能够自动探索交叉特征并推广到未出现过的交叉特征,但是DNN的学习效率不高,且无法显式的学习特征交叉。 Deep&Cross Network, DCN 模型保留了DNN的优点,并提出了新的cross network,高效学习高阶特征交互。 优点: (1)cross

rosefun96的博客 9360

协方差矩阵

对两个类内协方差矩阵进行对角化,可以将它们变换为对角矩阵。这个过程可以通过对每个协方差矩阵进行特征值分解来实现,从而得到它们的特征向量和特征值,进而得到它们的对角矩阵形式。这个过程的意义在于,它可以帮助我们找到一个新的坐标系,使得在这个坐标系下,每个特征之间都是独立的,从而简化了计算。具体来说,当我们使用对角协方差矩阵作为特征向量的坐标系时,它意味着每个特征之间都是相互独立的,从而方便了进一步的分析和处理。在实际应用中,对角化协方差矩阵可以用于降维、特征选择和分类等任务。

m0_55196097的博客 1万+

STM32使用内部RC振荡器作为系统时钟开发项目--内晶振启动模板工程

STM32使用内部RC振荡器时,OSC32_IN,OSC32_OUT接法: 1)对于100脚或144脚的产品,OSC_IN应接地,OSC_OUT应悬空。 2)对于少于100脚的产品,有2种接法:    2.1)OSC_IN和OSC_OUT分别通过10K电阻接地。此方法可提高EMC性能。    2.2)分别重映射OSC_IN和OSC_OUT至PD0和PD1,再配置PD0和PD1为推挽输出

overflyme的博客 1万+

保姆级教程:用VESTA软件5分钟搞定纳米颗粒Wulff Construction建模(以Au金为例)

本文提供了一份详细的VESTA软件教程,指导用户如何在5分钟内完成纳米颗粒Wulff Construction建模,特别以金(Au)为例。从环境搭建、基础晶体结构创建到Wulff Construction设置和可视化优化,涵盖了全流程操作步骤和常见问题解决方案,适合科研新手快速上手。

weixin_29311017的博客 436

详解MegatronLM序列模型并行训练(Sequence Parallel)

MegatronLM的第三篇论文是2022年出的。在大模型训练过程中显存占用过大往往成为瓶颈,一般会通过recomputation重计算的方式降低显存占用,但会带来额外的计算代价。这篇论文提出了两种方法,分别是和,这两种方法和Tensor并行是可以相结合的,可以有效减少不必要的计算量。下图中绿色部分表示不同模型中需要用于保存activation需要的显存大小,蓝色部分表示不同模型中需要用于保存parameter和optimizer state需要的显存大小。红色线表示A100的显存大小80G。

分享机器学习、深度学习、分布式计算、MLSys相关领域知识 1万+

Android16 3576 u盘固件升级功能添加

1.在u-boot/drivers/power/pmic/rk8xx.c。这里是读取power键的寄存器判断长短按。

tzj1058756809的博客 575

LeRobot 入门教程(十七)NVIDIA IsaacLab Arena 集成

LeRobotEnvHub现已集成IsaacLabArena实现GPU加速仿真,支持GR1/G1/伽利略人形机器人实体和多种操作任务。安装需满足CUDA GPU、Ubuntu系统和IsaacSim 5.1.0要求,通过conda环境配置依赖项。系统提供SmolVLA和PI0.5等预训练策略评估功能,支持视频录制和并行环境配置。环境配置选项涵盖机器人实体、任务类型、观测维度等参数,并包含针对CUDA内存、视频录制等常见问题的解决方案。此外,LightWheel AI还通过LW-BenchHub引入了包含268

2506_90492529的博客 1250

多角度模板匹配的模板创建技巧

基于形状的模板匹配多角度创建技巧

manuoo的专栏 3403

廖雪峰Python教程[完整版]

廖雪峰的python教程整理的,已经排好版了,而且还是完整的,适合小白

win10 跳过U8环境检测的IE WebControls.rar

win10 安装u8的时候 提示IE WebControls 不通过,这个工具可以欺骗u8的检查。 跳过U8环境检测的IE WebControls。提示导入失败后,重新检测通过。

efm32 入门.pdf

本PDF共计22页,介绍的是操作驱动API,下载与否自己斟酌。

文档:亲测可用解决vnc灰屏,黑屏,鼠标大黑叉情况

主要解决vnc-viewer灰屏,黑屏,鼠标大黑叉等现象,详细见文档。

上一篇: 【2021/7/19 更新】【梳理】简明操作系统原理 第二章 过程、系统调用、陷阱指令和中断(docx)
下一篇: 【Java】Swing 初步 · 常用 Swing 组件的简易演示
山上一缕烟
博客等级 码龄8年 269粉丝 498原创
评论 1
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明:

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

余额充值