31¥¨§研究室紹介 ¦有田研究室の紹介
有田 五次郎Itsujiro Arita

九州産業大学 情報科学部 知能情報学科
Department of Intelligent Informatics, Faculty of Information Science, Kyushu Sangyo University

arita@is.kyusan-u.ac.jp, http://www.is.kyusan-u.ac.jp/~arita/

1. は じ め にと世に出始めた時代（Intel 8080：1974 年）であった。また、計算センターの運営に関与していて計算機の性能へ「研究室紹介」を書くことになったが、2003 年 3 月、の要求は「限界がない」ことを身をもって感じていた。

九州工業大学を定年退官し、九州産業大学情報科学部にそこで、研究の方向を「計算機アーキテクチャ」を中赴任した時に有田研究室は一旦閉じられて、今はない。

心に、下は「システムハードウエア」、上は「システムソ来年度、2005 年 4 月には第 1 期生が 4 年生になり、卒フトウエア」に定め、具体的対象として並列計算機とマ業研究生が配属されて新しい有田研究室が発足することになる。
新しい研究室で何をやっていくかは、配属された学生イクロコンピュータ応用から始めることにした。
これが現在まで続く「再構成可能ハードウエアの研究」、「高多重並列計算機の研究」につながっていった。

諸君が何をやりたいかによって決まる。とは言っても、研究室は教員と学生、院生で構成されるのであるから、教員が指導も助言も出来ないようなテーマをやりたいといわれても困る。
そこで、私が今までどんなことをやってきたか、今どんなことに興味を持っているかを知ってもらうことが重要になる。
九州工業大学を定年退官する祭に、恒例により「最終講義」というのをやらされた。その時に使用した PPT ス
ライドをもとに今までどんなことをやってきたか、今興味を持っていることなどについて少し紹介する。

2. こ と の 始 ま り
図 1 スライド１

スライド１：
ことは 32 年前、1972 年 4 月、九州大学大型計算機センターから設立（拡充改組）されたばかりの九州大学工学部情報工学科に移った時に始まる。

3. 再構成可変ハードウエアと関連研究

大学院終了以来、中央係数施設、大型計算機センターと共同利用計算センターの運営に携わってきたが、専門学科に移り、「有田研究室」を立ち上げることになった。
今と同じである。

スライド２、３：
新しいアーキテクチャを考えたとしても、それを作って動かしてみなければそれの良さも改良点も見つからな

それまでオペレーティングシステムや運用管理システ

い。外部に委託して試作するには莫大なお金がかかるが、ムなど汎用計算機のシステムプログラムに関する研究を大学にはそんなお金はない。そこで学生諸君と一緒に自行ってきたが、新しく設立された「情報工学科」にふさ分たちで作ることになる。

わしい研究は何であるか、である。

ハードウエアの設計と実装には多くのノウハウが必要

もちろんオペレーティングシステムに関する研究は将であり、手間も時間もかかる。このため当時の大学では来に渡って重要であるが、情報工学科であるからには「計ハードウエアの作成はほとんど不可能な状況であった。

算機システム」に関する研究が重要である。

これを可能にしたのが「記憶論理」のアイデアであった。

当時は LSI 技術の黎明期で、マイクロプロセッサがやっ論理回路と真理値表は等価である。真理値表を ROM

32

九州産業大学情報科学会誌 3 巻 1 号（2004 年 9 月）に書き込んでおき、入力信号で対応する真理値を読み出書き換え可能な RAM に置き換えると、論理回路の構成せば任意の組合せ回路が ROM1 個で実現できる。

が動的に変わる構造可変ハードウエアになり、スライド

例えばスライド 2(図 2) 中の図 1 の ROM が 2 ビット3(図 3) 中の図 4 のような RAM 論理素子を多数接続し4 ワードで、内容が表のようになっていれば、この回路は AND、OR の 2 つの論理素子と同等に動作する。

た回路は、学習あるいは成長するハードウエアになる可能性を持つ。1984 年 XLINX 社から発売された FPGAはまさにこのようなものであり、FPGA 出現以後はこれAddress00011011

Data10001

Data20111を利用して研究を進めた。

4. 並列計算機と関連研究
スライド４、５ (図 4, 図 5)：
記憶論理のアイデアにより大学でもハードウエアシステムを作ることが出来るようになった。それでは何を作るか？計算機の性能向上の方法の行き着くところは、高性能なマイクロプロセッサによる並列処理システムである、との考えの下、階層構造の高多重並列計算機に関する研究を行うことにした。今で言うスケーラブルマルチプロセッサシステムである。基本的アイデアは 2 つである。
（１）待ちなし並列プログラム
ノイマン型計算機は 1 つのメモリシステム（単一アドレス空間）の上で 1 台のプロセッサが逐次的に処理を進

図2

