scala - Scala でレースの安全性を強制することに関するこの記事を誰か説明してもらえますか

Question

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

Answer 1

変更可能なオブジェクトをあきらめずにレースの安全性を強化することは、それを表現するのに最適です。

問題は簡単です。ミュータブル マップ M と、アクター A1 および A2 があるとします。アクター A1 は、M を含むメッセージをアクター A2 に送信します。問題は、リスクを冒していないかということです。

私がそれを正しく理解していれば、論文の考え方は、A2 に送信された後に A1 が M を再利用しないことを保証できるように、型システムを改善することです。変更可能なデータ構造を使用しますが、型システムを使用して、一度にコードの 1 つのポイントにしかアクセスできないようにします。