验证Linux“__schedule“调用条件,关中断和关调度是必须的嘛?

2024-04-26 04:08

本文主要是介绍验证Linux“__schedule“调用条件,关中断和关调度是必须的嘛?,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

"__schedule"函数是linux操作系统中的核心函数,就是它实现了操作系统最基本的多任务切换功能,使系统可以称之为操作系统,"__schedule"函数功不可没!

看下图,所有的引起任务切换的调用路径最终都会调用到__schedule函数,可见它在系统实现中的核心作用。

上图已经搜罗了系统里面所有所有会调用到__schedule函数的接口的父函数,只有六个地方,看起来扇入不是太多,不太像一个核心接口,实际上,从函数的双下划线标志就能大概猜到,它是一个内部接口,只供核心内部调用,所以当然它的扇入不会太大,但是他的父函数就不一样了,例如schedule接口在内核中被广泛调用,遍布整个内核,所以实际上__schedule的扇入是通过夫函数体现出来的,本身作为一个内部公共实现只供有限的几个点调用。

通过上图可以看到,在调用__schedule之前,每个父函数都会直接或者间接的调用"preeempt_diable"来设置抢占标志,禁止当前CPU上的抢占发生(schedule_idle是个例外,并非是因为他不会调用preempt_disable, 而是因为 linux的ilde任务在出生时就已经关闭了调度,具体可以看另一篇文章).

从另一个地方也可以看出来,__schedule函数在入口会直接调用schedule_debug函数

而schedule_debug会检查抢占是否已关,没关的话就会调用__schedule_bug给出内核警告,看起来还是一个比较严重的事件的!

所以可以基本确定:

规则1:环境在调用__schedule前, 必须主动关闭抢占

现在看另一条规则,先看一下__schedule的执行细节:

可以看到,__schedule函数内部,在入口处必定会调用 local_irq_disable执行关闭CPU本地中断的操作,而退出的时候,两条路径都会执行 local_irq_enable的操作,并且不是通常的"riqsave"以及"irqrestore"的禁止/恢复形式,而是关闭/打开这种方式,这和一般的驱动或者中间层的调用方式不大一样,或许这就是最核心接口的特权:).

一般来讲,一个函数应该要保证,它的入口处的状态和出口处的状态,必须要一致的。按照这样的原则,考虑到__schedule退出的时候会无条件打开中断,为了满足对称的要求,我们只能猜测,就像关闭抢占一样,环境在调用__schedule之前,必须要打开中断响应能力,以便__schedule函数返回后,状态能够一致!

事实是这样吗?

很遗憾,搭建qemu环境实测了一下,大部分场景下都是符合要求的,但是在一个点上,出现了不满足。

在schedule_debug中增加检测中断使能的逻辑

 zui

最终发现,在do_work_pending函数中,出现了在中断关闭的情况下调用schedule的情况

do_work_pending里面,一处比较没有意义的区分,如果在调用schedule之前,调用local_irq_enable也无大碍,而且最后无条件执行local_irq_disable也符合schedule之后,中断响应打开,建立临界区的语义。

也就是在这里 __schedule函数入口处和出口处的中断状态不在对称.

在这一点上,MIPS port的执行逻辑和arm 是类似的,124行,执行 jal schedule的时候,中断也是关闭的退出时就打开了,所以126行迅速执行关闭,再次检测调度条件,这一点和上面的 do_work_pending如出一辙。

如果抛去对称性的讨论,单纯看流程倒是可以理解为,保证thread_flags的获取和判断是原子的,而从内部__schedule 出来再到 678行关闭中断,这段时间中断是打开的,可以发生抢占,只是牺牲了对称性,可能linux开发者觉得,这没什么问题!看下图!

irq_disable();

.............

do {

      ....................

        schedule();----->__schedule { ............. irq_enable()};

        .................   //interrupt preempt happend!

        irq_disabe();

       ...................

}

