分散プログラムにおけるデッドロック原因究明の定式化
スポンサーリンク
概要
- 論文の詳細を見る
本稿では, 分散プログラムにおけるデッドロック問題を解決する一手順について述べる. 問題の原因を究明するために, 本方式では, 動的スライスと時間ベクトルを用いる. 動的スライスは, プログラムの実行系列から抽出された, デバッグに必要な実行時点集合である. 時間ベクトルは, 動的スライス中の実行時点を半時間順序に従って整列するために用いる. この整列によって, デッドロックを引き起こす原因となる, 時間順序の不整合を起こしている送受信文列を発見できる.
- 一般社団法人情報処理学会の論文
- 1996-07-12
著者
関連論文
- 5U-2 異種センサネットワークを連携させるゲートウェイ機能のOSGi対応(センサネットワーク運用・制御,学生セッション,ネットワーク)
- 車内ネットワーク向けリアルタイムストリーム転送システムの開発 (インターネットアーキテクチャ)
- 端末自体の動きを用いた携帯端末向け個人認証(モバイルアプリケーション, ユビキタスITSとモバイルアプリケーション)
- 無線アドホックネットワークにおける位置依存情報複製配布方式のトラフィック削減手法(アドホックネットワーク, ユビキタスITSとモバイルアプリケーション)
- 無線アドホックネットワークにおける位置依存情報複製配布方式の高信頼化 : 複製配布に関する評価(セッション1 : データ放送)
- 無線アドホックネットワークにおける位置依存情報複製配布方式 : データアクセスモデルに関する検討(セッション2)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
- 無線アドホックネットワークにおける位置依存情報複製配布方式高信頼化に関する検討
- 異なるアドレス空間をシームレスに接続するIP層拡張の提案と実装 (社会基盤としてのインターネットアーキテクチャ論文特集)
- P2Pネットワークにおける地理的範囲探索の提案(パラレル,インターネットと情報倫理教育,一般)
- 5U-1 ユビキタス環境における異種センサネットワーク用ユーザインタフェースの開発(センサネットワーク運用・制御,学生セッション,ネットワーク)
- 仮想IP層のIPマルチキャストおよびモビリティへの適用(一般,研究開発テストベッド構築・利用,一般)
- センサGWの連携による複合イベント検知の実現(モバイルコンピューティング,モバイルアプリケーション,ユビキタス通信,モバイルマルチメディア通信)
- iUSB : カーネル空間からのネットワーク透過なUSBデバイス制御機構(MBL-UBI合同セッション3)
- ペン字・書道の遠隔実時間添削指導におけるマルチメディア同期方式の設計
- 異なるアドレス空間をシームレスに接続するIP層拡張の提案と実装(社会基盤としてのインターネットアーキテクチャ論文)
- 第3世代移動通信網を介した高速インターネットアクセスのためのステルス型ゲートウェイの提案と実装評価(高速ネットワークとマルチメディアアプリケーション)
- リファクタリング箇所特定支援のためのパターン記述言語(テスト技法・保守技術)
- センサデータからコンテキスト抽出を行うためのビデオ動画を利用したコンテキスト手動付与ツール
- プログラム変更に対処し易いプログラム依存グラフの一変種
- 履歴情報を利用したユーザエージェントの構成とそのブラウザへの適用
- 移動端末を用いた物品管理システムにおける位置推定アルゴリズムの評価(セッション5 : モバイルデータ管理)
- 移動端末による物品管理システムの実証実験
- 移動機器連携ロケーショントラッキング方式の提案(位置情報の利用)
- 準天頂衛星を利用したITS情報通信サービスの提案
- 差分更新を実現する分散オブジェクト再構成ミドルウェアの実装と検証(ミドルウェア, マルチメディア, 分散, 協調とモバイル(DICOMO2004))
- 無線網における高信頼マルチキャストのハイブリッド誤り回復方式の性能解析
- 試験ポリシを用いたリアルタイム分散オブジェクトシステム試験方式(交換)
- センサネットワークにおける無線通信を利用した効率的ソフトウェア配布方式(セッションB-7:センサネットワーク,無線方式)
- 3Dグラフィックスを用いたバイリンガルな歴史学習システムの開発(マルチメディアアプリケーション)
- 視覚特性を利用した画像型ディジタルコンテンツの不正コピー防止(セキュリティと社会, 多様な社会的責任を担うコンピュータセキュリティ技術)
- EPA法によるマルコフ連鎖解析のイーサネットLAN帯域管理理論構築への適用
- PL/Iの形式的定義について(4)
- PL/Iの形式的定義について(2)
- PL/Iの形式的定義について(1)
- 固定タグを用いた移動端末の測位方式(セッション2-A:RFID,センサーネットワーク)
- 固定タグを用いた移動端末の測位方式(セッション2-A:RFID,センサーネットワーク)
- セキュリティ対策選定の実用的な一手法の提案とその評価(セキュリティと社会)(プライバシを保護するコンピュータセキュリティ技術)
- タプルスペース通信の複製管理方法 (マルチメディア分散・協調コンピューティング)
- 複製付きタプルスペース通信の管理方法と実装
- 分散共有メモリシステムの複製管理方式
- 3Dグラフィックスを用いたバイリンガルな歴史学習システムの開発(マルチメディアアプリケーション)
- 遅延差のあるネットワークにおけるメンバ間公平性保証方式の特性評価 (ITSとモバイルコンピューティング)
- メンバ間公平性保証方式の同期機構の特性評価
- メンバ間公平性保証方式の同期機構の特性評価
- クラスタ型ネットワークにおける通信回線共有方式の提案と評価(マルチメディア通信プロトコル)
- 通信回線共有方式の耐障害性の検討
- 役割に基づくアプリケーションの振舞い制御
- マイクロコンピュータ用言語 PL/Iμの設計と作成
- 学習支援システムを組み込んだ3D仮想校舎の開発
- VRMLと学習支援システムを組合わせた仮想学校の構築
- P2Pネットワークにおける地理的範囲探索の提案(パラレル,インターネットと情報倫理教育,一般)
- P2Pネットワークにおける地理的範囲探索の提案(パラレル,インターネットと情報倫理教育,一般)
- センサGWの連携による複合イベント検知の実現(モバイルコンピューティング,モバイルアプリケーション,ユビキタス通信,モバイルマルチメディア通信)
- 1Y-3 センサとネットワークカメラの連携環境の構築(ネットワーク構築・管理技術,学生セッション,ネットワーク)
- 無線アドホックネットワークにおける位置依存情報複製配置手法(ユビキタスサービスを支えるネットワーキング技術論文)
- ネットワークサービス向けメモリ常駐型リレーショナルDBMSの設計と実現
- オーバレイセンサネットワークによる適応型 BEMS/HEMS の実現に向けて
- ドメインリーダに基づく複製管理方式の評価と改良
- 分散システムにおけるデータアクセス性能解析と複製管理方式
- 複数無線リンク上でのコネクション型通信手法の性能評価
- 複数無線リンク上での効率的コネクション型通信手法の提案
- 狭帯域電力線搬送でのGUIによる家電の遠隔操作の試み
- リモートディスプレイフレームワークによる家電ネッワークの試み
- ITSネットワーク狭域待時系マルチキャストのためのAdvanced Join方式とその評価 (ITSとモバイルコンピューティング)
- Advanced Joinによるマルチキャストグループ管理方式の提案
- 楽観的データ整合性モデルを用いた放浪型メッセージングシステム(ネットワークソフトウェア)
- 相互補完ネットワークにおける高信頼通信方式の検討(QoS)
- 相互補完ネットワークにおける高信頼通信方式の検討(QoS)
- 無線アドホックネットワークにおける位置依存情報複製配布方式 : データアクセスモデルに関する検討(セッション2)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
- iUSB : カーネル空間からのネットワーク透過なUSBデバイス制御機構(MBL-UBI合同セッション3)
- FECとバッファリングを利用した複数経路リアルタイムストリーミング通信の評価(セッション5: コンテンツ配信・遠隔会議)
- FECとバッファリングを利用した複数経路リアルタイムストリーミング通信の評価(セッション5: コンテンツ配信・遠隔会議)
- 携帯端末を想定したUSB機器のリモートプラグ&プレイの検討(ユビキタス・モバイルコンピューティング)
- 携帯端末を想定したUSB機器のリモートプラグ&プレイの検討(ユビキタス・モバイルコンピューティング)
- PAN2PANリアルタイムストリーミング通信における制御機構の開発(セッション6-B : マルチメディアストリーミング・QoS)
- PAN2PANリアルタイムストリーミング通信における制御機構の開発(セッション6-B : マルチメディアストリーミング・QoS)
- アドホックネットワークのための分散制御型無線多重アクセス方式
- マルチメディア無線多重アクセス方式の提案
- 車内ネットワーク向けリアルタイムストリーム転送システムの開発(サービス・システム開発,インターネットと環境・エコロジー,一般)
- モバイルマルチメディアストリーミングサービスのためのコンテンツ指向時空間的解像度制御方式(次世代移動通信ネットワークとその応用)
- 3U-8 フラットデータベースとエージェントを利用した企業内技術文書管理システム
- 分散 RAID 方式のストリーム供給能力について
- イーサネット上のVODシステムの性能問題について
- 分散RAID型VODにおけるデータ配置問題について(その2)
- 既存家電製品の遠隔制御を実現するHATの開発と評価(UBI2:情報家電)
- 既存家電製品の遠隔制御を実現するHATの開発と評価(UBI2:情報家電)
- 衛星回線でのシャドウイングによる影響を低減するパケット通信方式
- コンテンツ指向空間的解像度制御方式の実装と評価
- 選択的マルチメディア通信方式SMAPネットワークサービスの実装
- 企業内教育におけるモチベーションを高める遠隔教育の実践とその評価
- 1205 トランザクション時間データべースを活用したスケジュール短縮手法の提案(一般セッション)
- LDAPディレクトリのためのモデリング言語とディレクトリ管理プログラム自動生成システム
- モバイルイーサネット上のリアルタイム映像配信サービスの検討(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
- モバイルイーサネット上のリアルタイム映像配信サービスの検討(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
- 複数端末を用いた同期分散型マルチメディアデータ伝送のための一方式
- 複数端末を用いた同期分散型マルチメディアデータ伝送のための一方式
- RTPを利用した動画配信システムにおけるQoS制御方式
- SPINに基づくセキュリティプロトコル検証システム(マルチメディアネットワークシステム)
- 2ZC-9 P2PネットワークにおけるB+木を用いた多次元の範囲探索手法(P2P,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 移動機向けプッシュプロトコルの提案と評価