JPH01108636A - タグ付きデータ処理装置 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は、情報処理装置に関し、特にタグ付きデータの
タグ・フィールドを解読する専用ハード択を高速化する
ことで、プロローグ（Ｐｒｏｌｏｇ　）ヤＩＪ　スプ（
Ｌｉ５ｐ　）等のプログラムを高速処理する情報処理装
置におけるタグ付データ処理装置に関するものである。

〔従来の技術〕

プロローグ、リスプ等の近年のプログラミング言語は、
プログラムの実行中に処理対象であるデータのデータタ
イプを検査し、実行する処理内容を決定する。この動的
なデータタイプの検査を高速処理するため、データタイ
プを示すタグ・フィールドとデータ値を示すバリュー・
フィールドからなるタグ付きデータを処理対象とするタ
グ・アーキテクチャがある。

〔発明が解決しようとする問題点〕

従来のタグ・アーキテクチャ及びマイクロプログラム制
御技術は、多方向分岐と絶対番地分岐を独立した機能と
して扱っていた。このため、プロローグの基本処理であ
るユニフィケーション処理で冗長なマイクロプログラム
分岐が発生していた。

第２図は、プロローグのユニフィケーションの処理フロ
ーである。２１が、タグ・フィールドの検査とバリー−
値の比較結果を使用した多方向分岐を行っているマイク
ロステップである。この多方向分岐機能をタグ分岐と呼
ぶ。２２は、ユニフィケーションが失敗した場合に実行
する失敗処理マイクロルーチンである。２３は、変数に
値を代入する場合に実行する代入処理マイクロルーチン
である。２４は、ユニフィケーションが成功した場合に
実行するマイクロステップである。このマイクロステッ
プ２４では、次に実行する機械語命令に分岐するための
絶対番地分岐を行っている。

しかし、その他のマイクロ操作を行っていないため、マ
イクロステップ２１で行っているタグ分岐で直接分岐で
きるとマイクロステップ数を少なくできる。

本発明の目的は、前記冗長なマイクロプログラム分岐を
タグ分岐機能と統合し、高速ガ情報処理装置を提供する
ことにある。

〔問題点を解決するための手段〕

前述の問題点を解決するために、本発明が提供するタグ
付きデータ処理装置は、マイクロプログラムに制御され
、データタイプを示すタグ・フィールドとデータ値を示
すバリュー・フィールドからなるタグ付きデータを処理
対象とし、バリュー・フィールドを格納するバリュー・
レジスタファイルと、前記バリュー・レジスタファイル
が出力する２つのバリー−値の大小比較を行う比較器と
、タグ・フィールドを格納するタグ・レジスタファイル
と、機械語命令コードを解読し、次に実行すルマイクロ
・ルーチンのマイクロ・アドレスを生成する機械語命令
解読器と、前記比較器が出力する比較結果信号と前記タ
グ・レジスタファイルが出力する２つのタグ値からマイ
クロプログラムの分岐タイプとマイクロ分岐アドレス番
号を出力するタグ分岐制御メモリと、前記タグ分岐制御
メモリが出力するマイクロ分岐アドレス番号からマイク
ロ分岐アドレスを出力するタグ分岐アドレスメモリと、
前記タグ分岐制御メモリが出力する分岐タイプを選択信
号とし、前記機械語命令解読器が出力するマイクロアド
レスと前記タグ分岐アドレ°“？＼５− スメモリが出力するマイクロアドレスを入力とする選択
器と、マイクロプログラム・シーケンサからなシ、前記
タグ・レジスタファイルが出力する２つのタグ値と前記
比較器の比較結果信号から前記機械語命令解読器が出力
するマイクロ分岐アドレスまたは前記タグ分岐アドレス
メモリが出力するマイクロ分岐アドレスへ分岐する制御
を行うことを特徴とする。

〔作用〕

本発明のタグ付データ処理装置では、タグ分岐制御メモ
リがバリュー・レジスタファイルの出力する２つのバリ
ー−値の比較結果とタグ・レジスタファイルの出力する
２つのタグ値からマイクロプログラムの分岐タイプを決
定することで、タグ分岐操作のなかで、次の機械語命令
に分岐するための絶対番地分岐を行う事を可能にしてい
る。

この結果、プロローグのユニフィケーション処理におい
て、ユニフィケーションが成功した場合のタグ分岐操作
の分岐先は、次に実行する機械語命令のマイクロルーチ
ンとな９、従来の処理方式よシマイクロステ、プ数を減
らすことが出来る。

〔実施例〕

本発明の実施例について、図面を参照して詳細に説明す
る。第１図は、本発明のタグ付きデータ処理装置の実施
例である。

１は、バリュー・レジスタファイルである。２は、バリ
ュー・レジスタファイルが出力する２つのバリュー・フ
ィールドの大小比較を行う比較器である。３は、タグ・
フィールドを格納するタグ・レジスタファイルである。

４は、次に実行する機械語命令を保持し、その機械語命
令コードを解読し、機械語命令のマイクロルーチンへ分
岐するためのマイクロアドレスを生成する機械語命令解
読器である。５は、比較器２の比較結果信号とタグ・レ
ジスタファイル３が出力する２つのタグ値を入力とし、
実行すべきマイクロ分岐タイプとタグ分岐の場合に分岐
すべきマイクロアドレスの指定するマイクロ分岐アドレ
ス番号を出力するタグ分岐制御メモリである。タグ分岐
制御メモリ５は、すで実現可能である。８は、タグ分岐
制御メモリ５が出力したマイクロ分岐アドレス番号から
マイクロ分岐アドレスを出力するマイクロ分岐アドレス
メモリである。６は、機械語命令解読器４が生成したマ
イクロアドレスとタグ分岐アドレスメモリ８が出力する
マイクロアドレスを入力とし、タグ分岐制御メモリ５が
出力する分岐タイプを選択信号とする選択器である。

