多核分区系统设计与实现技术培训-中心

· 支持多核的分区系统介绍

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生态关系).