![](https://img-blog.csdnimg.cn/20201014180756913.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
OS学习笔记
文章平均质量分 86
D了一天bug忘了编译
欢迎交流!
展开
-
体系结构论文导读(二十九)(下):A survey on modeling and improving reliability of DNN algorithms and accelerators
不同的DNN组件对整体系统的贡献不同,因此保护的重点应有所区别。例如,某些神经元或位对最终输出的影响较大,因此需要更强的保护。为了减少保护开销,可以将高关键性的组件存储在更可靠的硬件区域中,或使用强保护机制,如三模冗余(TMR)仅用于最关键的层。原创 2024-06-27 18:42:31 · 811 阅读 · 0 评论 -
体系结构论文导读(二十九)(上):A survey on modeling and improving reliability of DNN algorithms and accelerators
表4展示了在DNN中哪些组件的可靠性被研究过,以及哪些因素对其可靠性产生影响。(1) 增加BER的影响BER(比特错误率)增加会显著影响DNN的准确性。许多DNN在BER低于某个阈值时,准确性几乎不受影响,但一旦超过这个阈值,准确性就会呈指数下降。BER增加不仅会导致更多的数据值出错,还会增加数据值变化的幅度。变化幅度越大,输出错误的可能性越高。(2) 评估使用的指标为了定量评估DNN的可靠性,研究人员使用了不同的指标,这些指标在不同场景和DNN中提供了互补的见解。分类准确性(用于图像分类DNN)原创 2024-06-27 18:13:54 · 996 阅读 · 0 评论 -
体系结构论文导读(二十八):DRQ: Dynamic Region-based Quantization for Deep Neural Network Acceleration
首先设计一个预测算法来定位输入特征图中的敏感区域。对目标特征图执行均值滤波,然后使用阶跃激活函数生成二进制掩码,从而区分输入特征图中的敏感和不敏感区域。提出了一种用于推理计算的混合精度卷积,根据输入特征图的敏感度在运行时调整卷积核精度。例如,当卷积核滑过敏感区域(图4中的绿色块)时,卷积进入高精度模式,对权重和输入特征图进行细化量化。否则,卷积在不敏感区域(图4中的粉色块)使用低精度模式。DRQ算法需要根据输入特征图的值进行动态混合精度卷积,而这些值无法像权重那样离线学习。原创 2024-06-26 19:47:14 · 784 阅读 · 0 评论 -
体系结构论文导读(二十七):Mixed Precision Quantization for ReRAM-based DNN Inference Accelerators
动作定义为DNN每层的量化配置,包括权重量化、输入量化和ADC精度。每个参数的可能值详见表2。原创 2024-06-26 18:58:04 · 615 阅读 · 0 评论 -
操作系统/体系结构论文导读(二十六):Pythia-MCS: Enabling Quarter-Clairvoyance in I/O-Driven Mixed-Criticality Systems
安全关键系统对生命关键应用至关重要。在这些系统中,将不同关键性等级的组件集成到共享硬件平台上变得越来越重要。在双重关键性MCS中,有两个关键性等级(高和低),并且任务的WCET估计具有不同的置信度。高关键性WCET(HI-WCET)非常保守,但可信度高;低关键性WCET(LO-WCET)则不那么保守,但可信度较低。模式切换是关键策略,当任务未能在LO-WCET内完成时,系统切换到高关键性模式(HI模式),此时假设高关键性任务可能会超过其LO-WCET,但不会超过其HI-WCET。I/O监控单元(IMU)原创 2024-06-17 18:04:41 · 778 阅读 · 0 评论 -
操作系统/体系结构论文导读(二十五):HIART-MCS: High Resilience and Approximated Computing Architecture for Imprecise
在上下文切换期间,执行监视器暂停当前执行任务的计时器,然后重新激活下一个执行任务的计时器,以监控LO-WCETs和MID-WCETs的超时(算法2:第10-11行)。HIART-MCS框架通过硬件级别的近似计算,在中间模式(MID-mode)下继续执行低关键性任务,从而在高关键性任务超时时延长低关键性任务的“生命周期”。一个有趣的结果是在EX阶段,控制指令和定点计算通常需要相对较少的时钟周期,而浮点计算则占用了显著更多的时钟周期,这主导了整个指令的执行时间。这些阶段基本上决定了指令和任务的执行时间。原创 2024-06-17 16:11:55 · 572 阅读 · 0 评论 -
操作系统论文导读(二十四):Balancing Energy Efficiency and Real-Time Performance in GPU Scheduling
GPU的流行和应用:如今,GPU因其卓越的性能在嵌入式平台上已经非常流行。将需要大量计算和并行处理的任务卸载到GPU上,可以显著提升网络物理系统和自主应用的性能。实时多任务的重要性:实时多任务处理是开发这种GPU加速应用的基本前提。例如,用户可以创建多个流,并将独立的内核分配到这些流中以实现并行内核执行,从而实现加速并提高GPU资源效率。原创 2024-06-16 19:56:56 · 568 阅读 · 0 评论 -
操作系统论文导读(二十三):Priority Assignment on Partitioned Multiprocessor Systems With Shared Resources
具体来说,文章讨论了三种主要的优先级分配算法——截止时间单调优先级排序(DMPO)、Audsley的最优优先级分配(OPA)和鲁棒优先级分配(RPA)——在多处理器系统中的应用,并提出了一种新的基于松弛的优先级排序算法(SPO)。其中,G(rk)表示需要资源rk的任务集合,ck是执行与资源rk相关的最坏情况成本,函数map()返回给定任务分配的处理器集合,| |返回给定集合的大小。正如公式所示,抖动间隔(即,Rh和Rj)被包括在内,以延长任务释放的持续时间,从而提供一个安全的上限。原创 2024-06-15 21:14:27 · 644 阅读 · 0 评论 -
操作系统论文导读(二十二):Future Aware Dynamic Thermal Management in CPU-GPU Embedded Platforms
在给定的超周期H中,我们考虑一组OpenCL内核 KH={κix,y∣x∈[1,M],y∈[1,Nx],i∈[1,H/πx]},它包含了超周期H中所有应用程序的所有OpenCL内核实例。每个应用程序 Ax 用四元组表示 (πx,Dx,ax,Kx),其中 πx 是周期,Dx 是相对截止时间,ax 是到达时间,Kx 是一组数据并行的OpenCL内核,按有向无环图(DAG)排列。图2中的实验结果显示,通过未来感知的热感知调度,平台的峰值温度显著降低,同时在保持较低温度的情况下达到了所有内核的截止时间。原创 2024-06-12 18:52:07 · 564 阅读 · 0 评论 -
操作系统论文导读(二十一):LaLaRAND: Flexible Layer-by-Layer CPU/GPU Scheduling for Real-Time DNN Tasks
LaLaRAND是一个层级的CPU/GPU调度框架,能够透明和灵活地调度每一层DNN任务到CPU或GPU。CPU和GPU执行的不平衡如前所述,CPU和GPU在执行DNN任务时性能不平衡,这会导致资源利用率低下和任务调度难度增加。资源分配模型单一传统的资源分配模型通常采用粗粒度分配,一个任务只能使用一种资源(CPU或GPU),这限制了系统的灵活性和效率。CPU和GPU内存空间分离CPU和GPU通常具有独立的内存空间,这使得在两者之间切换任务时需要额外的开销来保持数据一致性。缺乏系统级调度决策。原创 2024-06-12 16:34:02 · 593 阅读 · 0 评论 -
操作系统论文导读(二十):Making Powerful Enemies on NVIDIA GPUs
现代图形处理器(GPU)由于其强大的并行计算能力,越来越多地被用于安全关键的实时系统中,比如自动驾驶车辆。这些系统中的任务通常需要高性能计算,因此GPU成为了理想的计算资源。但是,在同一个GPU上并行执行多个计算任务(称为“内核”)会导致资源争夺问题,进而使得任务的执行时间变得不确定,这种现象被称为“干扰通道”。我们引入了一种生成和测量干扰通道的方法,这些通道可能会影响与未知内核同时竞争设备资源的受害者程序。原创 2024-06-11 18:19:13 · 993 阅读 · 0 评论 -
操作系统论文导读(十九):Co-Optimizing Cache Partitioning and Multi-Core Task Scheduling: Exploit Cache Sensitiv
在非抢占调度中,低优先级的非抢占任务可能会阻塞高优先级任务,从而显著影响任务集的可调度性。尽管框架的某些优化策略是专门为NP-FP任务设计的,该框架对于抢占和非抢占的EDF任务也能取得良好的可调度性结果。相反,如果将 τ1,τ3 和 τ4 分配到同一核,利用率总和为1.129,大于1,因此也是不可行的。本文的研究问题包括三个部分:(i) 将软件任务分配到处理器核,(ii) 确定每个任务可以使用的最大缓存分区数,以及 (iii) 确保任务能够在其截止时间内完成。,则任务集合是可调度的。原创 2024-06-11 17:01:48 · 1175 阅读 · 0 评论 -
操作系统论文导读(十八):RTailor: Parameterizing Soft Error Resilience for Mixed-Criticality Real-Time Systems
软错误:软错误是任务执行期间因高能粒子撞击引起的错误,如宇宙射线。这些错误会改变寄存器和内存单元中的数据,而不会造成物理硬件损坏。软错误可能导致系统崩溃、挂起或数据损坏。重要性:在关键任务嵌入式系统(如无人机)中,软错误可能导致严重后果。例如,飞行控制内核中的软错误可能导致发送错误信号给执行器,从而导致无人机坠毁。现有问题:传统的软错误弹性方案(如指令冗余)在任务执行期间整体开启或关闭,无法细粒度地控制弹性级别。这会导致不必要的性能开销,从而影响任务的调度性。参数化执行序列。原创 2024-06-10 18:06:22 · 1640 阅读 · 1 评论 -
操作系统论文导读(十七):Work-in-Progress: Tight Response-time Analysis for Periodic Preemptive Tasks under Glob
时间标记转换系统(TLTS)为分析实时系统中的任务调度提供了一种强大的工具。通过表示系统的状态和转换,TLTS 可以详细描述系统在不同时间点的行为和调度过程。这种方法不仅可以处理固定优先级调度策略,还可以考虑释放抖动的影响,从而提供更精确的响应时间分析。原创 2024-06-10 16:49:45 · 801 阅读 · 1 评论 -
操作系统论文导读(十六):Work-in-Progress: Impacts of Critical-Section Granularity When Accessing Shared Resourc
我们现在将任务表示扩展为四元组 τi=(Ti,Γi,Ai,Di),其中 Γi 是非访问段 γi0,γi1,... 的持续时间列表,Ai 是访问段 αi1,αi2,...的持续时间列表。从表1的数据可以看出,将多个GPU访问操作分组在一起可以显著减少某些操作的访问时间,尤其是在GROUP-MAJOR配置下,所有步骤的访问时间都有大幅减少。任务模型描述了一组任务 τ={τ1,τ2,...,τn},其中每个任务 τi\tau_iτi 会释放一个(可能无限的)作业序列 Ji,1,Ji,2,...。原创 2024-06-09 19:20:41 · 842 阅读 · 0 评论 -
操作系统论文导读(十五):Mixed-Criticality Scheduling in Compositional Real-Time Systems with Multiple Budget Es
混合关键性调度(MC调度)提出了一种改进方法,将任务分为高关键性(HI)和低关键性(LO),并为每个任务提供两种估计值(极端保守的和较为实际的),以提高资源利用效率。这些公式表示在每个资源周期π内,虚拟处理器在关键模式(Critical Mode)和正常模式(Nominal Mode)下的带宽(即处理时间的比例)。在组合实时系统的上下文中,两个参数Π(资源周期)和Θ(预算)用于表征虚拟处理器(VP)提供的资源供应情况。这些公式表示系统中所有任务的总利用率、高关键性任务的总利用率和低关键性任务的总利用率。原创 2024-06-05 19:53:36 · 555 阅读 · 0 评论 -
操作系统论文导读(十四):Towards A More Practical Model for Mixed Criticality Systems;四种MCS进入高关键模式的模型
混合关键系统(Mixed Criticality System, MCS)是由执行不同关键等级任务的各种硬件和软件组件组成的系统,它需要在满足安全认证要求的同时,高效地利用有限的计算资源。关键等级是指任务对于系统输出的影响程度,例如,安全关键(Safety-critical)和任务关键(Mission-critical)任务或低关键(Low-critical, LO-crit)和高关键(High-critical, HI-crit)任务。原创 2023-08-15 20:08:15 · 219 阅读 · 0 评论 -
操作系统论文导读(十三):HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduli
任务定义:一组任务τ={τ1...τn},访问的资源信号量以S={S1,...,Sm}表示,每个任务由下面的八元组定义,前四个为基础任务定义四元组;p为活动优先级,可以根据 PCP 在运行时动态更改;L为任务关键度,l为动态关键性可能会根据 HLC 在运行时动态变化,σ为任务使用的信号量组。原创 2023-08-11 17:56:02 · 150 阅读 · 0 评论 -
操作系统基础知识介绍之系统安全术语解释
它通过在程序运行时维护一个与正常栈平行的影子栈,用于存储函数的返回地址,而不是在正常栈中存储。在函数返回时,它会从影子栈中取出返回地址,并与正常栈中的返回地址进行比较,如果不一致,则说明发生了攻击。:这是一种用于描述硬件电路结构的数据格式,它包含了电路中各个元件(如门、触发器、寄存器等)以及它们之间的连接关系。:这是一种用于FPGA仿真的软件工具,它可以在云端或本地部署基于FPGA的计算机系统,并运行真实的软件负载。:这是一种用于FPGA设计的软件工具,它可以进行综合、布局、布线、时序分析、仿真等操作。原创 2023-05-19 14:51:46 · 378 阅读 · 0 评论 -
操作系统基础知识介绍之缓存
缓存带宽的物理意义是指缓存在单位时间内能够传输的数据量,它的大小代表了缓存的性能和效率。缓存带宽的计算公式是:缓存带宽=缓存频率×缓存位宽/8。其中,缓存频率是指缓存的工作时钟频率,缓存位宽是指缓存的数据总线宽度,单位是位(bit)。例如,如果一个缓存的频率是800MHz,位宽是64位,那么它的带宽就是800×64/8=6400MB/s1。缓存带宽越大,说明缓存能够在更短的时间内传输更多的数据,从而提高CPU和内存之间的数据交换速度,降低CPU访问内存的延迟,提升系统的性能。原创 2023-05-12 20:39:53 · 906 阅读 · 2 评论 -
操作系统基础知识介绍之内存技术和优化(二)(包括闪存、相变内存技术等)
闪存是EEPROM(电可擦除可编程只读存储器)的一种,通常是只读的但可以被擦除。闪存的另一个关键特性是它可以在没有任何电源的情况下保存其内容。我们专注于NAND Flash,它比NOR Flash密度更高,更适合大规模非易失性存储器;缺点是访问是顺序的,写入速度较慢。原创 2023-05-12 17:02:43 · 625 阅读 · 0 评论 -
操作系统基础知识介绍之内存技术和优化(一)(包含SRAM和DRAM、SDRAM、GDRAMs)
使用 SRAM 可以满足最小化高速缓存访问时间的需要。然而,当缓存未命中时,我们需要尽快将数据从主存中移出,这就需要高带宽内存。这种高内存带宽可以通过将构成主内存的许多 DRAM 芯片组织成多个内存条并使内存总线更宽来实现,或者两者兼而有之。高带宽内存是一种利用3D堆栈工艺将多个DRAM芯片垂直堆叠在一起的内存技术,可以提供高达1TB/s的带宽,适用于高性能计算、人工智能、图形处理等领域。高带宽内存与传统的DDR内存相比,具有以下优势:体积更小,可以节省空间和成本。原创 2023-05-11 17:23:29 · 1256 阅读 · 0 评论 -
操作系统基础知识介绍之内存层次结构(二)缓存优化
4. 多级缓存以减少未命中惩罚——一个困难的决定是使缓存命中时间变快,以跟上处理器的高时钟频率,还是使缓存变大以减少处理器访问与主内存之间的差距访问。关注二级缓存中的未命中导致更大的块、更大的容量和更高的关联性。一个常见的优化是使用页面偏移量——虚拟地址和物理地址中相同的部分——来索引缓存,这种虚拟索引/物理标记方法引入了一些系统复杂性和对 L1 高速缓存的大小和结构的限制,但是从关键路径中删除转换后备缓冲区 (TLB) 访问的优点胜过缺点。选择正确的块大小是一个复杂的权衡,取决于缓存的大小和未命中惩罚。原创 2023-05-11 15:35:15 · 166 阅读 · 0 评论 -
操作系统基础知识介绍之内存层次结构(一)
当在缓存中找不到一个词时,必须从层次结构中的较低级别(可能是另一个缓存或主存储器)中取出该词并将其放入缓存中,然后再继续。■ 冲突——如果块放置策略不是完全关联的 ,冲突未命中(除了强制和容量未命中)将会发生,因为如果多个块映射到它的集合并且对不同块的访问混合在一起,那么一个块可能会被丢弃并稍后被检索。其中命中时间是命中缓存的时间,未命中惩罚是从内存中替换块的时间(即未命中的成本)。所有的64字节大小的内存块被分配到集合中(基于块索引的低字节),同一个集合中的块竞争使用 L2 缓存的16个槽。原创 2023-05-11 15:13:58 · 610 阅读 · 0 评论 -
操作系统基础知识介绍之可靠性与可用性(包含MTTF、MRBF、MTTR等)
我们的冗余电源的 MTTF 是一个电源发生故障之前的平均时间除以另一个电源在更换第一个电源之前发生故障的可能性。根据这些定义,如果我们注意到可靠性和可用性现在是可量化的指标,而不是可靠性的同义词,我们就可以定量地估计系统的可靠性。根据这些定义,如果我们对组件的可靠性做出一些假设并且故障是独立的,我们可以定量地估计系统的可靠性。由于我们有两个电源和独立的故障,一个电源出现故障的平均时间是 MTTFpower supply/2。二次故障概率的一个很好的近似值是 MTTR 在另一个电源出现故障之前的平均时间。原创 2023-05-08 15:41:39 · 2464 阅读 · 1 评论 -
操作系统基础知识介绍之指令集体系结构:RISC-V寄存器(掺杂与ARM和X86部分比对)
操作数的类型和大小:与大多数 ISA 一样,80x86、ARMv8 和 RISC-V 支持 8 位(ASCII 字符)、16 位(Unicode 字符或半字)、32 位(整数或字)的操作数大小, 64 位(双字或长整数),以及 32 位(单精度)和 64 位(双精度)的 IEEE 754 浮点数。举个例子,假设处理器的内存访问粒度是4字节,那么地址0x00000000、0x00000004、0x00000008等都是对齐的地址,因为它们都能被4整除;ra : 返回地址寄存器,用来保存函数或宏的返回地址。原创 2023-05-06 21:39:23 · 1625 阅读 · 0 评论 -
操作系统基础知识介绍之并行技术(包括指令级并行和数据级并行以及线程级并行和请求级并行)
流水线技术的原理是将一个指令的执行过程划分为若干个子过程,每个子过程称为一个流水段或流水级。一般来说,一个指令的执行过程可以分为以下五个流水段:取指(IF):从存储器中读取指令,并将指令送入指令寄存器IR;同时更新程序计数器PC,指向下一条指令的地址。译码(ID):对IR中的指令进行译码,确定操作码、操作数和功能;同时从寄存器文件中读取源操作数,并放入临时寄存器A和B中;如果有立即数,还要进行符号扩展,并放入临时寄存器Imm中。原创 2023-05-05 15:33:40 · 2149 阅读 · 2 评论 -
操作系统论文导读(十):Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC
每个任务 τi 由其周期(或最小到达间隔)、相对期限、最坏情况执行时间和关键级别定义:(Ti, Di, Ci, Li) . 限制: Di ≤ TiCi 是一个值向量 , 每个关键级别一个,约束 L1 > L2 ⇒ Ci(L1) ≥ Ci(L2) 对于任意两个临界级别 L1 和 L2。在本文中,关键级别为 LO 和 HI(其中 LO < HI)。原创 2023-05-05 14:03:46 · 181 阅读 · 0 评论 -
操作系统论文导读(九):An algorithm for scheduling certifiable mixed-criticality sporadic task systems——一种调度可证明
每个作业都由一个 5 元组参数表征:Ji = (ai, di, χi, ci(LO), ci(HI)),其中• ai ∈ R+ 是发布时间。• di ∈ R+ 是截止日期。我们假设 di ≥ ai。• χi ∈ {LO, HI} 表示工作的关键性。HI 临界作业(χi = HI 的 Ji)是需要认证的作业,而 LO 临界作业(χi = LO 的 Ji)则不需要认证。原创 2023-05-03 21:32:58 · 412 阅读 · 3 评论 -
操作系统论文导读(八):Schedulability analysis of sporadic tasks with multiple criticality specifications——具有多个
从A到E,关键级别依次降低,A失败的结果是灾难性的,B是非常危险,以此类推。尽管 RTCA DO-178B 标准仅指定了五个关键级别 A-E,但没有特别理由要求系统最多具有五个级别。因此,文章在这里考虑一个系统模型,其中有任意多个不同的关键级别,用正整数表示,整数越大表示关键程度越高。(因此,RTCA DO-178B 关键级别 A 将映射到 5,级别 E 映射到 1。多关键性零星任务模型:假设每个任务都有一对应用于不同关键水平的WCET估计量,系统可以根据实际执行行为在运行时切换不同的关键模式。原创 2023-04-25 22:22:18 · 212 阅读 · 0 评论 -
操作系统论文导读(七):Response-Time Analysis for Mixed Criticality Systems——混合关键系统的响应时间分析
系统被定义为一组有限的组件 K。每个组件都有一个关键级别(由负责整个系统的系统工程师定义)L,并且包含一组有限的零星任务。每个任务 τi 由其周期(最小到达间隔)、截止日期、计算时间和关键级别定义:(Ti、Di、Ci、Li)。然而,这些参数不是独立的,特别是最坏情况下的计算时间 Ci 将由关键级别决定的过程导出。临界级别越高,验证过程越保守,因此 Ci 的值越大。在运行时,任务将具有固定的 T、D 和 L 值。然而,它的实际计算时间是未知的;它不是 L 的直接函数。原创 2023-04-22 20:02:45 · 937 阅读 · 1 评论 -
操作系统论文导读(六):Preemptive Scheduling of Multi-Criticality Systems with Varying Degrees of Execution……
Preemptive Scheduling of Multi-Criticality Systems with Varying Degrees of Execution Time Assurance 具有不同执行时间保证程度的多临界系统抢占式调度。原创 2023-04-21 21:24:55 · 157 阅读 · 0 评论 -
操作系统基础知识介绍之PFP调度协议(包含时间分区PFP)
DMPA适用于周期性或偶发性的任务,且满足以下条件:所有任务的截止时间小于等于其最小到达间隔(或周期),所有任务的最坏情况执行时间小于等于其截止时间,所有任务是独立的,不会相互阻塞(例如访问互斥的共享资源),没有任务主动挂起自己,存在一个临界时刻,所有任务同时准备执行,调度开销(从一个任务切换到另一个任务)为零,所有任务的释放抖动(从任务到达到准备执行的时间)为零。如果有一个新的任务到达,且其优先级高于当前执行的任务,则发生抢占,即暂停当前任务,执行新的任务。原创 2023-04-19 18:53:53 · 554 阅读 · 0 评论 -
操作系统论文导读(五):On priority assignment in fixed priority scheduling —— Audsley算法
Audsley算法是一种用于确定固定优先级调度的实时系统中任务优先级分配的算法。它的基本思想是,从最低优先级开始,依次检查每个任务是否可以被分配到当前优先级而不影响系统的可调度性。如果可以,就将该任务分配到当前优先级,并从任务集中移除。Audsley算法的一个缺点是,它不能保证找到最优的优先级分配,即使存在这样的分配使得系统可调度。-如果一个任务集在某个优先级分配下是可调度的,那么在任何将某些任务优先级提高的优先级分配下也是可调度的。-可调度性只取决于任务的相对优先级,而不取决于具体的优先级值;原创 2023-04-19 12:50:49 · 181 阅读 · 0 评论 -
操作系统基础知识介绍之中断(包含软硬中断)
指当出现需要时,CPU暂时停止当前程序的执行转而执行处理新情况的程序和执行过程。即在程序运行过程中,系统出现了一个必须由CPU立即处理的情况,此时,CPU暂时中止程序的执行转而处理这个新的情况的过程就叫做中断。中断过程:1.中断当前程序并保护断点 2.转入中断服务入口 3.保护现场 4.执行中断服务程序 5.恢复现场 6.中断返回。原创 2023-04-10 17:08:05 · 1924 阅读 · 0 评论 -
操作系统论文导读(四):Minimizing Memory Utilization of Real-Time Task Sets in Single and…
解释:任务在处理器上执行时被抢占的条件只有抢占任务的抢占优先级高于该任务的抢占阈值(抢占优先级是SRP论文中提出的,抢占阈值为本文提出,用于减少任务的抢占),倘若不满足该条件,哪怕抢占优先级与任务优先级均高于正在运行任务也不允许任务抢占。(增加了任务抢占的苛刻条件)解释:任务集可以划分为非抢占组。给出了非抢占组的定义,即倘若对于组内的任意两个任务,任务相互都是无法抢占的。显然,组数越少,对堆栈大小的要求就越低。如何优化这个分组问题,也是文章后续需要解决的问题。原创 2023-04-09 22:13:52 · 520 阅读 · 2 评论 -
操作系统论文导读(三):Stack-based scheduling of realtime processes基于堆栈的实时进程调度
其中ρ为优先级,r为任务到达时间,π为抢占优先级对定义1稍作修改将任务优先级替换成任务相对截止时限可得在三者在使用EDF调度的系统中的函数关系。重要定义:SRP协议中调度决断的判定依赖于任务属性πi当系统为所有任务设置π后可以得出系统中资源优先级天花板πR设πR)为当前系统中所有请求资源R的作业中抢占优先级最高的作业的抢占优先级数值,r为请求资源R的任务子集。在任意时刻t,系统优先级天花板πt设置为t。原创 2023-04-09 22:05:26 · 448 阅读 · 0 评论 -
操作系统基础知识介绍之Mixed CriticalitySystems——混合关键系统
在嵌入式场景中,虽然Linux已经得到了广泛应用,但并不能覆盖所有需求,例如高实时、高可靠、高安全的场合。这些场合往往是实时操作系统 的用武之地。有些应用场景既需要Linux的管理能力、丰富的生态又需要实时操作系统的高实时、高可靠、高安全,那么一种典型的设计是采用一颗性能较 强的处理器运行Linux负责富功能,一颗微控制器/DSP/实时处理器运行实时操作系统负责实时控制或者信号处理,两者之间通过I/O、网络或片外 总线的形式通信。原创 2023-03-07 15:14:53 · 1269 阅读 · 0 评论 -
操作系统论文导读(二):A Schedulability Compatible MultiprocessorResource Sharing Protocol - MrsP — PCP协议多核拓展
多处理器资源共享协议没有得到很好的开发,也没有商定的最佳实践。文章提出了一种新的基于单处理器优先级天花板协议的多处理器协议变体。新协议的独特性质是,等待访问资源的任务必须代表正在等待相同资源(但已被抢占)的其他任务来服务该资源。协议形式的动机是希望将协议与有效的可调度性分析联系起来。该协议是通用的,但本文是针对具有零星任务模型的分区固定优先级系统开发的。描述了支持协议的两种方法。原创 2023-03-05 21:18:38 · 262 阅读 · 2 评论 -
操作系统论文导读(一):Priority Inheritance Protocols: An Approach to Real-Time Synchronization —优先级继承与优先级天花板协议
直接应用常用的同步原语(如信号量、监视器或Ada)可能会导致不受控制的优先级反转,即优先级较高的作业被优先级较低的作业阻塞一段不确定的时间。在本文中,作者研究并给出了两个属于优先级继承协议类的协议,称为基本优先级继承协议和优先级天花板协议。这两种协议都在一定程度上解决了这个不受控制的优先级反转问题。值得一提的是,优先级天花板协议将最坏情况下的任务阻塞时间减少到最低优先级任务的单个关键部分的执行持续时间。此外,该协议防止死锁的形成。原创 2023-03-04 16:36:31 · 1006 阅读 · 1 评论