極簡cfs公平調度演算法

来源:https://www.cnblogs.com/organic/archive/2023/04/14/17320040.html
-Advertisement-
Play Games

1、下載redis源碼包,併進行解壓縮操作 https://download.redis.io/releases/ [root@Redis-Ubuntu-1804-p21:~]# wget https://download.redis.io/releases/redis-5.0.14.tar.gz ...


1. 說明 1> linux內核關於task調度這塊是比較複雜的,流程也比較長,要從源碼一一講清楚很容易看暈 2> 本篇文章主要是講清楚cfs公平調度演算法如何將task在時鐘中斷驅動下切換調度,所以與此無關的代碼一律略過 3> 本篇只講最簡單的task調度,略過組調度,組調度在下一篇《極簡組調度-CGroup如何限制cpu》中講解 4> 本篇源碼來自CentOS7.6的3.10.0-957.el7內核   2. 極簡task調度核心思想 1> linux採用cfs公平調度演算法,其用vruntime記錄task運行的cpu時長,每次用重新調度時,總是選擇vruntime最小的task進行調度 2> 所有Ready狀態的task會分配到不同cpu的rq隊列上,等待調度運行 3> 時鐘中斷中,++當前task運行時間vruntime,並檢測當前task運行時間是否超過一個時間片,或者其vruntime比當前cpu rq隊列中最小的vruntime task大一個時間片,則設置resched標記(但並不立馬進行task切換,因為此時仍在中斷上下文中) 4> 所有中斷返回後(當然也包括時鐘中斷),都會jump到ret_from_intr,這裡會檢查resched標記,如果置位,則調用schedule()選擇vruntime最小的task進行調度   3. 極簡task調度相關數據結構

3.1 名詞解釋

  全稱 說明
se schedule entity 調度實例,可以是一個task,也可以是一個group(當使用組調度時),linux支持組調度後,將調度實例從原來的task,抽象為se
rq run queue cpu的運行隊列,每個cpu一個,處於Ready狀態的se掛在對應的cpu運行隊列上後,才會被選擇投入運行 
cfs_rq cfs rq 公平調度運行隊列,因為一般進程都是用cfs調度演算法,一般進程的se都是掛在rq.cfs_rq上的
vruntime virtual runtime se的一個重要成員,記錄調度實例的cpu運行時長,schedule時,cfs調度每次都選取vruntime最小的se投入運行,這就是cfs調度演算法的核心原理

    3.2 數據結構
struct sched_entity
{
    unsigned int    on_rq;                           // se是否在rq上,不在的話即使task是Ready狀態也不會投入運行的
    u64             vruntime;                        // cpu運行時長,cfs調度演算法總是選擇該值最小的se投入運行
};
 
struct task
{
    struct sched_entity se;                        // 調度實例
};
 
struct rq
{
    struct cfs_rq cfs;                          // 所有要調度的se都掛在cfs rq中
    struct task_struct* curr;                   // 當前cpu上運行的task
};
 
struct cfs_rq
{
    struct rb_root tasks_timeline;              // 以vruntime為key,se為value的紅黑樹根節點,schedule時,cfs調度演算法每次從這裡挑選vruntime最小的se投入運行
    struct rb_node* rb_leftmost;                // tasks_timeline紅黑樹最左的葉子節點,即vruntime最小的se,直接取這個節點以加快速度
    sched_entity* curr;                         // cfs_rq中當前正在運行的se
    struct rq* rq;                              /* cpu runqueue to which this  cfs_rq is attached */
    unsigned int nr_running;                    // cfs_rq隊列上有多少個se
};

 

3.3 數據結構關係   2.3 極簡task調度code 2.3.1 時鐘中斷 1> task調度的發動機時鐘中斷觸發後,會在smp_apic_timer_interrupt()中處理,經過層層調用,最終會到entity_tick()
entity_tick()
{
    update_curr();
    // 如果當前cfs_rq上的se大於1,則檢查是否要重新調度
    if (cfs_rq->nr_running > 1)
        check_preempt_tick(cfs_rq, curr);
}

2> update_curr()主要是++當前task se的vruntime(當然這裡還對組調度進行了處理,這裡不講組調度,先略過)

void update_curr(struct cfs_rq* cfs_rq)
{
    struct sched_entity* curr = cfs_rq->curr;
    curr->vruntime += delta_exec;                   // 增加se的運行時間
}

 3> check_preempt_tick()判定當前運行的時間大於sched_slice時,即超過了時間片,或者其vruntime比當前cpu rq隊列中最小的vruntime task大一個時間片,就會標記resched,然後等中斷返回後會調用schedule()進行task切換