スライド２
リコンフィガラブル・ハードウエア
大学でハードウエアを作る・・・設計・実装が容易
MMCS の回路をメモリ（ROM）で実装
記憶論理 １９８０年めていく。分岐命令（Branch）はプロセッサの処理（プログラムの実行）が分岐先に移動することを意味する。

い ま 図 の よ う に 、1 つのメモリシステム（sharedmemory）のアドレス空間を 4 つに分割して、分割しまた、順序回路は組合せ回路と記憶素子で構成されるたアドレス空間の上で動作から、スライド 2(図 2) 中の図 2 のように任意の順序回する 4 台の CPU を持つシ路が ROM1 個と LATCH1 個で構成できる。

ステムを考える。

これは各種の論理素子とフリップフロップで構成されてきたディジタルシステムを、ROM と LATCH のみで構成しようとする全く新しい方式で、ディジタルシステムの設計・実装の手間を大幅に減少させることができる。

各 CPU はメモリアドレスの上位と同じ Id をもち、全メモリを参照することができるが、プログラムの実行は Id と同じメモリ上でしか行えないものとする。
このようなシステムにおける分岐命令はどのような意味を持つであろうか？
自分に属するメモリ（Id と同じ上位ビットを持つメモリ、ローカルメモリ）内で分岐する限り通常の分岐動作を行うが、これを外れたアドレスに分岐したときをどう考えるかである。自分はそこを実行できない！
これを、分岐先のアドレスに属する CPU への実行指

図3

スライド３
ＶＬＳＩ時代の新しいハードウエアデバイス
書き換え可能なＲＯＭを使用⇒
ＲＯＭ・ＳＲＡＭのＦＰＧＡ
１９８４年ＸＬＩＮＸ構造可変の新しいハードウエア
ＲＡＭ論理（論理関数が時間の関数）⇒成長するハード ？？？

令と考え、並列分岐（Parallel Branch、PB）命令と定義する。
各 CPU は自分のローカルメモリ上のプログラムを独立して実行している。PB 命令がきたとしても現在実行中の処理があればそれが終了するまで実行することは出来ない。そこで、CPU 内に FIFO キュー（先着順待ち行列）を置いて PB 命令を保持しておき、現在実行中の処理が完了したときにこのキューから PB 命令を取り出し

さらに、スライド 3(図 3) 中の図 3 のように ROM を実行を開始するタスク切り替え命令（Exchange Task、

33

有田研究室の紹介

EXT）命令を定義する。
このようなプロセッサは PC（プログラムカウンタ）をFIFO にすることによって容易に実現でき、このようなCPU で構成された並列計算機は、共有メモリ上に分散配置された並列プログラムを容易に実行できる。
この概念がスライド４ (図 4) 中の図に示してある。(a)が並列プログラムで⃝2 、⃝3 、⃝4 及び⃝6 、⃝7 が並列実行可能な処理であり、⃝5 及び⃝8 の実行前には前の全処理の完了を待つ必要がある。

これを (c) のように変換して 3 台のローカルメモリに分散配置して実行すると、各 CPU が完全に独立に動作しても (a) と全く同じ実行結果が得られる。これを「待ちなし並列プログラム」よぶ。
（２）階層構造結合網

図5

我々の計算機は概念的には前の図のように表される

スライド５
HYPHEN C–16 Z80 16 台
回線結合のメモリ共有型並列計算機
分散共有メモリ型クラスタ計算機のモデル

が、実装上は図に示すように CPU とローカルメモリは一体で構成される。従っである。この計算機は今で言う「ソフトウエア DSM のて、Network Interface はクラスタコンピュータ」である (多分世界最初の)。

メモリインタフェースであHYPHEN システムは、同じ構造の繰り返しというそり、アドレス情報とデータの構成原理からいくらでも大きなシステムを構成することができる。つまり今で言う「スケーラブル」の概念をを持つ。
各 PU はメモリアドレスの上位ビットに相当するシス持っている。HYPHEN の名前は- （ハイフン）でつテムアドレス (sad) を持ち、これによって識別される。

なぐように簡単に計算機をつないでいけるという意味を他 PU のメモリへのアクセスは sad とメモリ内のロケー込めた命名である。

ションを指定して行う。

スライド６ (図 6)：

このような PU をスライド４ (図 4) 中の図 2 のようなHYPHEN の研究を開始した時代は、アーキテクチャ階層構造の結合網で接続する。結合網の各ノードは sadの分野ではノイマン型アーキテクチャを超えるものとしの値によって行く先を切り替えるスイッチである。て、データフロー計算機、推論型計算機（いわゆる第 5世代計算機）の研究が主流を占めていた。
また、計算機のデータ伝送路（Bus）に関しては、ベクトル計算機に代表されるようにアクセス時間（レイテンシ）をなるべく短く、伝送能力（スループット）をなるべく高くする方向で研究されていた。

