实时系统

什么是实时系统（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 越早，优先级越高；

提高内核实时性的方法

1. 任务互斥，同步：资源有限等待
2. 优先级反转问题：采用优先级继承协议

UML profile

1. 扩展UML语言
2. 为模型补充信息