6 Fairness Analysis of the EEVDF Algorithm In this section we determine bounds for the service time lag. First we show that during any time interval in which there is at least one active client, t...

注释 avg_vruntime_add 公平调度器能够保持 lag 不变(conserve lag): [\sum{lag_i} = 0] NOTE 论文中的 Corollary 1 在eevdf中, $lag_i$ 表示，理想的service time ($S$) 和实际的 service time ($s_i$) 差值: [lag_i = S - s_i = w_i...

4. Fairness in Dynamic Systems 本节讨论了 dynamic system 的公平性问题。主要包括三种动作: client jion client leave client change weight 在理想环境下, 这都不是问题，因为 $lag_i = 0$(都是0)。但是在离散的时间片分配中, 任务总会带着$lag$离开加入竞争, 我们先...

前言 本文参考eevdf论文, 介绍eevdf 算法涉及到的概念，基本原理，以及公式推导, 关于eevdf不难理解的章节, 本文 将以概括的方式涵盖, 较难理解的章节，本文 将以中英翻译的方式将论文内容展现出来。 关于论文中的公式，本文尽量将其详细的展开推导。并添加一些直观上的理解。 1. introduce 论文中的第一章节主要讲解了调度器的职责以及面临的挑战: 职责: ...

weight 计算公式 Linux weight 和 nice 有一个对应关系, 具体的公式为: x为nice y为weight [\begin{align} NICE_0_weigth = 1024 , x \in [-20,19] f(x) = NICE_0_weight * \frac{1}{1.25^x} \end{align}] 在kernel 代码中静态保存这个关系的...

Chapter 2 Resource Management Framework This chapter presents a general, flexible framework for specifying resource management policies in concurrent systems. Resource rights are encapsulated by a...

overflow RMM 是一个系统软件（固件）器和 RME (hardware extension) 一起构成实现了 ARM Confidential Compute Architecture(CCA) 用来提供受保护的可执行环境 Realms. Confidential Computing Armv8-A 通过建立了如下图的权限层次结构: 该层次结构的逻辑是，让高权限等级去管...

调度子系统的任务: 调度程序负责决定运行哪个程序，该程序运行多长时间。 调度系统的责任很明确, 需要在不富裕的CPU上，合理的运行所有程序。目前的cpu架构决定, 在一个core上, 同一时间只能有一个task运行, 所以调度子系统会决定当前cpu运行某个进 程，并且让其他进程等待, 在合适的时机，将cpu上的进程调出，运行下一个合适的进程， 依次循环。 所以调度系统是建立在多任务...

前言 学习Linux内核究竟是为了什么 ? 从事内核开发者的人员相对较少, 方便找一份稳定的工作 ? 兴趣使然，对操作系统感兴趣，想走读些内核源码 ? 用户态性能分析自顶向下的需要 ? 对于我个人来说，更倾向于1,2两点, 自己也从事Linux 内核,虚拟化一些年头了，但是 对知识的掌握毫无体系可言，自己也在纠结如何学习 Linux内核。之前的学习方法往往是从 BUG ...

1. Overview This guide describes: The role of confidential computing in modern compute platforms The principles of confidential computing. How the Arm Confidential Compute Architecture (Ar...