操作系统原理:实验验证 Linux 内核的 CFS 算法

2024-01-22 05:08

本文主要是介绍操作系统原理:实验验证 Linux 内核的 CFS 算法,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

CFS——一个“公平”的“骗局”

全称为 Completely fair scheduler(完全公平调度算法)。顾名思义,这个算法就是为了实现进程之间调度的“完全公平”。但是这个“公平”仅仅只是Linux对进程的一个虚假的“骗局”,是虚拟运行时间(vruntime)的相同,然而真实运行时间(runtime)是根据优先级权重而分配的。

优先级 n 的权重计算公式如下:
w e i g h t n = 1024 × 1.2 5 − n weight_{n}=1024 \times 1.25^{-n} weightn=1024×1.25n

优先级从 -20 到 20 的权重见下表:
优先级权重
进程真实运行时间(runtime)和虚拟运行时间(vruntime)的计算公式:
r u n t i m e + = T × ( w e i g h t ∑ w e i g h t ) runtime+=T \times (\frac{weight}{\sum weight} ) runtime+=T×(weightweight)
v r u n t i m e + = T × ( w e i g h t 0 ∑ w e i g h t ) vruntime+=T \times (\frac{weight_{0}}{\sum weight} ) vruntime+=T×(weightweight0)
对于上面的两个公式,其中weight即为表中的-20~20的优先级对应的40个权重。至于runtimevruntime的比值,由上面的两个公式可以得出应该与优先级所对应权重比值相等。那么在下面的实验中,我们就来验证一下这个结论。


设置进程优先级

首先使用CPU_ZERO(&curr_set)语句将CPU中所有的核设定清空,之后使用CPU_SET(0, &curr_set)语句将进程绑定到0号核。函数sched_getaffinity(pid_t pid, unsigned int cpusetsize, cpu_set_t *mask)会获得pid所指向的进程的CPU位掩码,并将该掩码返回到第三个参数mask所指向的结构中,即获得指定pid当前可以运行在哪些CPU上。如果pid的值为0,那么表示的是当前进程。

之后使用fork()语句创建子进程,因为子进程会继承父进程的处理器亲和性的绑定,所以在子进程中不需要再绑定处理器。此时子进程和父进程都绑定到了0号核上,去竞争CPU使用权。

在子进程和父进程中分别打印各自的进程编号,在子进程中打印从父进程中继承来的Nice值(进程优先级),之后使用setpriority(PRIO_PROCESS, getpid(), 10);语句将子进程的Nice值设置成10,并使用getpriority(PRIO_PROCESS, getpid())获取当前进程的优先级。最后让两个进程进入死循环,等待CPU运行时间的获取。

#include <stdio.h>
#ifndef __USE_GNU
#define __USE_GNU
#endif // !__USE_GNU
#include <unistd.h>
#include <sched.h>
#include <sys/resource.h>int main(int argc, char* argv[]) {cpu_set_t curr_set; CPU_ZERO(&curr_set);	//清空CPU设置CPU_SET(0, &curr_set);	//设置0号CPUsched_setaffinity(0, sizeof(curr_set), &curr_set);pid_t pid = fork();		//创建子进程if (pid == 0) {printf("The child pid: %d\n", getpid());	//显示子进程pid//sleep(3);//显示当前的进程优先级printf("\nParent and child's old priority: %d\n", getpriority(PRIO_PROCESS, getpid()));//将子进程的优先级改成10,并打印setpriority(PRIO_PROCESS, getpid(), 10);printf("Child's new priority: %d\n", getpriority(PRIO_PROCESS, getpid()));while (1);}else{printf("The parent pid: %d\n", getpid());	//显示父进程pidwhile (1);}
}

获取进程运行时间

首先使用命令行向Linux内核传参的方式获取两个进程号参数pid1pid2,使用module_param(pid1, int, S_IRUGO);语句将其注册为int类型的“只读”参数。

遍历进程列表,找到两个进程,并打印他们的真实运行时间(runtime)和虚拟运行时间(vruntime)。

