Arm releases experimental CHERI-enabled Morello board

Re:Arm releases experimental CHERI-enabled Morello board by ProfHewitt on Thursday January 20, 2022 @06:19PM (#30016807)

Great to see further progress on CHERI!

See the following for theoretical foundations for the work:

Linux 60th Anniversary Keynote

https://t.co/IRe3vpMlWn

[ Parent | on HN ]

Re:Arm releases experimental CHERI-enabled Morello board by jrtc27 on Friday January 21, 2022 @11:15AM (#30025575)

Your research on actor-based programming models has nothing to do with C/C++ spatial and temporal memory safety.

[ Parent | on HN ]

Re:Arm releases experimental CHERI-enabled Morello board by ProfHewitt on Friday January 21, 2022 @03:13PM (#30029331)

Foundation is about rigorously specifying the general Laws of Locality for Actor systems that CHERI implements.

[ Parent | on HN ]

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.

[ Parent | on HN ]