岡本 秀輔

キューマシン計算モデルは、式の木構造を幅優先に探索することで命令列を作り、式の中間結果をFIFOのキューに格納する計算モデルである。これまでにこの計算モデルの特徴を利用したスーパスカラプロセッサのモデル設計がなされてきた。本報告ではプログラム中の繰り返し操作・手続き呼び出しなどにおいて、データ順序の入れ替えやインデックス計算などを行う際に有用なデータ退避用のキューを導入した。まずキューマシン計算モデルに基づいたスーパスカラプロセッサの動作原理について説明し、続いてデータ退避用のキューについ...

命令フェッチをプログラム制御するための機構であるフェッチ分岐方式について述べる．この方式は，命令フェッチの動作を指定する命令の列をプログラム中に作り，実行時に演算命令などの命令と並列に処理を進めていく．基本的な性能評価の結果では，多くの分岐処理を他の命令実行とは並列に行えることが示され，1サイクルにフェッチする命令数を増やすことで，その性能を直接的に高められることが分かった．This paper describes a program controlled instruction fetc...

64ビットアーキテクチャの登場によって広大なアドレス空間が使用できるようになり、単一アドレス空間方式のオペレーティングシステムが研究されている。全てのプロセスが単一の仮想アドレス空間を共有するこの方式には、プロセス間でのデータ共有が効率良く実現できるという大きな利点がある。しかし、逆に、プロセス固有のデータを不正な参照から互いに保護するためには、単一の仮想アドレス空間上で保護領域の設定とアクセス制御を実現する必要がある。本稿では、キー/ロック方式を拡張した方式を、単一仮想アドレス空間上での...

キューマシン計算モデルは、キューの先頭にあるオペランドを取り出して、演算を行い、結果をキューの末尾に挿入する形で計算を進めるモデルである。これまでにこの計算モデルの特徴を利用して、関数型言語における並列関数呼び出しを高速化する研究がなされて来た。本報告ではこれに対して、手続き型の高級言語を対象として、モデルを式の評価に適用し、手続き呼び出しによって作られる木をソフトウエア・スタックで管理するスーパスカラ・プロセッサの設計について述べる。まず、キューマシン計算モデルの概要と特徴についてまとめ...