Re:Securing tomorrow's software: the need for memory safety ...
by pizlonator on Friday February 28, 2025 @10:03AM
(#43206367)
No GC pauses. Fil-C uses a concurrent GC.
For CHERI to be fully safe, it basically needs a GC. They just call it something else. They need it to clean up capabilities to things that were freed, which is the same thing that Fil-C uses GC for.
Except for those GC pauses...