31、SDL实时任务与虚拟现实仿真模型的研究与应用

SDL实时任务与虚拟现实仿真模型的研究与应用

1. SDL实时任务相关研究

SDL实时任务在两个方面丰富了SDL：一是通过实现SDL进程和节点跨功能的规范与识别，提升了语言表达能力，这与消息序列图（MSCs）有相似之处，MSCs是描述节点内部和节点之间通信的常用技术；二是对SDL系统的调度产生影响，任务优先级决定了转换执行顺序，提高了反应时间的可预测性。

1.1 相关工作

• MSCs与SDL的转换 ：由于MSCs是指定分布式行为的高级方式，有多个将MSCs转换为SDL的提案。例如，Dulz等人提出将MSCs转换为用于早期性能预测的合成SDL规范；Khendek等人提出的转换旨在实现两种规范之间的一致性，并开发了名为MSC2SDL的工具。不过，MSCs不适用于描述完整系统，对运行时行为的影响有限，但它是可视化和识别SDL任务类型的有用方法。
• SDL调度器的实现 ：由于SDL语义的调度非确定性，有许多关于SDL调度器实现的提案，可分为两类：
  • 活动线程模型 ：将SDL信号传输映射到过程调用，但与SDL语义不同，它是同步的，消除了通信和转换执行之间的区别。该模型虽然高效且常符合标准，但无法优先选择特定转换，在具有循环信号流的系统中可能出现死锁，为此提出了一些改进措施。
  • 基于优先级的调度 ：可基于进程或信号优先级进行调度。如C - micro支持静态信号优先级和静态进程优先级；有研究引入了具有动态进程优先级的SDL执行模型；还有提出基于消息最