还是i不用纠结了,软件就是折衷,凑合的过程,不要过度追求完美,甚至linux也是一样。

这篇关于验证Linux“__schedule“调用条件,关中断和关调度是必须的嘛?的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

MySQL 主从复制部署及验证(示例详解)

《MySQL主从复制部署及验证(示例详解)》本文介绍MySQL主从复制部署步骤及学校管理数据库创建脚本,包含表结构设计、示例数据插入和查询语句,用于验证主从同步功能,感兴趣的朋友一起看看吧... 目录mysql 主从复制部署指南部署步骤1.环境准备2. 主服务器配置3. 创建复制用户4. 获取主服务器状态5

Linux进程CPU绑定优化与实践过程

《Linux进程CPU绑定优化与实践过程》Linux支持进程绑定至特定CPU核心,通过sched_setaffinity系统调用和taskset工具实现,优化缓存效率与上下文切换,提升多核计算性能,适... 目录1. 多核处理器及并行计算概念1.1 多核处理器架构概述1.2 并行计算的含义及重要性1.3 并

Linux线程之线程的创建、属性、回收、退出、取消方式

《Linux线程之线程的创建、属性、回收、退出、取消方式》文章总结了线程管理核心知识:线程号唯一、创建方式、属性设置(如分离状态与栈大小)、回收机制(join/detach)、退出方法(返回/pthr... 目录1. 线程号2. 线程的创建3. 线程属性4. 线程的回收5. 线程的退出6. 线程的取消7.

Linux下进程的CPU配置与线程绑定过程

《Linux下进程的CPU配置与线程绑定过程》本文介绍Linux系统中基于进程和线程的CPU配置方法,通过taskset命令和pthread库调整亲和力,将进程/线程绑定到特定CPU核心以优化资源分配... 目录1 基于进程的CPU配置1.1 对CPU亲和力的配置1.2 绑定进程到指定CPU核上运行2 基于

golang程序打包成脚本部署到Linux系统方式

《golang程序打包成脚本部署到Linux系统方式》Golang程序通过本地编译(设置GOOS为linux生成无后缀二进制文件),上传至Linux服务器后赋权执行,使用nohup命令实现后台运行,完... 目录本地编译golang程序上传Golang二进制文件到linux服务器总结本地编译Golang程序

Linux下删除乱码文件和目录的实现方式

《Linux下删除乱码文件和目录的实现方式》:本文主要介绍Linux下删除乱码文件和目录的实现方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录linux下删除乱码文件和目录方法1方法2总结Linux下删除乱码文件和目录方法1使用ls -i命令找到文件或目录

Linux在线解压jar包的实现方式

《Linux在线解压jar包的实现方式》:本文主要介绍Linux在线解压jar包的实现方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录linux在线解压jar包解压 jar包的步骤总结Linux在线解压jar包在 Centos 中解压 jar 包可以使用 u

linux解压缩 xxx.jar文件进行内部操作过程

《linux解压缩xxx.jar文件进行内部操作过程》:本文主要介绍linux解压缩xxx.jar文件进行内部操作,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、解压文件二、压缩文件总结一、解压文件1、把 xxx.jar 文件放在服务器上,并进入当前目录#

Linux系统性能检测命令详解

《Linux系统性能检测命令详解》本文介绍了Linux系统常用的监控命令(如top、vmstat、iostat、htop等)及其参数功能,涵盖进程状态、内存使用、磁盘I/O、系统负载等多维度资源监控,... 目录toppsuptimevmstatIOStatiotopslabtophtopdstatnmon

Java通过驱动包(jar包)连接MySQL数据库的步骤总结及验证方式

《Java通过驱动包(jar包)连接MySQL数据库的步骤总结及验证方式》本文详细介绍如何使用Java通过JDBC连接MySQL数据库,包括下载驱动、配置Eclipse环境、检测数据库连接等关键步骤,... 目录一、下载驱动包二、放jar包三、检测数据库连接JavaJava 如何使用 JDBC 连接 mys