マルチバージョン原子オブジェクト
1991 年 8 巻 2 号 p. 2_164-2_183
詳細
1991 年 8 巻 2 号 p. 2_164-2_183
本論文ではオブジェクトが複数のバージョンから構成されるマルチバージョン原子オブジェクトを提案し,そのための並行制御と回復のアルゴリズムについて述べる.はじめに,原子オブジェクト(Atomic Object)のための計算モデルについて述べ,それを用いて原子性(Atomicity)を定義する.この定義では,従来の逐次化可能性だけではなく,メソッドの実行がオブジェクトの仕様を満足することも要求する.そして,その計算モデルに基づいて,マルチバージョンオブジェクトでの並行制御と回復アルゴリズムについて議論する. 我々が提案する並行制御アルゴリズムは2つの特徴を持っている.1つ目の特徴は,我々の並行制御アルゴリズムが生成したヒストリは常に回復可能であることを示したことである. 2つ目の特徴は,マルチバージョンオブジェクトのバージョンによるヒストリ情報を利用して可換関係を増加することが可能なことである. そして,最後に,提案した並行制御と回復アルゴリズムの正当性について検討する.
