Adding Real-time Capabilities to a SML Compiler — mentioned by twotwotwo

Sat, 09 Jul 2016 03:13:17 GMT

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 objects are linked lists and arrays are managed as trees (32-ary trees, so lookups are often not super deep). There's an obvious price in locality and pointer-chasing, but if consistent pauseless GC (and not throughput) is your goal, never having to compact to make space for a big allocation is neat.

Paper and discussion history. A mention is not an endorsement.

Adding Real-time Capabilities to a SML Compiler · HackerPapers discussions

Adding Real-time Capabilities to a SML Compiler — mentioned by twotwotwo