Hacker News new | ask | show | jobs
by ProfHewitt 1603 days ago
Foundation is about rigorously specifying the general Laws of Locality for Actor systems that CHERI implements.
1 comments

CHERI 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.
ActorsTheory serves as the rigorous mathematical foundations of capability systems.