時間的特性を考慮した並列プロセスの形式的記述 (<特集>並列処理)

概要

論文の詳細を見る
並列計算では計算の動作内容だけでなく同期待ち時間や実行時間などの時間的特性が,計算の効率や正当性を与える上で重要な要素となる.しかし,従来の並列計算モデルではこうした時間的特性を明示的に表現することができなかった.そこで本論文では既存のプロセス計算の体系に時間経過と時間に依存した動作の表現能力を拡張することによって,時間的特性が表現可能な並列計算のための形式系を構築する.この形式系はプロセス計算の有用な特性を保持しながら,同時に並列プロセス間の通信や同期操作などの相互作用における動作内容とその時間性の両方を明示的に表現できる形式系である.本論文ではさらに,この形式系に基づく証明技法として時間性を考慮した二つのプロセスの等価性,時間的強等価と時間的観測等価を与える.これらは二つのプロセスが動作内容的にも時間的にも等価であることを調べるもので,特に時間的観測等価は内部的な動作を隠蔽して外部的相互作用だけに基づいて等価性を判定することができる.本論文ではこれらの等価性の代数的特性を調べ,さらに時間的強等価に基づく有限プロセスのための健全かつ完全な公理系を与える.最後に,線形接続されたマルチプロセッサ間の通信をこの形式系により記述し,その動作および時間性を解析する例を与える.
一般社団法人情報処理学会の論文
1993-04-15

時間的特性を考慮した並列プロセスの形式的記述 (<特集>並列処理)

スポンサーリンク

概要

著者

関連論文

スポンサーリンク