scala - 有人可以解释这篇关于在 Scala 中执行竞赛安全的文章吗

Question

http://www.infoq.com/news/2009/07/scala-actors-race-safe-system

Answer 1

在不放弃可变对象的情况下强制执行种族安全，将是最好的措辞。

问题很简单。假设您有一个可变映射 M，以及演员 A1 和 A2。Actor A1 向 Actor A2 发送一条包含 M 的消息。问题是，您是否有任何风险？

如果我理解正确的话，论文的想法是改进类型系统，以便您可以保证 A1 在发送到 A2 后不会重用 M。您使用可变数据结构，但通过类型系统确保一次只能在代码的一个点访问它。