3 ms·
Indeed Ada has different memory management model, though equally safe.
by dozzie 8y ago
Indeed Ada has different memory management model, though equally safe.
- monocasa 8y agoI've coded in Ada. Storage pools are not as safe as Rust's affine type system. For one it's a lot easier to leak memory with Ada, since they're mainly built off of reference counting.
- moosingin3space 8y agoPedantic: memory leaks are memory-safe, despite generally being undesirable.
- monocasa 8y agoYou're totally right, but yeah, I tend to roll it in to the same category since I consider the denial of service associated with memory leaks to be as bad as stricter memory unsafety. (And to be very pedantic I said 'memory management safety', not just 'memory safety').
- deleted 8y ago[deleted]
- pcwalton 8y agoAda uses a garbage collector for the free store (or just uses unsafe code if it's disabled). Ada's memory management model is not really different from any other typical language.
- dozzie 8y agoThis is the first time I've ever heard of Ada being garbage collected. Neither ARM, Barnes' nor Ben-Ari's books, nor GNAT manual say that there is supposed to be a garbage collector (quite the contrary, the books say that GC is allowed, but usually not present). Where did you get your information from?