オブジェクト指向言語におけるデータと同期制約の関連付け

複数のスレッドが共有データにアクセスし、いかなる逐次実行にも対応しない方法で干渉する際に、並行性に関連したバグが発生する可能性があります。従来の「データ競合」自由の概念では、その不在は保証されません。私たちは、11 の問題のある干渉シナリオに基づいてデータ競合の新しい定義を提示し、これらのシナリオを示さない任意の実行が選択したロケーションのセットについて直列化可能であることを示すことで、完全性を証明します。我々の定義は、従来のデータ競合の定義と、古い値エラーや不整合なビューなどの高レベルデータ競合を包含します。また、オブジェクト内のフィールド間の整合性プロパティの存在を指定できる「アトミックロケーションのセット」という言語機能も提案しますが、プロパティ自身は指定しません。この新しい定義に基づいてデータ競合を回避するために必要な同期のポイントをコード内で自動的に推測するために静的解析を使用します。このアプローチの重要な利点は、一般に、既存のアプローチ（例えば、同期ブロックやアトミックセクション）と比較して、必要な注釈が遥かに少なくなることです。我々の実装は、Javaの標準コレクションフレームワークの有意なサブセットに対して適切な同期を推測することに成功しました。