4 ms·
Deterministic garbage collection is a completely different beast than what most people call GC. It is not a nearly magical fairy that lets you have infinite mem
by Guvante 11y ago
Deterministic garbage collection is a completely different beast than what most people call GC. It is not a nearly magical fairy that lets you have infinite memory.
Also IIRC aviation has incredibly strict rules on freeing during flight, so this likely switches to a fixed memory model for at least part of the time.
- pjmlp 11y agoYou aren't allowed to free at all in avionics. In Ada deallocattion requires use of the unsafe package and in SPARK dynamic allocation it isn't even possible. However the usage of GC based systems by the military in their weapon control systems, shows that there are GC implementations that able to cover certain types of real time use. After all a GC pause during a battle situation is probably not something one wishes for.