TALKS
On Deny Capabilities for Safe, Fast Actors
Abstract
“Deny Capabilities for Safe, Fast Actors (2015)” by Sylvan Clebsch et al. lays out the core novel idea behind the Pony programming language: deny capabilities. Deny capabilities take object capabilities, turn them on their head and then apply them to variable aliases.
In this talk, Sean T. Allen (member of the Pony core team) explains Deny Capabilities and how Pony combines them with an actor-based model – to provide a programming environment that allows for data-race freedom and fearless concurrency.
Versions of this talk
Links
References
- Coordination Avoidance in Database Systems
- Silence is Golden: Coordination-Avoiding Systems Design
- Race Condition vs. Data Race
- RWMutex scales poorly with CPU count
- The wide world of almost-actors: comparing Pony to BEAM languages