什么是实时系统(real-time system)
系统的正确性不仅依赖计算的逻辑结果,还依赖于这个结果产生的时间。
一些定义
timing constraint,时间约束,对作业时间行为的约束,有软硬之分
release time,作业可以执行的瞬间
deadline,要求作业执行完成的瞬间,absolute deadline = release time + relative deadline
response time,从 release time 到作业执行完成的时间段
实时调度算法
- fixed-priority algorithm
- dynamic-priority algorithm
work 的单位是 job;
一系列 job 是 task;
task(p, e)
p = period
e = execution time
- RM, rate monotonic, fixed-priority algorithm
最优的静态优先级算法;
优先级由 period 决定;
period 越小优先级越高;
利用率限制:; - EDF, earliest deadline first, dynamic-priority algorithm
deadline 越早,优先级越高;
提高内核实时性的方法
- 任务互斥,同步:资源有限等待
- 优先级反转问题:采用优先级继承协议
UML profile
- 扩展UML语言
- 为模型补充信息