臨界領域法に基づく並行プロセスシステムのソフトウェア設計手法

• Item type: Journal(1)
• 公開日: 1983-09-15
• タイトル: 臨界領域法に基づく並行プロセスシステムのソフトウェア設計手法
• タイトル / 言語: en
• タイトル: Software Design Procedure for Concurrent Process System Based on Critical Region Method
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 京部大学情報処理教育センター
• 著者所属: 京都大学工学部情報工学科
• 著者所属(英): en
• 著者所属(英): Educational Center for Information Processing, Kyoto University
• 著者所属(英): en
• 著者所属(英): Department of Information Science, Faculty of Engineering, Kyoto University.
• 著者名: 広田, 豊彦; 大野, 豊
• 著者名(英): Toyohiko, Hirota; Yutaka, Ohno
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: いくつかのプロセスが共有変数へアクセスするような並行プロセスシステムを設計する際には 各プロセスごとの動作の正当性 すなわちセンマティックインテグリティのみならず 共有変数へアクセスの相互排斥 プロセスの間の同期 デッドロックの防止などの問題に直面する.筆者らは 各プロセスの共有変数へアクセスに着目して設計をすすめ 適切な臨界領域を設定することによって システムの正しい並行処理を保証するような設計手法として臨界領域法を開発した.臨界領域法では 各プロセスの処理を細分化した処理ステップと 処理ステップ間の順序関係を規定した処理要求記述に基づいて設計を行う.まず各処理ステップの共有変数アクセスを調べ 各プロセスに対して最適な実行手順の選択を行う.そして相互排斥 デッドロックの防止 シリアライザビリティ等を考慮して 臨界領域法を設定する.臨界領域法における設計手続きは 半順序集合上の操作として定式的に記述され (1)出発点となる処理要求記述が正しい限り 設計結果は並行処理に関する機能的正当性が保証される.(2)性能面をあまり問題にしない場合には 機械的に設計手続きをすすめることができる などの特徴をもつ.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 24, 号 5, p. 638-646, 発行日 1983-09-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764