補償不可能デッドロックの解除法
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,階層型トランザクションのインタリープ実行において生じるデッドロックの解除法について論じる.CADのような新しい応用のトランザクションでは,従来の応用に比べて実行時間が長く,多くのオブジェクトを要求する.このために,デッドロックの生じる確率が従来のシステムより高い.デッドロックの解除方法として,デッドロックしたあるトランザクションを選択し,アボートする方法がある.本論文では,デッドロックの解除に必要な部分のみを,実行された演算の補償演算を実行することによりアボートする方法を述べる.ログにシステム状態のかわりに演算を記憶することにより,ログを減少できる.補償演算は,オブジェクトのロックを要求するため,これの実行により,デッドロックが起き得る.本論文では,補償演算によって解除できない補償不可能なデッドロックの存在を示す.また,基本演算の補償演算を実行することによって,補償不可能なデッドロックを解除する方法を述べる.
- 一般社団法人情報処理学会の論文
- 1993-05-15
著者
-
滝沢 誠
東京電機大学理工学研究科情報システム工学専攻
-
滝沢 誠
東京電機大学
-
S.misbah Deen
Dake Centre And Dept.of Computer Science University Of Keele
-
Deen S.
Dake Centre And Dept. Of Computer Science University Of Keele
-
安沢 伸二
東京電機大学
-
安沢 伸二
東京電機大学理工学部経営工学科
関連論文
- 異種ピアプロセスグループのための分散協調プロトコル(セッション1-A : コミュニケーション・グループ通信・協調作業支援(1))
- 役割の概念を用いた情報流制御方式(セッション4:基盤システム技術・アルゴリズム)
- 高信頼放送通信に基づいた一相コミットメント制御プロトコル
- 分散オブジェクト環境における非同期なロールバック復旧方式
- 擬似能動的多重化におけるレスポンスタイムの短縮方法
- オブジェクト指向環境における役割に基づいた目的指向アクセス制御
- 分散オブジェクトシステムにおける非同期復旧方式
- 高信頼移動体システムのためのプロトコル
- 分散オブジェクト環境における非同期なチェックポイント取得方法
- 大規模移動体システムにおける複合チェックポイント適用のためのリスタートプロトコル
- 大規模移動体システムへの適用を考慮した複合チェックポイント
- 1R-9 コーラムを用いた因果順序配送プロトコル
- 1R-5 WANのための擬似能動的多重化の評価
- 広域ネットワークのための擬似能動的多重化手法の評価
- 広域ネットワークにおける擬似能動的多重化プロトコル
- コーラムを用いた因果順序配送プロトコル
- 広域ネットワークにおける能動的多重化
- 広域ネットワークのための能動的多重化手法
- 分散多重オブジェクトのためのロック方式
- 複合チェックポイントのためのリカバリプロトコル
- オブジェクト間で起こり得る不正な情報流を防止する役割ロック(セッション1)
- マルチメディアオブジェクトにおける同期制御手法
- QoSに基づくマルチメディアオブジェクトの同期手法
- ヒューリスティック手法を用い左階層的QoS経路制御手法(ネットワーク品質・制御,情報洪水時代のネットワークサービス)
- 企業の品質力と収益性モデル : 最新の企業データに基づいたモデルの評価(セッション3 : プロトコルと性能評価)
- 企業の品質力と収益性モデル : 最新の企業データに基づいたモデルの評価(セッション3 : プロトコルと性能評価)
- 企業の品質力と収益性モデル:最新の企業データに基づいたモデルの評価(セッション3:プロトコルと性能評価)
- グループ通信におけるQoS制御
- 特集「マルチメディア通信と分散処理」の編集にあたって (マルチメディア通信と分散処理)
- 移動体間の資源共有方式
- 多データベースシステムに対する多エージェントシステム
- 協調的交通システム
- フレーム型データ構造の一論理的記述について
- 論理言語による異種DBSの統合化について
- 不均質プロセッサにおける疑似能動的多重化
- 移動体システムのトランザクションモデルと評価
- 2.1 社会を変えるデータベースシステム ( 2010年マルチメディアコミュニケーションと社会)
- 因果関係順序付け選択的グループ通信プロトコル
- 一般合意プロトコル
- 多データベースシステムに対する多エージェントシステム
- 自律的なデータベースシステムの協調動作
- フォールトトレラント因果順序保存グループ通信
- フォールトトレラントグループ通信
- フォールトトレラントグループ通信
- グループ通信での情報流制御
- フォールトトレラントグループ通信
- 束モデルを用いたグループ通信における情報流制御
- グループ通信における情報流制御
- グループ通信における情報流制御
- 分散型システムにおける安全なグループ通信
- P2Pオーバーレイネットワークにおけるピア間の信頼度
- P2Pオーバーレイネットワークにおけるピア間の信頼度
- Wide-area Group Communication Protocols : International Experiment
- 広域グループ通信プロトコルの設計および評価 : 国際実験
- 広域ネットワークのための能動的多重化手法
- 特集「高速ネットワークとマルチメディアアプリケーション」の編集にあたって
- 異種ネットワーク間における大規模グループ通信
- 分散オブジェクト環境における非同期なチェックポイント取得方法
- 大規模移動体システムにおける複合チェックポイント適用のためのリスタートプロトコル
- 分散オブジェクトシステムにおける耐障害トランザクショナルエージェントモデル(セッション3 : モバイル通信と分散処理)
- オブジェクト指向システムにおける役割に基づいた目的指向アクセス制御
- 5N-5 オブジェクトベースシステムのためのトランザクションに基づく目的指向アクセス制御
- 情報流制御のためのトランザクションに基づいた目的指向アクセス制御モデル
- 情報流制御のためのトランザクションに基づいた目的指向アクセス制御モデル
- 不均質プロセッサにおける疑似能動的多重化
- 分散システムのための役割に基づいたアクセス制御
- CBFアルゴリズムを用いたスーパーピア型2階層P2Pオーバレイネットワーク(セッション7-A : P2P(オーバーレイネットワーク))
- CBFアルゴリズムを用いたスーパーピア型2階層P2Pオーバレイネットワーク(セッション7-A : P2P(オーバーレイネットワーク))
- 自律分散マルチメディアオブジェクトシステム(セッション1 : 分散コンピューティング)
- オブジェクト指向システムにおける役割に基づいたアクセス制御
- 分散オブジェクトシステムにおける情報流制御
- 分散システムにおける情報流制御
- 分散システムにおける情報流制御
- システムの構成変更に対するやわらかいクラスタ間通信プロトコル
- システムの構成変更に対するやわらかいクラスタ間通信プロトコル
- グリッドコンピューティング環境における拡張ハッシングを用いた分散データベースシステム(セッション5-A : 分散システム)
- グリッドコンピューティング環境における拡張ハッシングを用いた分散データベースシステム(セッション5-A : 分散システム)
- グリッドコンピューティング環境における拡張ハッシングを用いた分散データベースシステム
- マルチストライピング : グリッドコンピューティング環境下におけるストライピング転送を用いたマルチキャストプロトコル(セッション1B 分散処理)
- 分散オブジェクトシステムを操作するためのモバイルエージェントモデル
- 分散オブジェクトシステムを操作するためのモバイルエージェントモデル
- コーラム方式に基づいたグループプロトコル
- 役割に基づくアクセス制御におけるオブジェクト間の情報流制御
- オブジェクトの多重化環境におけるメソッドの入れ子呼出し方式の最適化
- コーラム方式に基づいたグループプロトコル
- Virtual Universityにおけるデータベース演習の遠隔教育システムの研究
- QoSに基づいたマルチメディアオブジェクトの補償演算
- 多重化されたオブジェクト間の一貫性を保証するレプリカロック手法
- 分散オブジェクト環境におけるロールバック復旧方式と評価
- 分散オブジェクト環境におけるメッセージの順序付けプロトコル
- オブジェクト指向システムにおけるアクセス制御モデル
- オブジェクト指向システムにおけるアクセス制御モデル
- 特集「マルチメディア通信と分散処理」の編集にあたって
- 特集「マルチメディア分散・協調コンピューティング」の編集にあたって (マルチメディア分散・協調コンピューティング)
- 半順序ドメインを用いた一般合意プロトコル
- 半順序領域における分散型合意プロトコル
- 半順序領域における合意プロトコル
- 半順序領域における合意プロトコル
- 入れ子型トランザクションの並行実行によるデッドロック解除法
- 異種ピアプロセスグループのための分散協調プロトコル(セッション1-A : コミュニケーション・グループ通信・協調作業支援(1))