HYPHEN の主張は全く異なり、ノイマン型計算機の拡張と従来の Bus 能力で高多重並列計算機を構成するというものである。
これの根拠がスライド６の A「分散アルゴリズムの仮説」と B「モジュール分割の仮説」である。
図4

スライド４
階層構造マルチプロセッサシステム HYPHEN
１９８２年

この結合網を HR − Bus（Hierarchical Routing Bus）と呼び、HR − Bus で結合された並列計算機を HYPHEN（Highly Parallel Processing system on HierarchicalExchanging Network）システムと呼んだ。
スライド５ (図 5) はこのアイデアに基づいて 1983 年に作製した並列計算機実験システム HYPHEN C − 16

34

九州産業大学情報科学会誌 3 巻 1 号（2004 年 9 月）

さて、階層構造の通信路に関しては root（通信路の頂点）におけるボトルネックが問題とされる。これに対して仮説 B は次のように主張する。
この世に存在する巨大なシステムはすべて階層的に構成されており、これを 2 分割するとき、最小のインタフェース幅をもつ分割が存在する。分割されたシステムもまた巨大システムであるからこれも最小のインタフェース幅を持つシステムに分割できる。このように分割した時のインタフェー
ス幅は、システムがどんなに大きくなっても一定値を超えない。
計算機による問題解法は現実のシステムの数理モ
図 6 スライド６

デルによるシミュレーションである。現実のシステムが階層的に構成されており、そのインタフェース幅が一定値を超えないならば、数理モデルも階仮説 A は次のことを主張している。

層的に構成され、階層間のデータ参照量も一定値を超えない。

我々が「当面」手に入れることができる問題解決の手法は「アルゴリズム」である。すべての情報

この仮説が成り立てば階層構造の通信路の root はボ処理はアルゴリズムを見つけなければ実行できなトルネックにはならず、HR − Bus は必要なだけ PU をい。ヒューリスティックス、学習、推論なども、結増加させることができる完全にスケーラブルな通信路で果が予測できないだけで処理内容はアルゴリズムある。

として与えられる。

この仮説は本当に成り立つのであろうか？

アルゴリズムを高速に実行する手段は並列処理で宇宙は銀河系−恒星系−惑星系−惑星−物質−分子−あり、並列処理は分散アルゴリズムの実行である。

原子−・・・、人体は部位−器官−組織―細胞−、・・・、計

従ってアルゴリズムの最も効率の良い実行手段で算機は機能モジュール−論理回路−電子回路−・・・、企あるノイマン型計算機の並列化が、最も良い情報

業は社長−役員会−部−課−係−係員、世界の気象は地処理の効率化の手段である。

域の気象−地方の気象−局所の気象−地点の気象（空気の振る舞い）、大量のソートは部分ソート−部分ソート−

もちろんこれには保留条件がつく。ここに述べたもの

2 数の並べ替え、・・・などなど。

はいわゆる「論理的情報処理」が対象である。例えば網

これら各階層における構成要素の機能、動作は下位レ膜内で行われているであろう輪郭検出のための微分操作、ベルの構成要素の機能、動作によって決定されるが、そ聴覚細胞による非線形処理、右脳で行われるとされるパの内部での振る舞いを知る必要はない。

ターン処理、水晶体による光学的並列処理などはアナロ

例えば計算機の機能モジュールの動作は、構成要素のグデータ処理を含む全く異なった並列情報処理メカニズ

論理素子の 0、1 レベル動作が分かればよく、論理素子をムによって実現されるのであろう。

構成する電子回路の動作を知る必要はない。VLSI プロ
セッサの論理動作のシミュレーションは数千万の電子回路の動作のシミュレーションを伴うが、機能モジュールの動作を決定するためには論理回路レベルのデータを参照すればよく、下位層の電子回路レベルの膨大なデータを参照する必要はない。
学生諸君とこのような議論をしながら物を作っていくことは実に楽しいことである。新しい研究室もそのようなものになればよいと思う。
記憶論理に始まる再構成可能なハードウエアに関する研究、HYPHEN に始まる高多重並列計算機に関する研究はそれ以後も続けてきたが、現在においてもまだアーキテクチャ分野の重要研究テーマである。今後も続けていく必要のある研究である。

35

有田研究室の紹介

5. 現在興味を持っていること
スライド７

図 7 スライド７「昔語り」をしているうちに紙数がなくなってしまった。現在興味を持っていることについて簡単に触れる。
（１） インテリジェントネットワーク
現在のインターネット環境は情報の洪水であり、誰が検索しても同じ応答をする。同じキーワードでも個人によって必要な情報は異なる。個人の特性に応じて情報が出てくるようなネットワーク環境は出来ないか？
（２） fopol に関する研究

Robot は外界に働きかける実体である。Robot を裏返しにて、人間に働きかけるようにした実体は非常に有用な道具になるのではないか？