RTMLton: An SML Runtime for Real-Time Systems
RTMLton: An SML Runtime for Real-Time Systems
复制标题
RTMLton：实时系统的 SML 运行时
DOI：
10.1007/978-3-030-39197-3_8
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Bhargav Shivkumar, Jeffrey Murphy
中科院分区：
文献类型：
--
作者：
Bhargav Shivkumar, Jeffrey Murphy
在实时和嵌入式环境中利用函数式编程语言的兴趣越来越大。函数式语言很有吸引力，因为许多都是严格类型的，服从形式化方法，具有有限的变化，并且具有简单但强大的并发控制机制。虽然有许多最近的建议，为嵌入式和实时系统的专用领域特定的语言，有一直相对较小的进展，适应更通用的功能语言编程嵌入式和实时系统。在本文中，我们介绍了我们目前在嵌入式和实时领域利用标准ML的工作。具体来说，我们详细介绍了我们在修改MLton，一个完整的程序，优化标准ML的编译器，在这种情况下使用的经验。我们主要关注语言运行时，重新处理线程子系统和垃圾收集器。我们提供了初步的结果基于雷达的飞机碰撞探测器移植到SML。
There is a growing interest in leveraging functional programming languages in real-time and embedded contexts. Functional languages are appealing as many are strictly typed, amenable to formal methods, have limited mutation, and have simple, but powerful concurrency control mechanisms. Although there have been many recent proposals for specialized domain specific languages for embedded and real-time systems, there has been relatively little progress on adapting more general purpose functional languages for programming embedded and real-time systems. In this paper we present our current work on leveraging Standard ML in the embedded and real-time domains. Specifically we detail our experiences in modifying MLton, a whole program, optimizing compiler for Standard ML, for use in such contexts. We focus primarily on the language runtime, re-working the threading subsystem and garbage collector. We provide preliminary results over a radar-based aircraft collision detector ported to SML.
登录
查看更多内容
开发经过验证的 Erlang 资源锁定程序
DOI：
--
发表时间：
2004
期刊：
International Journal on Software Tools for Technology Transfer (STTT)
影响因子：
--
作者：
T. Arts;Clara Benac Earle;J. Derrick
通讯作者：
J. Derrick
Schism：碎片容忍的实时垃圾收集
影响因子：
7.2
作者：
F. Pizlo;Lukasz Ziarek;Petr Maj;Antony Hosking;Ethan Blanton;J. Vitek
通讯作者：
J. Vitek
自动发现实时 Java 的作用域内存区域
影响因子：
7.2
作者：
Morgan Deters;R. Cytron
通讯作者：
R. Cytron
DOI：
10.1145/780732.780744
发表时间：
2003-07
期刊：
--
影响因子：
--
作者：
D. F. Bacon;P. Cheng;V. T. Rajan
通讯作者：
D. F. Bacon;P. Cheng;V. T. Rajan
DOI：
10.1007/s10009-003-0114-9
发表时间：
1987
影响因子：
1.5
作者：
S. Peyton
通讯作者：
S. Peyton