Re:Arm releases experimental CHERI-enabled Morello board
by jrtc27 on Friday January 21, 2022 @03:55PM
(#30029876)
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.
[ Parent
| on HN ]
Re:Arm releases experimental CHERI-enabled Morello board
by ProfHewitt on Saturday January 22, 2022 @11:31PM
(#30043641)
ActorsTheory serves as the rigorous mathematical foundations of capability systems.