arXiv:1601.03116cs.PL
Adding Real-time Capabilities to a SML Compiler
Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.
Abstract
There has been much recent interest in adopting functional and reactive programming for use in real-time system design. Moving toward a more declarative methodology for developing real-time systems purports to improve the fidelity of software. To study the benefits of functional and reactive programming for real-time systems, real-time aware functional compilers and language runtimes are required. In this paper we examine the necessary changes to a modern Standard ML compiler, MLton, to provide basic support for real-time execution. We detail our current progress in modifying MLton with a threading model that supports priorities, a chunked object model to support real-time garbage collection, and low level modification to execute on top of a real-time operating system. We present preliminary numbers and our work in progress prototype, which is able to boot ML programs compiled with MLton on x86 machines.
Via https://twitter.com/silentbicycle/status/751574435199672321, I found http://arxiv.org/abs/1601.03116, which talks about how they do the realtime GC stuff. An interesting bit for me is Section 4's way of handling fragmentation. They have a hard max size on allocations: large…
twotwotwoView on HNParent context