void check_preempt_tick()
{
    // 如果運行時間大於sched_slice,則resched
    if (delta_exec > ideal_runtime)
        resched_task(rq_of(cfs_rq)->curr);
        
    // 如果比最小vruntime大一個sched_slice,則resched
    se = __pick_first_entity(cfs_rq);                // 選擇cfs.rb_leftmost的se,即vruntime最小的se
    delta = curr->vruntime - se->vruntime;
    if (delta > ideal_runtime)
        resched_task(rq_of(cfs_rq)->curr);
}

 4> resched_curr()非常簡單,就是設置一個resched標記位TIF_NEED_RESCHED

void resched_curr(struct rq* rq)
{
    struct task_struct* curr = rq->curr;
    set_tsk_thread_flag(curr, TIF_NEED_RESCHED);
}

 

2.3.2 schedule 1> 時鐘中斷返回後,會jump到ret_from_intr(有興趣可以去分析這段彙編),如果resched標記被置位,就會調用schedule()進行調度
void schedule()
{
    prev = rq->curr;
    put_prev_task_fair(rq, prev);        // 對當前task進行處理,如果該task屬於一個group,還要對組調度進行處理,這裡不展開
    // 選擇下一個task並切換運行
    next = pick_next_task(rq);           // 選擇一個vruntime最小的task進行調度
    context_switch(rq, prev, next);
}

2> pick_next_task() → pick_next_task_fair() → pick_next_entity() → __pick_first_entity(),__pick_first_entity()選擇vruntime最小的cfs_rq->rb_leftmost節點se進行調度

struct sched_entity *__pick_first_entity(struct cfs_rq *cfs_rq)
{
    struct rb_node *left = cfs_rq->rb_leftmost;
    return rb_entry(left, struct sched_entity, run_node);
}

 

  本文為博主原創文章,如需轉載請說明轉至http://www.cnblogs.com/organic/
您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 隨著技術的發展,ASP.NET Core MVC也推出了好長時間,經過不斷的版本更新迭代,已經越來越完善,本系列文章主要講解ASP.NET Core MVC開發B/S系統過程中所涉及到的相關內容,適用於初學者,在校畢業生,或其他想從事ASP.NET Core MVC 系統開發的人員。 經過前幾篇文章... ...
  • 匿名類型在某些場景下使用起來還是比較方便,比如某個類型只會使用一次,那這個時候定義一個 Class 就沒有多少意義,完全可以使用匿名類型來解決,但是在跨項目使用時,還是需要註意避免出現 RuntimeBinderException 問題 問題描述 比如我們有一個 netstandard2.0 類型的 ...
  • C#多線程學習(一) 多線程的相關概念 什麼是進程? 當一個程式開始運行時,它就是一個進程,進程包括運行中的程式和程式所使用到的記憶體和系統資源。 而一個進程又是由多個線程所組成的。 什麼是線程? 線程是程式中的一個執行流,每個線程都有自己的專有寄存器(棧指針、程式計數器等), 但代碼區是共用的,即不 ...
  • SqlSugar的開發框架本身主要是基於常規關係型資料庫設計的框架,支持多種資料庫類型的接入,如SqlServer、MySQL、Oracle、PostgreSQL、SQLite等資料庫,非關係型資料庫的MongoDB資料庫也可以作為擴展整合到開發框架裡面,通過基類的繼承關係很好的封裝了相關的基礎操作... ...
  • 日常開發過程中,驗證字元的合法性一直是一個必不可少的步驟,以前都是在用戶輸入完再做判斷,不僅麻煩在不符合標準的時候還要提示用戶修改,體驗很差,為什麼不在輸入的時候加以限制呢? ...
  • 因為Grpc採用HTTP/2作為通信協議,預設採用LTS/SSL加密方式傳輸,比如使用.net core啟動一個服務端(被調用方)時: public static IHostBuilder CreateHostBuilder(string[] args) => Host.CreateDefaultB ...
  • NuGet 引入依賴庫 PM> Install-Package Tron.Wallet.Net 隨機生成私鑰和對應的地址 using Tron.Wallet.Net; namespace ConsoleApp1 { internal class Program { static async Task ...
  • 簡介:本文主要介紹ubuntu20.04容器中搭建xfce遠程桌面、C++、Go環境、容器內docker操作配置、zsh配置 一、創建容器 1、創建容器 docker pull ubuntu:20.04docker run -itd --privileged --name=my-desktop--u ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...