6 ms·
Great to see further progress on CHERI! See the following for theoretical foundations for the work: Linux 60th Anniversary Keynote https://t.co/IRe3vpMlWn ht
by ProfHewitt 5y ago
Great to see further progress on CHERI!
See the following for theoretical foundations for the work:
Linux 60th Anniversary Keynote
https://t.co/IRe3vpMlWn https://t.co/IRe3vpMlWn
- jrtc27 5y agoYour research on actor-based programming models has nothing to do with C/C++ spatial and temporal memory safety.
- ProfHewitt 5y agoFoundation is about rigorously specifying the general Laws of Locality for Actor systems that CHERI implements.
- jrtc27 5y agoCHERI is not an actor system. It is a capability system aimed at memory protection. It can be used, like any other architecture, as a basis upon which to build an actor-based framework/system, but it is no more of an actor system than, say, x86. The concepts are deeply rooted in the capability system literature.
- ProfHewitt 5y agoActorsTheory serves as the rigorous mathematical foundations of capability systems.