linux学习13,三分钟弄懂高大上的操作系统是怎么协调程序运行的
toyiye 2024-09-16 06:12 7 浏览 0 评论
前面两节介绍了一下 linux 中进程的资源,本节再来学习下 linux 中 cfs 进程的调度。
linux 进程的时间记账
上一节说到为了尽量让每个进程都有相对公平的机会运行,linux 在设计进程调度时,提出了 cpu使用比的概念,那么 linux 是如何统计每个进程的 cpu 使用比的呢?这就需要对每个进程进行时间记账了。
事实上,不仅是 linux,几乎所有调度器都需要对进程的运行时间记账。多数类 unix 系统都会分配给进程一个时间片,每当系统的时钟节拍增加时,进程的时间片就相应的减少一个节拍周期,进程的时间片减小到 0 就会被别的进程抢占。
虽然上一节说到 linux 的 cfs 调度法不再使用时间片(使用cpu使用比),但是它也仍然需要记录每一个进程的运行时间,因为 cfs 需要知道每个进程的运行状态,才能做出相对公平的调度。cfs 用于记录时间的结构体如下:
struct sched_entity { struct load_weight load; /* for load-balancing */ struct rb_node run_node; struct list_head group_node; unsigned int on_rq; u64 exec_start; u64 sum_exec_runtime; u64 vruntime; u64 prev_sum_exec_runtime; u64 last_wakeup; u64 avg_overlap; ...
这是一个比较大的结构体,在之前的文章中提到 linux 中的进程资源都是记录在 struct task_struct 结构体内的,task_struct 结构体有个成员 se 就是 struct sched_entity 类型的:
知道了每个进程的运行时间,要计算它的 cpu 使用比,还需要所有进程的运行时间总和,linux 内核是使用 vruntime 记录这一数值的,它的单位是 ns。为了让总 vruntime 不与定时器相关,总 vruntime 实际上是所有进程运行时间经过加权处理的。
linux 的记账函数
现在知道了 linux 的时间账本记录在哪里了,那么谁负责记账呢?其实就是 update_curr() 函数了,它的代码如下,请看:
430 static void update_curr(struct cfs_rq *cfs_rq) - 431 { | 432 struct sched_entity *curr = cfs_rq->curr; | 433 u64 now = rq_of(cfs_rq)->clock; | 434 unsigned long delta_exec; | 435 | 436 if (unlikely(!curr)) | 437 return; | 438 |- 439 /* || 440 * Get the amount of time the current task was running || 441 * since the last time we changed load (this cannot || 442 * overflow on 32 bits): || 443 */ | 444 delta_exec = (unsigned long)(now - curr->exec_start); | 445 | 446 __update_curr(cfs_rq, curr, delta_exec); | 447 curr->exec_start = now; | 448 |- 449 if (entity_is_task(curr)) { || 450 struct task_struct *curtask = task_of(curr); || 451 || 452 cpuacct_charge(curtask, delta_exec); || 453 } | 454 }
可以看出,delta_exec 记录着进程的运行时间。它的计算方法也很简单:curr->exec_start 记录了进程的创建时间,delta_exec 就是当前时间减去创建时间的时间差。__update_curr() 函数则是负责统计 vruntime 的:
412 static inline void 413 __update_curr(struct cfs_rq *cfs_rq, struct sched_entity *curr, 414 unsigned long delta_exec) - 415 { | 416 unsigned long delta_exec_weighted; | 417 | 418 schedstat_set(curr->exec_max, max((u64)delta_exec, curr->exec_max)); | 419 | 420 curr->sum_exec_runtime += delta_exec; | 421 schedstat_add(cfs_rq, exec_clock, delta_exec); | 422 delta_exec_weighted = delta_exec; |- 423 if (unlikely(curr->load.weight != NICE_0_LOAD)) { || 424 delta_exec_weighted = calc_delta_fair(delta_exec_weighted, || 425 &curr->load); || 426 } | 427 curr->vruntime += delta_exec_weighted; | 428 }
进程调度,让每个进程都有相对公平的机会运行
现在 cfs 已经知道每个进程的执行状况了,那么挑选哪个进程投入运行呢?答案是显而易见的,cfs 为了给每个进程相对公平的机会运行,总是挑选具有最小 vruntime 的进程。
为了快速找到拥有 vruntime 的进程,linux 内核借用了红黑树的数据结构。最小的 vruntime 总是在树的最左侧叶子节点,请看如下代码:
295 static inline struct rb_node *first_fair(struct cfs_rq *cfs_rq) - 296 { | 297 return cfs_rq->rb_leftmost; | 298 } 299 300 static struct sched_entity *__pick_next_entity(struct cfs_rq *cfs_rq) - 301 { | 302 return rb_entry(first_fair(cfs_rq), struct sched_entity, run_node); | 303 }
看到这里,知道 linux 内核在往树中加入进程时,就应该将树处理好,这一过程由 enqueue_entity 函数完成:
622 static void 623 enqueue_entity(struct cfs_rq *cfs_rq, struct sched_entity *se, int wakeup) - 624 { |- 625 /* || 626 * Update run-time statistics of the 'current'. || 627 */ | 628 update_curr(cfs_rq); | 629 account_entity_enqueue(cfs_rq, se); | 630 |- 631 if (wakeup) { || 632 place_entity(cfs_rq, se, 0); || 633 enqueue_sleeper(cfs_rq, se); || 634 } | 635 | 636 update_stats_enqueue(cfs_rq, se); | 637 check_spread(cfs_rq, se); | 638 if (se != cfs_rq->curr) | 639 __enqueue_entity(cfs_rq, se); | 640 }
可以看出,enqueue_entity 函数更新了进程的运行时间,最终将数据插入树的实际上是__enqueue_entity() 函数:
227 static void __enqueue_entity(struct cfs_rq *cfs_rq, struct sched_entity *se) - 228 { | 229 struct rb_node **link = &cfs_rq->tasks_timeline.rb_node; | 230 struct rb_node *parent = NULL; | 231 struct sched_entity *entry; | 232 s64 key = entity_key(cfs_rq, se); | 233 int leftmost = 1; | 234 |- 235 /* || 236 * Find the right place in the rbtree: || 237 */ |- 238 while (*link) { || 239 parent = *link; || 240 entry = rb_entry(parent, struct sched_entity, run_node); ||- 241 /* ||| 242 * We dont care about collisions. Nodes with ||| 243 * the same key stay together. ||| 244 */ ||- 245 if (key < entity_key(cfs_rq, entry)) { ||| 246 link = &parent->rb_left; ||| 247 } else { ||| 248 link = &parent->rb_right; ||| 249 leftmost = 0; ||| 250 } || 251 } | 252 |- 253 /* || 254 * Maintain a cache of leftmost tree entries (it is frequently || 255 * used): || 256 */ |- 257 if (leftmost) { || 258 cfs_rq->rb_leftmost = &se->run_node; ||- 259 /* ||| 260 * maintain cfs_rq->min_vruntime to be a monotonic increasing ||| 261 * value tracking the leftmost vruntime in the tree. ||| 262 */ || 263 cfs_rq->min_vruntime = || 264 max_vruntime(cfs_rq->min_vruntime, se->vruntime); || 265 } | 266 | 267 rb_link_node(&se->run_node, parent, link); | 268 rb_insert_color(&se->run_node, &cfs_rq->tasks_timeline); | 269 }
可以看出,linux 内核一直将树的最左节点维护在缓存 cfs_rq->rb_leftmost 里,这样一来,cfs 在选择哪一个进程应该被投入运行时,能够非常快速的做出决定。
至此,linux 内核中经典的 cfs 进程调度设计,就比较熟悉了。
欢迎在评论区一起讨论,质疑。文章都是手打原创(本文参考linux内核原理和设计),每天最浅显的介绍C语言、linux等嵌入式开发,喜欢我的文章就关注一波吧,可以看到最新更新和之前的文章哦。
相关推荐
- 为何越来越多的编程语言使用JSON(为什么编程)
-
JSON是JavascriptObjectNotation的缩写,意思是Javascript对象表示法,是一种易于人类阅读和对编程友好的文本数据传递方法,是JavaScript语言规范定义的一个子...
- 何时在数据库中使用 JSON(数据库用json格式存储)
-
在本文中,您将了解何时应考虑将JSON数据类型添加到表中以及何时应避免使用它们。每天?分享?最新?软件?开发?,Devops,敏捷?,测试?以及?项目?管理?最新?,最热门?的?文章?,每天?花?...
- MySQL 从零开始:05 数据类型(mysql数据类型有哪些,并举例)
-
前面的讲解中已经接触到了表的创建,表的创建是对字段的声明,比如:上述语句声明了字段的名称、类型、所占空间、默认值和是否可以为空等信息。其中的int、varchar、char和decimal都...
- JSON对象花样进阶(json格式对象)
-
一、引言在现代Web开发中,JSON(JavaScriptObjectNotation)已经成为数据交换的标准格式。无论是从前端向后端发送数据,还是从后端接收数据,JSON都是不可或缺的一部分。...
- 深入理解 JSON 和 Form-data(json和formdata提交区别)
-
在讨论现代网络开发与API设计的语境下,理解客户端和服务器间如何有效且可靠地交换数据变得尤为关键。这里,特别值得关注的是两种主流数据格式:...
- JSON 语法(json 语法 priority)
-
JSON语法是JavaScript语法的子集。JSON语法规则JSON语法是JavaScript对象表示法语法的子集。数据在名称/值对中数据由逗号分隔花括号保存对象方括号保存数组JS...
- JSON语法详解(json的语法规则)
-
JSON语法规则JSON语法是JavaScript对象表示法语法的子集。数据在名称/值对中数据由逗号分隔大括号保存对象中括号保存数组注意:json的key是字符串,且必须是双引号,不能是单引号...
- MySQL JSON数据类型操作(mysql的json)
-
概述mysql自5.7.8版本开始,就支持了json结构的数据存储和查询,这表明了mysql也在不断的学习和增加nosql数据库的有点。但mysql毕竟是关系型数据库,在处理json这种非结构化的数据...
- JSON的数据模式(json数据格式示例)
-
像XML模式一样,JSON数据格式也有Schema,这是一个基于JSON格式的规范。JSON模式也以JSON格式编写。它用于验证JSON数据。JSON模式示例以下代码显示了基本的JSON模式。{"...
- 前端学习——JSON格式详解(后端json格式)
-
JSON(JavaScriptObjectNotation)是一种轻量级的数据交换格式。易于人阅读和编写。同时也易于机器解析和生成。它基于JavaScriptProgrammingLa...
- 什么是 JSON:详解 JSON 及其优势(什么叫json)
-
现在程序员还有谁不知道JSON吗?无论对于前端还是后端,JSON都是一种常见的数据格式。那么JSON到底是什么呢?JSON的定义...
- PostgreSQL JSON 类型:处理结构化数据
-
PostgreSQL提供JSON类型,以存储结构化数据。JSON是一种开放的数据格式,可用于存储各种类型的值。什么是JSON类型?JSON类型表示JSON(JavaScriptO...
- JavaScript:JSON、三种包装类(javascript 包)
-
JOSN:我们希望可以将一个对象在不同的语言中进行传递,以达到通信的目的,最佳方式就是将一个对象转换为字符串的形式JSON(JavaScriptObjectNotation)-JS的对象表示法...
- Python数据分析 只要1分钟 教你玩转JSON 全程干货
-
Json简介:Json,全名JavaScriptObjectNotation,JSON(JavaScriptObjectNotation(记号、标记))是一种轻量级的数据交换格式。它基于J...
- 比较一下JSON与XML两种数据格式?(json和xml哪个好)
-
JSON(JavaScriptObjectNotation)和XML(eXtensibleMarkupLanguage)是在日常开发中比较常用的两种数据格式,它们主要的作用就是用来进行数据的传...
你 发表评论:
欢迎- 一周热门
- 最近发表
- 标签列表
-
- r语言矩阵 (127)
- browsererror (114)
- exportexcel (119)
- cv2.bitwise_not (137)
- dump命令 (128)
- es6concat (126)
- heapify (127)
- java.security.egd (130)
- javax.annotation (117)
- jsstringsplit (117)
- js数字 (115)
- maven编译 (132)
- mysqlleft (128)
- nodejsbuffer (149)
- org.apache.commons.httpclient (126)
- org.jsoup (141)
- org.springframework.web (128)
- robotframework-ride (115)
- setnocounton (141)
- socket.gethostbyname (122)
- sqlmid (121)
- time.strptime (133)
- vscode格式化 (125)
- win32con (129)
- window.localstorage (126)