追加機能を含んだAda 95プログラムのためのタスキングデッドロック検出ツール
スポンサーリンク
概要
- 論文の詳細を見る
Ada 95並行プログラムにおけるタスキングデッドロックとは, 同期待ち関係により閉路が作られることでプログラムの実行ができなくなる状態である.そしてAda 95で作られたプログラムを対象としたタスキングデッドロック検出法が開発され実装が行われている.この検出法はTask-Wait-For Graphを構成しタスキングデッドロック検出の条件を調べることで検出を行う.しかし, この検出法は標準部分と追加機能で構成されるAda 95の標準部分のみを使用したプログラムしか対象としていないため, 追加機能を使用したプログラムの場合には検出が行えない.本発表では追加機能を含んだAda95プログラムのためのタスキングデッドロック検出ツールの開発を行った.タスキングデッドロックの要因である同期待ち関係を追加機能部分について調べ, 従来と別の種類の同期待ち関係が存在することが分かった.そこで従来のTask-Wait-For Graphをプログラムが追加機能を含んだ場合にも利用できるように拡張を行った.タスキングデッドロックの検出条件についても拡張を行い, 新たな種類のタスキングデッドロックの検出も行えるようにした.このように拡張・修正したAda 95プログラム向けのタスキングデッドロック検出法に基づき, 検出ツールの実装を行った.そして実際にツールを使ったタスキングデッドロックの検出例を示した.
- 社団法人情報処理学会の論文
- 2005-10-15
著者
-
後藤 祐一
久留米大学外科
-
後藤 祐一
埼玉大学大学院理工学研究科
-
程 京徳
埼玉大学大学院理工学研究科
-
藤乘 靖士
埼玉大学理工学研究科情報システム工学専攻
-
奈良 信介
埼玉大学理工学研究科情報システム工学専攻
-
後藤 祐一
埼玉大学理工学研究科情報システム工学専攻
-
程 京徳
埼玉大学理工学研究科情報システム工学専攻
関連論文
- OP-255-5 肝細胞癌におけるソナゾイド造影超音波画像と病理組織像との比較 : ソナゾイド造影超音波は腫瘍組織を反映しているのか(画像診断-3,一般口演,第110回日本外科学会定期学術集会)
- SF-031-1 超音波造影剤を用いた肝内血流動態評価による,びまん性肝障害の肝線維化評価(肝治療-2,サージカルフォーラム,第110回日本外科学会定期学術集会)
- D-023 情報セキュリティ工学データベースシステムISEDSのAPIの実現と応用(D分野:データベース)
- 情報セキュリティ工学データベースシステムISEDSの開発と応用(開発支援環境・自動化技術,ソフトウェア工学の理論と実践)
- 追加機能を含んだAda 95プログラムのためのタスキングデッドロック検出ツール
- 並列化による前向き演繹エンジンの高速化(シンポジウム)
- ENQUETE-BAISE:ユビキタスアンケートのための汎用電子アンケートサーバ (2004年情報学シンポジウム講演論文集--ユニバーサルとユビキタス) -- (ポスターセッション)
- ソフトシステムバスの実現について--ユビキタスコンピューティングのための永続システムを目指して (2004年情報学シンポジウム講演論文集--ユニバーサルとユビキタス) -- (ポスターセッション)
- ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法
- UMLによるプロテクションプロファイルのモデル化とその形式的検証(セキュリティ,フォーマルアプローチ論文)
- O-2-35 肝細胞癌切除例におけるソナゾイド造影超音波画像と病理組織像との比較検討(企画関連口演24 分子生物の臨床応用2,第64回日本消化器外科学会総会)
- P-3-266 進行肝細胞癌に対するIVR治療によるdownstaging後の肝切除の意義(肝 集学的治療,一般演題(ポスター),第64回日本消化器外科学会総会)
- P-2-403 肝切除の術前肝予備能判定としてFibroscanの有用性(肝 術前評価1,一般演題(ポスター),第64回日本消化器外科学会総会)
- 自己計測機能を含む並行プログラムの開発における計測仕様書とその応用
- 汎用前向き帰結演算システムEnCalのインタフェースの開発
- 強相関性原理を満たす決定可能な相関論理体系について
- 先行推論による予測とその論理基礎(予測技術の信頼性)
- ISO/IEC 15408に基づく情報セキュリティ要求管理データベース
- ユビキタスコンピューティングのためのソフトシステムバス技術
- 先行予測反応システム
- 先行予測反応システム
- Autonomous Evolutionary Information Systems and Active Database Systems: What is the Difference between them ? (人工知能基礎論研究会(第46回) 知識ベースシステム研究会(第54回) 合同研究会 テーマ:「アクティブマイニング」および一般)
- Autonomous Evolutionary Information Systems and Active Database Systems: What is the Difference between them ? (人工知能基礎論研究会(第46回) 知識ベースシステム研究会(第54回) 合同研究会 テーマ:「アクティブマイニング」および一般)
- 5C-3 Ada 95 プログラムのためのシステム従属ネット生成ツール
- 相関論理における強相関性原理
- ネットワークを利用した無記名投票システムの開発
- 前向き自動帰結演算システムの効率化
- 認識プロセスの相関論理モデルにおける認識的縮約操作について
- PS-031-1 肝細胞癌におけるソナゾイド造影超音波画像と病理組織像との比較(PS-031 肝 肝細胞癌-3,第112回日本外科学会定期学術集会)
- WS-1-5 肝・胆道疾患に対する肝切除後,肝不全の発生と対策 : 術前門脈塞栓の意義(WS-1 ワークショップ(1)肝臓外科手術後の合併症対策の進歩-病態に基づく新たな治療戦略-)
- Ada 2012プログラムのためのタスキングデッドロック検出ツール
- ユビキタスコンピューティングの基盤としての永続コンピューティング(研究成果報告)
- ユビキタスコンピューティングの基盤としての永続コンピューティング