Pony - A Language for Provably Safe Lockless Concurrency
summary
Pony claims provably safe lockless concurrency by encoding concurrency patterns as reference capabilities in the type system (six capabilities: ref, val, box, iso, trn, tag), compiles to LLVM and targets C-like performance, and ships a runtime with a per-actor garbage collector (no stop‑the‑world) plus a work‑stealing scheduler. It forbids blocking, guarantees causal message order across actors, and enforces safety at compile time so concurrent programs run without locks and without runtime checks.
AI-written summary · about
chapters (4)
- 0:00Start
- 21:54Pony Paradigms No Blocking!
- 26:27Pony Concepts Basic syntax
- 34:28Implicit Reference Capabilities
related talks
50mMy Little Pony
46mKotlin/Native Concurrency Model
45mRust: safe and concurrent. But how does it do it?
01h 04mConcurrency TS2: Improved C++ Concurrency and Lock-free Programming
01h 08mA lock-free concurrent toolkit for hazard pointers
15mTowards Safe HPC: Productivity and Performance via Rust Interfaces for a Distribu...
01h 01mVal: A Safe Language to Interoperate with C++
01h 04m[old version]The C++20 Synchrononization Library