3 ms·
CHERI claims that the amount of changes are exceedingly small. Fil-C is getting there. So, C has a path to survival. > The problem with fixes on things this
by pizlonator 3y ago
CHERI claims that the amount of changes are exceedingly small.
Fil-C is getting there.
So, C has a path to survival.
> The problem with fixes on things this low-level is that they carry the potential to break lots of code. Since broken code has to be fixed, you then get into the "why not just rewrite it in <insert new hotness here>?" argument, which is headed off by just not fixing it.
“Lots” is maybe an overstatement.
Also, if there was a way to make C++ code safe with a smaller amount of changes than rewriting in a different language then that would be amazing.
The main shortcoming of CHERI is that it requires new HW. But maybe that HW will now become more widely demanded and so more available.
The main shortcoming of Fil-C is that it’s a personal spare time project I started on Thanksgiving of last year so yeah
- marcosdumay 3y ago> CHERI claims that the amount of changes are exceedingly small. Oh, man. Yes, they do. Many people have been claiming that for decades. When can we expect one of them to claim it's done? (To be fair, the amount of changes required has been diminishing through those decades.)
- pizlonator 3y agoI think the hardest part about CHERI is just that it's new HW. That's a tough sell no matter how seamless they make it.
- pjmlp 3y agoCHERI has hardware in the form of ARM Morello and CHERI RISC-V running FreeBSD, easily to check their claims.