RTMLton: An SML Runtime for Real-Time Systems

Shivkumar, Bhargav; Murphy, Jeffrey C; Ziarek, Lukasz

doi:10.1007/978-3-030-39197-3_8

Cited by 2 publications

(1 citation statement)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our original PADL paper (Shivkumar et al, 2020) was an extension of our previous short workshop paper (Li et al, 2016), to which we had added a detailed description of the MLton runtime, the consequences of the design decisions adopted by MLton, and the details of our chunked, concurrent, reservation-based RTGC algorithm. We presented additional benchmarks, including a full evaluation of our system on a radar-based aircraft collision detector (CD x ).…”

Section: Introductionmentioning

confidence: 99%

Real-time MLton: A Standard ML runtime for real-time functional programs

2021

Self Cite

View full text Add to dashboard Cite

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 (SML) in the embedded and real-time domains. Specifically, we detail our experiences in modifying MLton, a whole-program optimizing compiler for SML, for use in such contexts. We focus primarily on the language runtime, reworking the threading subsystem, object model, and garbage collector. We provide preliminary results over a radar-based aircraft collision detector ported to SML.

show abstract

Section: Introductionmentioning

confidence: 99%