Sylvan Clebsch's [1] answer to this problem is designed into Pony [2], a high-performance lock free and data-race free actor-model language and runtime [3] based on a novel deny-capabilities model...

Deny capabilities for safe, fast actors [pdf]: https://www.doc.ic.ac.uk/~scd/fast-cheap-AGERE.pdf

Sylvan has since joined MSR Cambridge and is working on the distributed runtime. He's giving a talk at QCon London in March, and there are several talks on YouTube where he discusses the ideas he combined into Pony's design [4].

[1] https://github.com/sylvanc

[2] https://github.com/ponylang/ponyc

[3] https://www.ponylang.io/discover/#what-is-pony

[4] https://www.youtube.com/results?search_query=ponylang+sylvan