課程大綱： 多核分區系統設計與實現技術培訓
· 支持多核的分區系統介紹
o 國外嵌入式廠商的分區系統產品
o 國內嵌入式廠商的分區系統產品
o 國內外開源分區系統介紹
· 支持多核的分區系統基本架構
o SKH(Separation Kernel Hypervisor)分區架構
o 分區系統的基本需求分析
o 分區系統未來應用方向
· 結合支持多核的PRTOS分區系統原型討論多核分區系統的設計與實現技術
o 分區運行時環境
o 分區時間和空間隔離
o 分區健康監控機制
o 單核/多核分區調度分析
o 單核/多核分區系統CPU和vCPU的對應關系
o 分區SMP架構以及分區系統內核SMP架構設計;
o 分區系統加載原理和資源配置
· 結合PRTOS的SDK,分析分區系統的開發和應用
o 分區間通信機制
o 分區健康監控機制
o 分區Trace機制
o 分區多核配置
o 分區內核的多核配置
o 分區內核的多核(Multi-CPU)初始化過程
o 分區時鐘管理
· 針對微內核和SKH的設計思想展開討論
· 針對SKH和Linux Kernel關系進行討論
· 針對SKH的技術生態展開討論(e.g.開源社區,Linux Kernel生態關系).
加入高級會員獲得助教答疑
