3 ms·
> Fil-C is faster than CHERI Except for those GC pauses...
by musicale 2y ago
> Fil-C is faster than CHERI
Except for those GC pauses...
- pizlonator 2y agoNo 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.