#include <linux/init.h>
#include <linux/module.h>
#include <linux/kernel.h>
#include <linux/sched.h>
#include <linux/sched/signal.h>int pid1;
int pid2;
module_param(pid1, int, S_IRUGO);
module_param(pid2, int, S_IRUGO);int module_load(void){struct task_struct* p;for_each_process(p) {if (p->pid == pid1 || p->pid == pid2)//打印进程的pid,运行时间,虚拟运行时间printk("%d  runtime:%llu \t vruntime:%lld\n", p->pid, p->se.sum_exec_runtime, p->se.vruntime);}return 0;
}
void module_rm(void){printk(KERN_INFO "========= Module removed! =========\n ");
}
module_init(module_load);
module_exit(module_rm);
MODULE_LICENSE("GPL");
MODULE_DESCRIPTION("The runtime of progress.");
MODULE_AUTHOR("Song XJ");

运行结果

第一次的设置进程优先级
第一次获取进程运行时间

  • 进程运行时间比值:
    24573505223 ÷ 2321102474 = 10.587 24573505223 ÷ 2321102474=10.587 24573505223÷2321102474=10.587
  • 进程优先级权重比值:
    1024 ÷ 110 = 9.309 1024÷110=9.309 1024÷110=9.309

从上面的运行结果来看,这似乎误差有一点大啊。。。。【尴尬 ̄□ ̄||】
这逼装大了

我又检查了一下代码,整体上应该没有错误,但是运行了好几次都有比较大的误差,后来我想到在子进程中我加了一个sleep(3),本意是为了让子进程在等父进程打印完pid再进行之后的操作,但是恰恰是这三秒造成了实验结果的错误。

sleep(3)注释后重新进行实验,实验结果见下图,经过计算得出进程运行时间比为9.307,与优先级比值相似,在误差允许范围内。
27435976591 ÷ 2948160561 = 9.307 27435976591÷2948160561=9.307 27435976591÷2948160561=9.307

第二次进程优先级设置
第二次获取进程运行时间
同时又对第一次的实验结果进行修正分析,子进程减去sleep的3秒后进行比值计算,得出的结果也与优先级比值相似,证明确实是sleep造成的结果误差。
( 24573505223 - 3 × 1 0 9 ) ÷ 2321102474 = 9.295 (24573505223-3×10^9) ÷ 2321102474=9.295 (245735052233×109)÷2321102474=9.295

另外,从第二次的结果中vruntime的值和优先级为0时的值可以看出两个值在数量级上是相同的,比值约等于1,这也验证了 CFS 中虚拟运行时间的求法,即公式中的 w e i g h t 0 weight_0 weight0为优先级为0时的权重为1024。

这篇关于操作系统原理:实验验证 Linux 内核的 CFS 算法的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/631915

相关文章

Linux命令之firewalld的用法

《Linux命令之firewalld的用法》:本文主要介绍Linux命令之firewalld的用法,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录linux命令之firewalld1、程序包2、启动firewalld3、配置文件4、firewalld规则定义的九大

Linux之计划任务和调度命令at/cron详解

《Linux之计划任务和调度命令at/cron详解》:本文主要介绍Linux之计划任务和调度命令at/cron的使用,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录linux计划任务和调度命令at/cron一、计划任务二、命令{at}介绍三、命令语法及功能 :at

Linux下如何使用C++获取硬件信息

《Linux下如何使用C++获取硬件信息》这篇文章主要为大家详细介绍了如何使用C++实现获取CPU,主板,磁盘,BIOS信息等硬件信息,文中的示例代码讲解详细,感兴趣的小伙伴可以了解下... 目录方法获取CPU信息:读取"/proc/cpuinfo"文件获取磁盘信息:读取"/proc/diskstats"文

Linux内核参数配置与验证详细指南

《Linux内核参数配置与验证详细指南》在Linux系统运维和性能优化中,内核参数(sysctl)的配置至关重要,本文主要来聊聊如何配置与验证这些Linux内核参数,希望对大家有一定的帮助... 目录1. 引言2. 内核参数的作用3. 如何设置内核参数3.1 临时设置(重启失效)3.2 永久设置(重启仍生效

Spring Boot循环依赖原理、解决方案与最佳实践(全解析)

《SpringBoot循环依赖原理、解决方案与最佳实践(全解析)》循环依赖指两个或多个Bean相互直接或间接引用,形成闭环依赖关系,:本文主要介绍SpringBoot循环依赖原理、解决方案与最... 目录一、循环依赖的本质与危害1.1 什么是循环依赖?1.2 核心危害二、Spring的三级缓存机制2.1 三

C#中async await异步关键字用法和异步的底层原理全解析

《C#中asyncawait异步关键字用法和异步的底层原理全解析》:本文主要介绍C#中asyncawait异步关键字用法和异步的底层原理全解析,本文给大家介绍的非常详细,对大家的学习或工作具有一... 目录C#异步编程一、异步编程基础二、异步方法的工作原理三、代码示例四、编译后的底层实现五、总结C#异步编程

kali linux 无法登录root的问题及解决方法

《kalilinux无法登录root的问题及解决方法》:本文主要介绍kalilinux无法登录root的问题及解决方法,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,... 目录kali linux 无法登录root1、问题描述1.1、本地登录root1.2、ssh远程登录root2、

openCV中KNN算法的实现

《openCV中KNN算法的实现》KNN算法是一种简单且常用的分类算法,本文主要介绍了openCV中KNN算法的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的... 目录KNN算法流程使用OpenCV实现KNNOpenCV 是一个开源的跨平台计算机视觉库,它提供了各

Linux ls命令操作详解

《Linuxls命令操作详解》通过ls命令,我们可以查看指定目录下的文件和子目录,并结合不同的选项获取详细的文件信息,如权限、大小、修改时间等,:本文主要介绍Linuxls命令详解,需要的朋友可... 目录1. 命令简介2. 命令的基本语法和用法2.1 语法格式2.2 使用示例2.2.1 列出当前目录下的文

Go 语言中的select语句详解及工作原理

《Go语言中的select语句详解及工作原理》在Go语言中,select语句是用于处理多个通道(channel)操作的一种控制结构,它类似于switch语句,本文给大家介绍Go语言中的select语... 目录Go 语言中的 select 是做什么的基本功能语法工作原理示例示例 1:监听多个通道示例 2:带