トランザクションの並行実行での後戻りデッドロック
スポンサーリンク
概要
- 論文の詳細を見る
本論文では、複数の異種データベースシステム(DBS)に対する共通なデータ操作言語としてPrologを考え、分散型トランザクションをPrologで記述し、複数のDBSで並行実行する方法について考える。このとき、並行実行について、導出の前進時に、通信についてデッドロックを防止する方法は既に[TAK87]で論じてあるので、本論文では、後戻り時のデッドロック状態を検出し、解除する方法について論じる。
- 一般社団法人情報処理学会の論文
- 1988-09-12
著者
関連論文
- 異種ピアプロセスグループのための分散協調プロトコル(セッション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
- 広域グループ通信プロトコルの設計および評価 : 国際実験
- 広域ネットワークのための能動的多重化手法
- Mobile Agent Model for Fault-tolerant Objects Systems (特集:高速ネットワークとマルチメディアアプリケーション)
- Nested Invocation Protocol on Object Replicas (特集:高速ネットワークとマルチメディアアプリケーション)
- 特集「高速ネットワークとマルチメディアアプリケーション」の編集にあたって
- 異種ネットワーク間における大規模グループ通信
- Information Flow Control among Objects in Role-based Access Control Model (特集 マルチメディアコミュニケーションシステム)
- A Method for Dynamic Reorganization of a Database (特集:マルチメディアコミュニケーションシステム)
- A Framework for Secure Distributed Workflows (特集:マルチメディアコミュニケーションシステム)
- Information Flow Control in Role-based Model for Distributed Objects
- Group Protocol for Exchanging Multimedia Objects in a Group (特集:マルチメディアネットワークシステム)
- 分散オブジェクト環境における非同期なチェックポイント取得方法
- 大規模移動体システムにおける複合チェックポイント適用のためのリスタートプロトコル
- 分散オブジェクトシステムにおける耐障害トランザクショナルエージェントモデル(セッション3 : モバイル通信と分散処理)
- オブジェクト指向システムにおける役割に基づいた目的指向アクセス制御
- 5N-5 オブジェクトベースシステムのためのトランザクションに基づく目的指向アクセス制御
- 情報流制御のためのトランザクションに基づいた目的指向アクセス制御モデル
- 情報流制御のためのトランザクションに基づいた目的指向アクセス制御モデル
- 不均質プロセッサにおける疑似能動的多重化
- 分散システムのための役割に基づいたアクセス制御
- CBFアルゴリズムを用いたスーパーピア型2階層P2Pオーバレイネットワーク(セッション7-A : P2P(オーバーレイネットワーク))
- CBFアルゴリズムを用いたスーパーピア型2階層P2Pオーバレイネットワーク(セッション7-A : P2P(オーバーレイネットワーク))
- 自律分散マルチメディアオブジェクトシステム(セッション1 : 分散コンピューティング)
- オブジェクト指向システムにおける役割に基づいたアクセス制御
- 分散オブジェクトシステムにおける情報流制御
- 分散システムにおける情報流制御
- 分散システムにおける情報流制御
- システムの構成変更に対するやわらかいクラスタ間通信プロトコル
- システムの構成変更に対するやわらかいクラスタ間通信プロトコル
- グリッドコンピューティング環境における拡張ハッシングを用いた分散データベースシステム(セッション5-A : 分散システム)
- グリッドコンピューティング環境における拡張ハッシングを用いた分散データベースシステム(セッション5-A : 分散システム)
- グリッドコンピューティング環境における拡張ハッシングを用いた分散データベースシステム
- マルチストライピング : グリッドコンピューティング環境下におけるストライピング転送を用いたマルチキャストプロトコル(セッション1B 分散処理)
- 分散オブジェクトシステムを操作するためのモバイルエージェントモデル
- 分散オブジェクトシステムを操作するためのモバイルエージェントモデル
- コーラム方式に基づいたグループプロトコル
- 役割に基づくアクセス制御におけるオブジェクト間の情報流制御
- オブジェクトの多重化環境におけるメソッドの入れ子呼出し方式の最適化
- コーラム方式に基づいたグループプロトコル
- Virtual Universityにおけるデータベース演習の遠隔教育システムの研究
- QoSに基づいたマルチメディアオブジェクトの補償演算
- 多重化されたオブジェクト間の一貫性を保証するレプリカロック手法
- 分散オブジェクト環境におけるロールバック復旧方式と評価
- 分散オブジェクト環境におけるメッセージの順序付けプロトコル
- オブジェクト指向システムにおけるアクセス制御モデル
- オブジェクト指向システムにおけるアクセス制御モデル