分散オブジェクト環境における正しい全体状態の決定方法

概要

論文の詳細を見る
分散型応用では、複数のオブジェクトから構成されるグループ内での通信が必要となる。オブジェクトは、様々な障害の影響により、その状態が失われてしまう場合がある。このため、障害が発生するもとで、グループ内のオブジェクトの状態の一貫性を保つこと、即ち、グループ内のオブジェクトを、過去の正しい全体状態にロールバックさせることが必要となる。従来の方式では、孤児(orphan)メッセージが存在しないことをもって、正しいチェックポイントを定義している。このため、メッセージが応用でどのような意味を持つかを考えおらず、メッセージの送受信のみを考慮している。一方、分散オブジェクト環境では、request, response, data等の多種多様なメッセージが送受信される。また、オブジェクト上の演算が、入れ子型である場合も考えられる。本研究では、オブジェクトに基づく意味のあるメッセージを定義する。また、意味のあるメッセ一ジに基づき、正しいチェックポイントを定義する。これにより、取得されるチェックポイント数の削減を行う。
一般社団法人情報処理学会の論文
1997-02-27