zlacker

[return to "Arm releases experimental CHERI-enabled Morello board"]
◧
1. ProfHe+xq2[view] [source] 2022-01-20 23:19:28
>>zxombi+(OP)
Great to see further progress on CHERI!

See the following for theoretical foundations for the work:

Linux 60th Anniversary Keynote

https://t.co/IRe3vpMlWn

◧◩
2. jrtc27+XH4[view] [source] 2022-01-21 16:15:10
>>ProfHe+xq2
Your research on actor-based programming models has nothing to do with C/C++ spatial and temporal memory safety.
◧◩◪
3. ProfHe+xG5[view] [source] 2022-01-21 20:13:06
>>jrtc27+XH4
Foundation is about rigorously specifying the general Laws of Locality for Actor systems that CHERI implements.
◧◩◪◨
4. jrtc27+kP5[view] [source] 2022-01-21 20:55:40
>>ProfHe+xG5
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.
◧◩◪◨⬒
5. ProfHe+lp9[view] [source] 2022-01-23 04:31:00
>>jrtc27+kP5
ActorsTheory serves as the rigorous mathematical foundations of capability systems.
[go to top]