PretVM：面向实时并发的可预测高效虚拟机
系统与控制
2024-06-26 v2 编程语言
系统与控制
摘要
本文介绍了精确时钟虚拟机（PretVM），这是一个中间平台，用于促进执行由 Lingua Franca (LF) 协调语言编写的程序子集编译而来的准静态调度。该子集包含那些原则上应具有静态可验证且可预测时序行为的程序。PretVM 提供具有明确最坏情况时间边界的调度。PretVM 在应用逻辑与协调逻辑之间提供了清晰的分离，从而产生更可分析的程序执行。实验将 PretVM 与默认的（更具动态性的）LF 调度器进行了比较，结果表明它能够提供时间精确的确定性执行。
引用
@article{arxiv.2406.06253,
title = {PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency},
author = {Shaokai Lin and Erling Jellum and Mirco Theile and Tassilo Tanneberger and Binqi Sun and Chadlia Jerad and Ruomu Xu and Guangyu Feng and Christian Menard and Marten Lohstroh and Jeronimo Castrillon and Sanjit Seshia and Edward Lee},
journal= {arXiv preprint arXiv:2406.06253},
year = {2024}
}