zlacker

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