课程大纲： 多核分区系统设计与实现技术培训
· 支持多核的分区系统介绍
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生态关系).
加入高级会员获得助教答疑