プロローグの例を使用して動作説明を行なう。

説明を簡単にする為、データタイプは４種類とする。４
種類のデータタイプとは、タグ値が１０”の整数データ
、タグ値が″ｌ“の変数データ、タグ値がゝ２“の文字
データ、タグ値がゝ３“のリスト・データとする。これ
らのデータタイプは、例えば、タグ部はタグ・レジスタ
・ファイル３、バリー一部ハパリーー・レジスタ・ファ
イルＩＩＣ格納するものとする。リスト・データは、リ
スト・セルへのポインタとする。各データタイプの構造
は、本発明のタグ付きデータ処理装置に直接開学データ
に対するユニフィケーション処理では、同じデータタイ
プで、かつ、バリー一部が等しい場合、処理が成功し、
次のデータの処理に進む。

変数データに対する処理では、変数データにもう一方の
データを代入する処理を行なう。リスト・データに対す
る処理では、同じデータタイプの場合、リストの要素の
処理に進む。各処理の内容は本発明のタグ付きデータ処
理装置に直接関係しないので説明を省略する。

上記例の場合、タグ値は２ビツトである。比較器２の出
力は一致検出の場合′″ｌ”とする。例えば、タグ・レ
ジスタ・ファイル３の出力が共に整数データ、すなわち
“０“で、比較器２が一致を検出、すなわち、出力がＶ
″１“の場合、ユニフィケーション処理が成功するから
、タグ分岐制御メモリ５は選択器６が機械語命令解読器
４の出力するマイクロアドレスをマイクロプログラムシ
ーケンサ７に与える様に制御する。比較器２の出力が不
一致の場合は、タグ分岐制御メモリ５は、選択器６がタ
グ分岐アドレス・メモリ８の出力するマイクロアドレス
をマイクロプログラムシーケンサ７′に与える様に制御
する。タグ・レジスタ・ファイル３の出力が他の値でユ
ニフィケーション処理が成功する場合は、整数データで
ユニフィケーションが成功した時と同じ動作をする。他
の場合は、整数データで比較器２の出力が不一致の時と
同じ動作をする。

〔発明の効果〕

本発明のタグ付きデータ処理装置は、タグ分岐制御メモ
リが、バリー−値の比較結果とタグ値の組合わせから、
マイクロ分岐のタイプを決定し、タグ分岐操作の中で、
次に実行する機械語命令のマイクロルーチンへ絶対番地
分岐することを特徴とする。さらに、タグ分岐マイクロ
アドレスをタグ分岐アドレスメモリに記憶させることで
、機械語命令解読器が出力するマイクロアドレスを使用
した絶対番地分岐を行う場合のタグ分岐制御メモリによ
る不要なタグ分岐アドレスの格納を解消している。この
結果、プロローグのユニフィケーション処理の例にみら
れるような冗長なマイクロブログラム分岐をタグ分岐と
統合でき、従来よシ少ないマイクロステップ数でプロロ
ーグやリスプのプログラムを実行できるタグ付きデータ
処理装置を実現している。

【図面の簡単な説明】

第１図は本発明のタグ付きデータ処理装置の一実施例を
示すブロック図、第２図はプロローグのユニフィケーシ
ョン処理における処理フローを示す図である。 １・・・・・・バリュー・レジスタファイル、２・・・
・・・比較器、３・・・・・・タグ・レジスタファイル
、４・・・・・・機械命令解読器、５・・・・・・タグ
分岐制御メモリ、６・・・・・・選択器、７・−・・−
・マイクロプログラムシーケンサ、８・・・・・・タグ
分岐アドレスメモリ、２１・・・・・・タグ分岐を行っ
ているマイクロステップ、２２・・・・・・ユニフィケ
ーション失敗マイクロルーチン、２３・・・・・・変数
への代入処理マイクロルーチン、２４・・・・・・ユ箭
１図

Claims (1)

【特許請求の範囲】
1. マイクロプログラムに制御され、データタイプを示すタ
   グ・フィールドとデータ値を示すバリュー・フィールド
   からなるタグ付きデータを処理対象とし、バリュー・フ
   ィールドを格納するバリュー・レジスタファイルと、前
   記バリュー・レジスタファイルが出力する２つのバリュ
   ー値の大小比較を行う比較器と、タグ・フィールドを格
   納するタグ・レジスタファイルと、機械語命令コードを
   解読し、次に実行するマイクロ・ルーチンのマイクロ・
   アドレスを生成する機械語命令解読器と、前記比較器が
   出力する比較結果信号と前記タグ・レジスタファイルが
   出力する２つのタグ値からマイクロプログラムの分岐タ
   イプとマイクロ分岐アドレス番号を出力するタグ分岐制
   御メモリと、前記タグ分岐制御メモリが出力するマイク
   ロ分岐アドレス番号からマイクロ分岐アドレスを出力す
   るタグ分岐アドレスメモリと、前記タグ分岐制御メモリ
   が出力する分岐タイプを選択信号とし、前記機械語命令
   解読器が出力するマイクロアドレスと前記タグ分岐アド
   レスメモリが出力するマイクロアドレスを入力とする選
   択器と、マイクロプログラム・シーケンサからなり、前
   記タグ・レジスタファイルが出力する２つのタグ値と前
   記比較器の比較結果信号から前記機械語命令解読器が出
   力するマイクロ分岐アドレスまたは前記タグ分岐アドレ
   スメモリが出力するマイクロ分岐アドレスへ分岐する制
   御を行うことを特徴とするタグ付きデータ処理装置。