系统边界(System Boundary Layer)
定义 Kernel 与外部环境之间的可计算分割结构,用于约束实时系统的可执行范围。
1. 边界模型定义
系统边界定义 Kernel 与外部世界之间的可计算约束空间。
B = {Tb, Rb, Ib}
Tb = 时间约束
Rb = 资源约束
Ib = 不确定性约束
2. Kernel 在边界中的角色
Kernel = 边界执行单元
负责保证所有执行行为符合系统边界约束。
禁止:无界阻塞 / 不确定动态分配 / 越权访问
3. 系统域结构
调度域
已注册任务 + ready/running 状态 + 优先级约束集合
时间域
任务执行必须满足确定性时间约束(Tb)
资源域
内存、CPU、外设资源的可控分配边界(Rb)
不确定性域
对外部事件扰动的隔离与约束(Ib)
4. 隔离机制
时间隔离 / 内存隔离 / 中断门控 / 优先级封顶
5. 系统意义
系统边界 = Kernel 可执行约束的边界。 没有系统边界,就没有可预测的 RTOS 行为。