操作系统原理:实验验证 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脚本(shell)的使用方式

《Linux脚本(shell)的使用方式》:本文主要介绍Linux脚本(shell)的使用方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录概述语法详解数学运算表达式Shell变量变量分类环境变量Shell内部变量自定义变量:定义、赋值自定义变量:引用、修改、删

Python中使用uv创建环境及原理举例详解

《Python中使用uv创建环境及原理举例详解》uv是Astral团队开发的高性能Python工具,整合包管理、虚拟环境、Python版本控制等功能,:本文主要介绍Python中使用uv创建环境及... 目录一、uv工具简介核心特点:二、安装uv1. 通过pip安装2. 通过脚本安装验证安装:配置镜像源(可

Linux链表操作方式

《Linux链表操作方式》:本文主要介绍Linux链表操作方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、链表基础概念与内核链表优势二、内核链表结构与宏解析三、内核链表的优点四、用户态链表示例五、双向循环链表在内核中的实现优势六、典型应用场景七、调试技巧与

详解Linux中常见环境变量的特点与设置

《详解Linux中常见环境变量的特点与设置》环境变量是操作系统和用户设置的一些动态键值对,为运行的程序提供配置信息,理解环境变量对于系统管理、软件开发都很重要,下面小编就为大家详细介绍一下吧... 目录前言一、环境变量的概念二、常见的环境变量三、环境变量特点及其相关指令3.1 环境变量的全局性3.2、环境变

Linux系统中的firewall-offline-cmd详解(收藏版)

《Linux系统中的firewall-offline-cmd详解(收藏版)》firewall-offline-cmd是firewalld的一个命令行工具,专门设计用于在没有运行firewalld服务的... 目录主要用途基本语法选项1. 状态管理2. 区域管理3. 服务管理4. 端口管理5. ICMP 阻断

Linux实现线程同步的多种方式汇总

《Linux实现线程同步的多种方式汇总》本文详细介绍了Linux下线程同步的多种方法,包括互斥锁、自旋锁、信号量以及它们的使用示例,通过这些同步机制,可以解决线程安全问题,防止资源竞争导致的错误,示例... 目录什么是线程同步?一、互斥锁(单人洗手间规则)适用场景:特点:二、条件变量(咖啡厅取餐系统)工作流

Linux中修改Apache HTTP Server(httpd)默认端口的完整指南

《Linux中修改ApacheHTTPServer(httpd)默认端口的完整指南》ApacheHTTPServer(简称httpd)是Linux系统中最常用的Web服务器之一,本文将详细介绍如何... 目录一、修改 httpd 默认端口的步骤1. 查找 httpd 配置文件路径2. 编辑配置文件3. 保存

Linux使用scp进行远程目录文件复制的详细步骤和示例

《Linux使用scp进行远程目录文件复制的详细步骤和示例》在Linux系统中,scp(安全复制协议)是一个使用SSH(安全外壳协议)进行文件和目录安全传输的命令,它允许在远程主机之间复制文件和目录,... 目录1. 什么是scp?2. 语法3. 示例示例 1: 复制本地目录到远程主机示例 2: 复制远程主

Mysql的主从同步/复制的原理分析

《Mysql的主从同步/复制的原理分析》:本文主要介绍Mysql的主从同步/复制的原理分析,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录为什么要主从同步?mysql主从同步架构有哪些?Mysql主从复制的原理/整体流程级联复制架构为什么好?Mysql主从复制注意

Nacos注册中心和配置中心的底层原理全面解读

《Nacos注册中心和配置中心的底层原理全面解读》:本文主要介绍Nacos注册中心和配置中心的底层原理的全面解读,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录临时实例和永久实例为什么 Nacos 要将服务实例分为临时实例和永久实例?1.x 版本和2.x版本的区别