超逐次プログラミング : 高信頼並行プログラムの新しい開発手法の提案
スポンサーリンク
概要
- 論文の詳細を見る
並行プログラムのいやらしさは, プログラマの想定しなかったタイミングでバグが発生する点にある. プログラマが想定しなかったタイミング(「悪い非決定性」と呼ぶ)は, テストする人も想定できないことが多く, これらのバグの検出は困難であった. 我々は, この問題を根本的に解決する並行プログラムの新しい開発手法である「超逐次プログラミング」を提案する. 超連次プログラミングでは, 作成した並行プログラムをいったん逐次化し, 逐次化されたプログラムに対してテスト・デバッグを行なう. バグが除去できた段階で, 並行性を明示的に1つ1つ復元し, 最終的な並行プログラムを得る. 明示的に並行性を復元しなかった挙動に関しては, 最初の逐次化で導入された実行順序がデフォルトで保存される(「デフォルト逐次原理」と呼ぶ). デフォルト逐次原理により, 想定していないタイミング(悪い非決定性)は抑止され, 並行プログラムの高信頼化が達成できる. いったん逐次化されたプログラムに対する並行性の復元には, スーパーコンピュータなどで培われた逐次プログラムの並列化技術が利用できる.
- 一般社団法人情報処理学会の論文
- 1996-05-31
著者
-
内平 直志
東芝研究開発センター
-
川田 秀司
東芝研究開発センターシステム・ソフトウェア生産技術研究所
-
関 俊文
東芝研究開発センターシステム・ソフトウェア生産技術研究所
-
本位田 真一
東芝研究開発センターシステム・ソフトウェア生産技術研究所
-
川田 秀司
株式会社東芝ソフトウェア技術センター
-
川田 秀司
株式会社東芝研究開発センター
-
関 俊文
株式会社東芝 研究開発センター
-
本位田 真一
東芝研究開発センター
-
内平 直志
東芝 研開セ
関連論文
- マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法(モデル/理論,ソフトウェアエージェントとその応用論文)
- Location Scope : ロケーションアウェアソフトウェア開発支援手法の提案(位置情報サービス, ユビキタスITSとモバイルアプリケーション)
- 適応エージェントのためのユビキタスコンピューティングミドルウェア(エージェント)
- MANETにおける省資源性を考慮した位置依存情報収集手法(ネットワーク)
- CSTソリューションコンペティション2007及び2008の総括(ペトリネット,離散事象システム,一般)
- AI-2-1 CSTソリューションコンペティション2008 : 総括(AI-2.CSTソリューションコンペティション2008:表彰式・シンポジウム,ソサイエティ企画)
- AK-2-3 マルチカーエレベータ群管理アルゴリズムに関する研究動向 : CSTソリューションコンペティション2007の活動を通じて(AK-2.基礎・境界分野の研究最前線,ソサイエティ特別企画,ソサイエティ企画)
- CSTソリューションコンペティション2007 : 評価実験の詳細報告(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- AI-1-5 CSTソリューションコンペティション2007(総括)(AI-1. CSTソリューションコンペティション2007:表彰式・シンポジウム,依頼シンポジウム,ソサイエティ企画)
- 第21回ソフトウェア工学の自動化国際会議(ASE2006)開催および参加報告
- ソフトウェア設計に対するモデル駆動型検証プロセス(ソフトウェア分析・設計技法)
- 分散システム開発におけるモデル検査への視覚的支援手法(プロトコルと開発ツール)(新時代の分散処理とネットワーク(WebサービスとP2P))
- モデリングは教育できるか?(要求/教育)
- AS-3-4 CSTソリューションコンペティション2010の概要 : マルチカーエレベータの最適制御(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- 多数のノード取得攻撃に対応した無線センサネットワークにおける不正イベントの検知(センサネットワーク・P2Pネットワーク,ネットワークを支えるソフトウェア技術論文)
- プロセス間競合を考慮した自己適応システムの形式仕様構築
- Folksonomyマイニングに基づくWebページ推薦システム(エージェント応用システム,マルチエージェントの理論と応用)
- A-12-8 CSTソリューションコンペティション2007 : 課題と評価ツール(A-12.コンカレント工学,一般講演)
- AP-2-5 CSTソリューションコンペティション2007(概要)(AP-2.コンカレント技術研究の方向性,パネル討論,ソサイエティ企画)
- 三段階ネット指向ソフトウェア設計法
- 超逐次プログラミング : 高信頼並行プログラムの新しい開発手法の提案
- TA-2-2 高水準ペトリネットによるソフトウェア設計法(TA-2. 高水準ペトリネットのシステムとソフトウェア開発への応用,チュートリアル講演)
- 会話によるプログラミング : 動的並列オブジェクト指向言語の提案
- 代数的仕様と時制論理によるリアルタイムSAとオブジェクト指向設計の融合手法
- 仕様記述過程モデル化のための実験と分析
- 時相論理とその応用 (<特集>非標準論理とその応用)
- 時制論理に基づく仕様記述とそのデバッグ環境
- 知的プログラミングシステム (AI技術)
- 並列プログラムの知的プログラミング支援システムMENDELS(3) : 時制論理からの同期部の自動生成
- 並列プログラムの知的プログラミング支援システムMENDELS(2) : 部品再利用による本体部の生成
- 並列プログラムの知的プログラミング支援システムMENDELS(1) : システム構成
- センシングプログラムの退避行動を考慮した柔軟なセンサーネットワーク構築(センサネット)
- センシングプログラムの退避行動を考慮した柔軟なセンサーネットワーク構築(センサネット)
- モバイルエージェントによるバッテリ切れ避難システム : EASTER(ネットワーク/モバイル/ユビキタス, ソフトウェアエージェントとその応用論文)
- ペトリネットは便利な道具
- Ruby 処理系へのスナップショット GC の実装
- 知的移動エージェントによる低消費電力なワイヤレスセンサネットワークアプリケーションの構築(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- 知的移動エージェントによるマルチパーパスワイヤレスセンサネットワークアプリケーション(モバイルアプリケーション,ユビキタス時代を支えるモバイル通信と高度交通システム)
- ユビキタスアプリケーション向け移動エージェントの相互運用
- Event Calculusに基づく合意を用いたモバイルエージェントの協調(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- プロセス記述によるサービス合成のパーベイシブコンピューティングへの適用(モバイルコンピューティング)
- 階層構造制御に注目したモバイルエージェントフレームワークとそのマルチメディア応用(ネットワーク/モバイル/ユビキタス, ソフトウェアエージェントとその応用論文)
- 4A-4 QEMUによるHW/SW協調シミュレータの構築(設計・検証技術,一般セッション,アーキテクチャ,情報処理学会創立50周年記念)
- ソフトウェア論文座談会
- 産業界におけるソフトウェア・エンジニアリングの動向(ソフトウェアの品質保証について)
- 不確実な電力事業環境下における発電設備投資計画法
- 不確実な環境下における発電設備の投資計画の一手法(電力のOR)
- フェロモンモデル : 交通渋滞予測への適用(モデル/理論, ソフトウェアエージェントとその応用論文)
- 5ZC-6 並行プログラムに関するテスト・デバッグ方式
- 組込み制御用ソフトウェア次世代テスト・デバッグシステム
- 遺伝的アルゴリズムによるアナログLSIの素子配置
- タグに関連づけられた時間・場所の概念抽出(「Webインテリジェンス」及び一般)
- 8.パネル討論:エージェントの社会的インパクト(社会に向き合うエージェントシステム)
- マルチエージェントフレームワークBee-gentを用いた電力系統作業停止計画向け分散スケジューリングシステムの開発
- JADEを利用したマルチエージェントシステムの開発(研究のツールボックス 第6回)
- 契約による設計を用いたインタラクションの実装(エージェント・アーキテクチャ,マルチエージェントの理論と応用)
- インタラクション記述言語IOM/T(モデル/理論, ソフトウェアエージェントとその応用論文)
- 要求の重要度を用いたマルチエージェントシステムの分析モデル検証(モデル/理論,ソフトウェアエージェントとその応用論文)
- IMPULSE:KAOSを利用したマルチエージェントシステムの分析モデル構築(分析・設計技法,ソフトウェア工学の理論と実践)
- ゴール指向要求分析を用いたself-adaptiveシステムの構築
- 6.ユビキタス環境で活躍するエージェント(社会に向き合うエージェントシステム)
- ホロニック生産システムの協調機構
- 知的分散システムにおける高信頼放送通信機構 (新しいフォ-ルトトレランス技術論文小特集)
- 知的分散オペレ-ティング・システム
- 知的分散システムのア-キテクチャ
- 3P-12 XMLページの分解・再構築技術
- フィンガープリントキャッシュを用いた動的Webコンテンツの効率的な配信方式(ネットワークサービス基礎)
- ユビキタスパーソナライズエージェントによる買物支援サービスの実証実験
- 4.3 高信頼分散システム構築支援OS : 知的分散^OS (日本におけるオペレーティングシステム研究の動向)
- 知的分散OS : 放送型オブジェクト指向分散OS
- 多数のノード取得攻撃に対応した無線センサネットワークにおける複製ノードの分散検知(センサネットワーク・P2Pネットワーク,ネットワークを支えるソフトウェア技術論文)
- 無線センサネットワークにおけるFalse Eventの検知(無線・モバイルネットワーク,情報洪水時代のネットワークサービス)
- variable-size DBFによる分散ハッシュテーブルのトラヒック量削減(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- Ringed Bloom Filterによる分散ハッシュテーブルのトラフィック量削減(ミドルウェア,マルチメディア,分散,協調とモバイル(DICOMO2006))
- 分散ハッシュテーブルにおけるAND検索時のトラフィック量削減(エージェント・アーキテクチャ,マルチエージェントの理論と応用)
- ゴール指向要求工学方法論の共通用語モデルと共通パターン(ソフトウェア要求工学,インタラクション技術の原理と応用)
- ゴール指向要求工学の体系化のための共通用語(分析・設計技法)
- 無線センサネットワークにおける複数プログラムの動的配備
- トップエスイー「サイエンスによる知的ものづくり教育」
- 3. 制御用プログラムの試験 (<特集>「並行処理におけるプログラム試験」)
- 離散事象システムの網羅的シミュレーション
- シ-ケンス制御プログラムの検証技術
- トップエスイー : サイエンスによる知的ものづくり教育
- オブジェクト指向分散システムにおける放送待機冗長処理方式
- CSTソリューションコンペティション2010 : マルチカーエレベータの最適制御(CSTソリューションコンペティション2010,コンカレントシステム及び一般)
- 1-D-7 医療・介護サービスにおける音声つぶやきコミュニケーションによる連携業務のモデル化(特別セッション サービスサイエンス)
- 看護・介護サービスのための時空間を越えたコラボレーション支援
- 看護・介護サービスにおける複雑なプロセスのモデル化にむけて(グラフ,ペトリネット,ニューラルネット,及び一般)
- 看護・介護サービスにおける複雑なプロセスのモデル化にむけて(グラフ,ペトリネット,ニューラルネット,及び一般)
- 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
- 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
- モデルベース開発におけるブロック線図モデルの保守性向上手法の提案
- 仮想フィールドを用いた看護・介護サービスにおける音声つぶやきコミュニケーションの評価実験について
- A-12-13 節電と経済活性化を両立させるサービス設計(A-12.システム数理と応用,一般セッション)
- 音声つぶやきによる看護・介護の時空間コラボレーション支援 : システムの概要と試行評価結果
- 音声つぶやきによる看護・介護の時空間コラボレーション支援 : システムの概要と試行評価結果
- イベントログに基づいた行動型サービスの分析(システムと信号処理及び一般)
- イベントログに基づいた行動型サービスの分析(システムと信号処理及び一般)
- イベントログに基づいた行動型サービスの分析(システムと信号処理及び一般)
- イベントログに基づいた行動型サービスの分析(システムと信号処理及び一般)