パイプライン化依存性グラフを簡単化するための効率的な等価性判定アルゴリズム

籠谷 裕人  杉山 裕二  岡本 卓爾  

誌名
電子情報通信学会論文誌 D   Vol.J100-D   No.6   pp.616-626
発行日: 2017/06/01
Online ISSN: 1881-0225
論文種別: 論文
専門分野: 計算機システム
キーワード: 
非同期式制御回路,  パイプライン,  簡単化,  因果関係,  

本文: PDF(680.1KB)
>>論文を購入


あらまし: 
依存性グラフに基づいた非同期式パイプライン制御回路の設計方法が提案されている.この設計法の最終段階においては,依存性グラフと縮小した依存性グラフの等価性を何度も繰返し判定することにより,簡単化した依存性グラフが得られる.しかし,この判定には多数の状態をもつオートマトンを扱うため,その計算量は極めて大きい.本論文では,この等価性判定のための新たな効率的なアルゴリズムを提案する.まず,基本操作の実行順序の半順序をコンパクトに表現するために,基本操作直結因果関係グラフを定義する.次に,分岐系列ごとにの高々二つの部分グラフが一致するとき,かつそのときに限り,二つの依存性グラフが等価であることを証明する.更に,等価性の判定に必要な分岐系列のサイズと数が有限であることを証明する.最後に,上述の原理を用いたアルゴリズムの計算量が従来法に比べて大幅に小さいことを示す.