[發明專利]任務遷移方法及電子設備

在審

• 申請號: 201811644631.1
• 申請日: 2018-12-29
• 公開（公告）號: CN111381945A
• 公開（公告）日: 2020-07-07
• 發明（設計）人: 曹爽;施遙
• 申請（專利權）人: 華為技術有限公司
• 主分類號: G06F9/48
• 分類號: G06F9/48
• 代理公司: 暫無信息
• 代理人: 暫無信息

本申請提供了一種任務遷移方法，該方法應用于計算機系統，計算機系統包括一個主物理核和一個或多個從物理核，該方法包括：為主物理核的任務遷移設置了確定的時間開銷，即主物理核的WCET，主物理核只能在主物理核的WCET時間內將主物理核對應的多個從物理核中需遷移任務遷移至主物理核。對于每個從物理核設置了主物理核將該從物理核中的需遷移任務遷移至主物理核的時間開銷，即從物理核的WCET。通過確定的任務遷移的時間開銷，保證了物理核之間任務遷移的時間開銷的確定性，即可以保證計算機系統的可調度性分析的準確性，還可以提高計算機系統的資源利用率。

技術領域

本申請涉及計算機技術，具體涉及一種任務調度方法及電子設備。

背景技術

隨著信息技術的飛速發展和應用需求的不斷擴展，在統一的共享資源平臺上整合多種功能已經成為當前實時系統的發展趨勢。而多核處理器技術在極大程度提升處理器性能的同時，也為實時系統的綜合集成化設計提供了硬件平臺支持。不同功能或者說不同任務對于實時系統的關鍵性不一樣，這種不同關鍵級別的任務共享硬件平臺的系統可以稱為混合關鍵性系統(mixed-criticality system，MCS)，例如自動/半自動駕駛系統、航空航天控制系統。為了保證不同關鍵級別的任務之間不相互干擾，且任務可在截止期限前執行完畢，MCS系統設定了時間約束，例如對于周期性執行的任務，該任務的截止期限為任務下一周期開始執行的時間之前。具體的，劃分了時間資源(或者稱為時間分區)，時間分區內的任務只能在該時間分區內執行，不同的時間分區有獨立的時間段，且相互不可搶占；MCS系統限制任務在時間分區內的可執行時間，任務的可執行時間的時長為該任務的最差執行時間(worst case execution time,WCET)，當任務的可執行時間耗盡，則停止當前任務的運行，選擇另一個任務去運行。

為了保證MCS系統的正常運行，需要分析系統的可調度性來驗證MCS系統是否滿足設定的時間約束，確保系統中所有任務在運行時都可以在規定的截止期限前完成。為了保證MCS系統的可調度性分析，MCS系統中通常將所有的任務靜態地分配到每個物理核上，不允許任務在不同物理核之間遷移，然而任務在實際的執行過程中并不會每次都耗盡該任務的WCET，從而產生大量的資源空閑時間段，降低了資源利用率。

發明內容

本申請提供一種任務遷移方法，可以在保證系統的可調度性分析的準確性基礎上實現不同物理核之間的任務遷移，提高系統的資源利用率。

第一方面，本申請實施例提供了一種任務遷移方法，該方法應用于計算機系統，其中，該計算機系統包括一個主物理核和一個或多個從物理核，該方法包括：主物理核向一個或多個從物理核發送中斷，其中，中斷用于使得一個或多個從物理核中每個從物理核在第二時間內停止正在執行的任務。其中，第二時間用于表示主物理核將一個或多個從物理核中任一個從物理核中的需遷移任務遷移至主物理核的最差執行時間WCET；從物理核中需遷移的任務可以為預先設置的任務，可以為動態隨機任務，或者可選任務等，主物理核可從調度信息表中獲取需遷移的任務。主物理核在第一時間內將一個或多個從物理核中的一個或多個需遷移任務遷移至主物理核，其中，第一時間用于表示主物理核將一個或多個從物理核中所有需遷移任務遷移至主物理核的最差執行時間WCET，第一時間大于或等于一個或多個從物理核中每個從物理核的第二時間之和。第一時間可稱為主物理核的WCET，第二時間可稱為從物理核的WCET。通過第一時間和第二時間，可以實現物理核之間任務遷移的時間開銷的確定性，主物理核可以在第一時間內將對應的從物理核中的需遷移任務遷移至主物理核；對于每一個從物理核中的需遷移任務，主物理核可以在第二時間內將該從物理核中的需遷移任務遷移至主物理核。第一時間和第二時間為估計的最差執行時間WCET，具體的，可采用靜態方法分析任務遷移程序的WCET，靜態分析可包括處理器行為分析、程序流分析和WCET計算三個步驟。