PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , , , , , , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866916299671601152 |
|---|---|
| author | Lin, Shaokai Jellum, Erling Theile, Mirco Tanneberger, Tassilo Sun, Binqi Jerad, Chadlia Xu, Ruomu Feng, Guangyu Menard, Christian Lohstroh, Marten Castrillon, Jeronimo Seshia, Sanjit Lee, Edward |
| author_facet | Lin, Shaokai Jellum, Erling Theile, Mirco Tanneberger, Tassilo Sun, Binqi Jerad, Chadlia Xu, Ruomu Feng, Guangyu Menard, Christian Lohstroh, Marten Castrillon, Jeronimo Seshia, Sanjit Lee, Edward |
| contents | This paper introduces the Precision-Timed Virtual Machine (PretVM), an intermediate platform facilitating the execution of quasi-static schedules compiled from a subset of programs written in the Lingua Franca (LF) coordination language. The subset consists of those programs that in principle should have statically verifiable and predictable timing behavior. The PretVM provides a schedule with well-defined worst-case timing bounds. The PretVM provides a clean separation between application logic and coordination logic, yielding more analyzable program executions. Experiments compare the PretVM against the default (more dynamic) LF scheduler and show that it delivers time-accurate deterministic execution. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2406_06253 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency Lin, Shaokai Jellum, Erling Theile, Mirco Tanneberger, Tassilo Sun, Binqi Jerad, Chadlia Xu, Ruomu Feng, Guangyu Menard, Christian Lohstroh, Marten Castrillon, Jeronimo Seshia, Sanjit Lee, Edward Systems and Control Programming Languages This paper introduces the Precision-Timed Virtual Machine (PretVM), an intermediate platform facilitating the execution of quasi-static schedules compiled from a subset of programs written in the Lingua Franca (LF) coordination language. The subset consists of those programs that in principle should have statically verifiable and predictable timing behavior. The PretVM provides a schedule with well-defined worst-case timing bounds. The PretVM provides a clean separation between application logic and coordination logic, yielding more analyzable program executions. Experiments compare the PretVM against the default (more dynamic) LF scheduler and show that it delivers time-accurate deterministic execution. |
| title | PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency |
| topic | Systems and Control Programming Languages |
| url | https://arxiv.org/abs/2406.06253 |