标签
Lingua Franca 是一个开源的协调语言(coordination language),用于构建确定性、多线程、时间敏感和分布式系统,支持 C、C++、Python、TypeScript 和 Rust。它源于 UC Berkeley 等机构数十年的研究,通过 reactor 模型消除竞态条件并内建时序语义。
本演讲主张在并发与分布式系统中使用确定性模型,通过引入反应器模型和Lingua Franca语言来实现确定性并发。