deterministic-concurrency

Lingua Franca 是一个开源的协调语言（coordination language），用于构建确定性、多线程、时间敏感和分布式系统，支持 C、C++、Python、TypeScript 和 Rust。它源于 UC Berkeley 等机构数十年的研究，通过 reactor 模型消除竞态条件并内建时序语义。

This talk argues for using deterministic models in concurrent and distributed systems, introducing the reactor model and Lingua Franca language to achieve deterministic concurrency.