操作系统原理:实验验证 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线程同步/互斥过程详解

《Linux线程同步/互斥过程详解》文章讲解多线程并发访问导致竞态条件,需通过互斥锁、原子操作和条件变量实现线程安全与同步,分析死锁条件及避免方法,并介绍RAII封装技术提升资源管理效率... 目录01. 资源共享问题1.1 多线程并发访问1.2 临界区与临界资源1.3 锁的引入02. 多线程案例2.1 为

Oracle数据库定时备份脚本方式(Linux)

《Oracle数据库定时备份脚本方式(Linux)》文章介绍Oracle数据库自动备份方案,包含主机备份传输与备机解压导入流程,强调需提前全量删除原库数据避免报错,并需配置无密传输、定时任务及验证脚本... 目录说明主机脚本备机上自动导库脚本整个自动备份oracle数据库的过程(建议全程用root用户)总结

Linux如何查看文件权限的命令

《Linux如何查看文件权限的命令》Linux中使用ls-R命令递归查看指定目录及子目录下所有文件和文件夹的权限信息,以列表形式展示权限位、所有者、组等详细内容... 目录linux China编程查看文件权限命令输出结果示例这里是查看tomcat文件夹总结Linux 查看文件权限命令ls -l 文件或文件夹

idea的终端(Terminal)cmd的命令换成linux的命令详解

《idea的终端(Terminal)cmd的命令换成linux的命令详解》本文介绍IDEA配置Git的步骤:安装Git、修改终端设置并重启IDEA,强调顺序,作为个人经验分享,希望提供参考并支持脚本之... 目录一编程、设置前二、前置条件三、android设置四、设置后总结一、php设置前二、前置条件

Spring Security 单点登录与自动登录机制的实现原理

《SpringSecurity单点登录与自动登录机制的实现原理》本文探讨SpringSecurity实现单点登录(SSO)与自动登录机制,涵盖JWT跨系统认证、RememberMe持久化Token... 目录一、核心概念解析1.1 单点登录(SSO)1.2 自动登录(Remember Me)二、代码分析三、

Linux系统中查询JDK安装目录的几种常用方法

《Linux系统中查询JDK安装目录的几种常用方法》:本文主要介绍Linux系统中查询JDK安装目录的几种常用方法,方法分别是通过update-alternatives、Java命令、环境变量及目... 目录方法 1:通过update-alternatives查询(推荐)方法 2:检查所有已安装的 JDK方

Linux系统之lvcreate命令使用解读

《Linux系统之lvcreate命令使用解读》lvcreate是LVM中创建逻辑卷的核心命令,支持线性、条带化、RAID、镜像、快照、瘦池和缓存池等多种类型,实现灵活存储资源管理,需注意空间分配、R... 目录lvcreate命令详解一、命令概述二、语法格式三、核心功能四、选项详解五、使用示例1. 创建逻

Linux下在线安装启动VNC教程

《Linux下在线安装启动VNC教程》本文指导在CentOS7上在线安装VNC,包含安装、配置密码、启动/停止、清理重启步骤及注意事项,强调需安装VNC桌面以避免黑屏,并解决端口冲突和目录权限问题... 目录描述安装VNC安装 VNC 桌面可能遇到的问题总结描js述linux中的VNC就类似于Window

linux下shell脚本启动jar包实现过程

《linux下shell脚本启动jar包实现过程》确保APP_NAME和LOG_FILE位于目录内,首次启动前需手动创建log文件夹,否则报错,此为个人经验,供参考,欢迎支持脚本之家... 目录linux下shell脚本启动jar包样例1样例2总结linux下shell脚本启动jar包样例1#!/bin

在MySQL中实现冷热数据分离的方法及使用场景底层原理解析

《在MySQL中实现冷热数据分离的方法及使用场景底层原理解析》MySQL冷热数据分离通过分表/分区策略、数据归档和索引优化,将频繁访问的热数据与冷数据分开存储,提升查询效率并降低存储成本,适用于高并发... 目录实现冷热数据分离1. 分表策略2. 使用分区表3. 数据归档与迁移在mysql中实现冷热数据分