4 ms·
It's an interesting approach. A hybrid software with limited hardware change is interesting. > Fil-C will get faster even without architecture help Only to a
by pitaj 2y ago
It's an interesting approach. A hybrid software with limited hardware change is interesting.
> Fil-C will get faster even without architecture help
Only to a point. You'll plateau eventually since you have checks on every dereference.
- pizlonator 2y agoNo, I won’t have checks on every dereference. The monotonicity of Fil-C’s capabilities makes it possible to do a lot of redundant check elimination. That’s what I’m working on now. Should have some early results soon.
- pitaj 2y agoObviously, removing repeated/redundant bounds checks is a basic optimization. That's not what I meant. My point still stands.
- pizlonator 2y agoI think that check on every access is a lot different than check on some accesses. That plateau might not be any different than the CHERI plateau, since at the microarch level, CHERI will have more checks since it cannot benefit from a compiler’s static reasoning about redundant check elimination.