3 ms·
"But no allocations, that radically changes how one codes." But this does not forbid implementing ones own memory manager that uses blocks from a huge continuo
by fsloth 11y ago
"But no allocations, that radically changes how one codes."
But this does not forbid implementing ones own memory manager that uses blocks from a huge continuous buffer.
- dahart 11y agoTrue. Though I don't work at JPL or speak to what they would allow or forbid, but if you did implement your own memory manager, I imagine that you'd still need to write code that guarantees it will never run out, which might be harder to do if you have this abstraction. The spirit of these rules is to be enable code writing that is obviously correct and finite in time and space, at a glance. So I'm in pure speculation land here, but I could see JPL frowning on rolling your own memory manager. Though I also imagine many applications of these rules happen on hardware that is small enough to make writing a memory manager overkill anyway.