INTERVIEWS
Pony: High-Performance, Memory-Safe Actors with Sean Allen
Interview overview
Pony is a language born out of what should be a simple need - actor-style programming with C performance. On the face of it, that shouldn’t be too hard to do. Writing an actor framework isn’t trivial, but it’s well-trodden ground. The hard part is balancing performance and memory management. When your actors start passing hundreds of thousands of complex messages around, either you need some complex rules about who owns and frees which piece of memory, or you just copy every piece of data and kill your performance. Pony’s solution is a third way - a novel approach to memory management called reference capabilities.
In this week’s Developer Voices, Sean Allen joins us from the Pony team to explain what reference capabilities are, how Pony uses them in its high-performance actor framework, and how they implement a garbage collector without stop-the-world pauses. The result is a language for performant actors, and a set of ideas bigger than the language itself.
Links
References
- Pony website
- Pony Tutorial
- Pony Playground
- Azul Garbage Collector
- Shenandoah Garbage Collector
- A String of Ponies (Distributed Actors Paper)
- Garbage Collection with Pony-ORCA
- Orca: GC and Type System Co-Design for Actor Languages
- Ownership and Reference Counting based Garbage Collection in the Actor World
- Fully Concurrent Garbage Collection of Actors on Many-Core Machines