#memory-safety

7 pages search “memory-safety” ↳ all tags

Wiki 5

  • A Simplified Model of Fil-C Walks through how Fil-C makes C/C++ memory-safe — shadow AllocationRecord pointers, parallel "invisible bytes" for heap pointers, and a GC
  • CobaltC Speculative C-successor spec from the essay book The Wrong Memory: C syntax over Rust-style ownership, borrowing and inferred lifetimes
  • Epoch-based reclamation Lock-free memory reclamation scheme where freed nodes wait in per-thread limbo until all threads have advanced past the retirement epoch
  • Garbage Collection Without Unsafe Code Fitzgerald's safe-gc library implements a Rust GC with zero unsafe code by routing every access through Heap indexing instead of pointer deref
  • Memory Safety Absolutists Piotr Sarnacki's case that Fil-C and Rust are complements, and "Rust has unsafe" is a bad standard

Toolbox 2

  • Fil-C Memory-safe C/C++ compiler giving every pointer a bounds-checked capability and a GC, no rewrites
  • safe-gc Rust crate offering a garbage-collected heap with zero unsafe code, in the API or internally