Scala中隔离Actor的仿射类型实证研究

LaCasa 是 Scala 中用于实施对象能力规范（object capability discipline）并提供仿射类型（affine types）的类型系统与编程模型。LaCasa 类型系统的一个重要应用是并发进程的软件隔离。隔离因包括安全性和无数据竞争等诸多原因而重要。此外，LaCasa 的仿射引用支持高效的按引用消息传递，同时保证“深拷贝”语义。该深拷贝语义使程序员能够将运行在单机上的并发程序无缝移植到运行在大规模机器集群上的分布式程序。本文提出 LaCasa 与 Scala 中 actor 的集成，具体而言是与 Akka 基于 actor 的中间件（工业界最广泛使用的 actor 系统之一）的集成。该集成的目标是静态确保 Akka actor 的隔离。重要的是，我们呈现了一项实证研究的结果，该调查研究了在现有开源的基于 Akka 的系统与应用中使用 LaCasa 类型系统所需的代价。