4 ms·
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 capab
by pizlonator 2y ago
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.