#无锁多线程

Pony语言：无锁并发与内存安全的编程语言还活着

Pony是一门基于Actor模型的编程语言，通过引用能力系统在编译期保证内存安全与数据竞争自由。本文介绍其Arena内存分配器设计、无锁多线程机制，以及在无大厂背书下的稳健发展现状。