LISPマシンの試作 : インタプリータの構造とシステムの評価
スポンサーリンク
概要
- 論文の詳細を見る
LISPプログラムの高速計算を目的として開発したLISPマシンシステムの高速化インタプリータの構造と稼働したシステムの性能評価に関して論じている. 本マシンでは高速化のためインタプリータ全体がマイクロプログラム化されているほか以下の試みを行っている. (1)関数間の制御情報の受け渡しに高速ハードウェアスタックを用いている, (2)マイクロプログラムレベルの再帰呼出が可能, (3)変数のパインディング方式をシャローパインディング方式としている, (4)インタプリータで多用される条件判断において, If then elseタイプの判断を繰返すのを避け, フィールド抽出回路, マッピングメモリ出力等を直接用いた高速ジャンプ命令であるマルチウェイジャンプ命令を用いる. 稼働したマシンにおいて, 第2回LISPコンテストで出題されたプログラムを実行し性能評価を行っている. プログラムの実行時間はインタプリータモードにおいてはコンテストに参加した超大型計算機を含むいずれのシステムよりも短く, 本LISPマシンの有効性が実証された. またシステムの動特性の詳細を測定を行い, ハードウェアスタック, マッピングメモリ, 各種フラグレジスタ, 主記憶などがバランスよく有効に動作して本システムの持つ高速性を実現していることを示した.
- 社団法人情報処理学会の論文
- 1979-11-15
著者
-
瀧 和男
神戸大学工学部:神戸大学大学院工学系研究科修士課程システム工学専攻
-
前川 禎男
神戸大学工学部システム工学科
-
瀧 和男
(株)日立製作所大みか工場
-
金田 悠紀失
神戸大学工学部システム学科
-
前川 禎男
神戸大学工学部
-
前川 禎男
神戸大学工学部情報知能工学科
関連論文
- 神戸大LISPマシンPROLOGマシン(特集知られざる計算機)
- 並列論理シミュレーション向きタイムワープ機構の効率的な実現手法
- タイムワープ機構の新しい応用 : 並列無格子配線
- タイムワープによる並列論理シミュレータのコンパクトな実現手法
- バーチャルタイムによる並列論理シミュレーション (並列処理)
- バーチャルタイムによる並列論理シミュレーション
- 直接マイクロコード生成形コンパイラによるLISPマシンの高速化
- コンパイラ導入による試作LISPマシンの効率改善について
- LISPマシンの試作 : インタプリータの構造とシステムの評価
- LISPマシンの試作 : アーキテクチャとLISP言語の仕様
- 帰納的学習アルゴリズムの特性解析
- マイクロプロセッサアレイによる2次元ディジタルフィルタの実現
- PrologマシンPEKにおける中間コードとその実行方式
- 並列知識ベースマシンのアーキテクチャ
- PrologマシンPEKにおけるProlog中間コードについて
- シーケンシャル実行型PrologマシンPEK : ハードウェア構成
- 高速通信網FEN(Fast Exclusive Network)による並列・分散処理環境
- 並列Prolog処理系"K-Prolog"の実現
- Realization Problem for Two-Dimensional Systems
- Structure Theory for a Certain Type of Roesser's Model in Two-Dimensional Systems
- 構造化プログラムの日本語ドキュメント作成システム
- 特集「並列処理」の編集にあたって
- 時間系列を伴う例からの抽象化に基づく戦略学習
- 環境モデルを用いた移動ロボットRokkey IIの誘導
- マルチプロセッサシステムPARK上での並列Prolog処理系の実現
- 並列PrologマシンPARK上のProlog処理系の実現について
- ブロードキャストメモリ結合形マルチマイクロプロセッサシステムの試作
- BCプロセッサアレイと高並列マトリクス計算
- マトリクスブロードキャストメモリ結合形並列計算機によるn元連立一次方程式のO(n)時間計算
- 三角錐スリット光投影法による対象平面の距離とその姿勢の計測
- ソフトウェアDSMにおけるコヒーレント・キャッシュシステムの実装と評価
- 神戸大学工学部情報知能工学科前川研究室
- ネットワーク環境における分散共有メモリの実現と評価
- 事例に基づくプランニングを用いた対話管理手法
- 知能移動ロボットRokkeyIIとその誘導系
- 移動ロボットRokkey IIの超音波による環境認識及び障害物回避
- 異種超音波センサを用いた移動ロボットの環境認識と障害物回避
- カラー動画像からのオプティカルフロー検出に関する検討
- 密結合マルチプロセッサ上でのFGHC処理系の実現
- 密結合マルチプロセッサ上でのFGHC処理系の実現
- 結合の故障がホップフィールド型連想記憶の性能に及ぼす影響について
- 複合類推による物理現象の理論形成
- 2次元巡回形ディジタルフィルタの周波数領域における一設計法
- A Canonical Minimal Realization Algorithm for Bilinear Systems
- A Canonical Form and Minimal Canonical Realization for Bilinear Systems
- SYSTEM IDENTIFICATION BY MODIFIED GRADIENT METHOD
- 2次元状態空間モデルによるあるクラスの分布定数系のモデリング
- 分母分離形2次元伝達関数の平衡実現
- 2次元システムに対する逆システムの構成
- 分母分離形2次元伝達関数からの正準形実現
- 1次元動的補償器による2次元モデル適合問題
- 対話プランニングにおける複数事例適合メカニズムについて
- 概念束を用いた選言概念の逐次的学習
- 典型性に基づく概念学習アルゴリズム
- ワークステーション応用研究分科会活動報告
- ワークステーション応用研究分科会活動報告
- ワークステーション応用研究分科会活動報告
- Fornasini-Marchesinモデルを用いた2次元ディジタルフィルタの設計
- Prologへの並列化述語dosimの導入
- 2次元ディジタルフィルタのリアプノフ安定性
- 対称性をもつ3次元巡回形ディジタルフィルタの設計
- Fornasini-Marchesiniモデルに基づく2次元巡回形ディジタルフィルタの丸め誤差の解析と最適構成
- 2次元ディジタルフィルタの平衡実現と感度最小構造
- 特異値分解による分母分離形3次元ディジタルフィルタの設計
- 多入力出力線形システムの近似問題
- 丸め誤差最小の分母分離形3次元ディジタルフィルタの構成
- An Indentification Method of System Characteristics Using a System Model
- 多変数線形システムの低次元モデルによる近似
- カラ-動画像からのオプティカルフロ-検出に関する検討
- The Effect of Synaptic Disconnection on the Performance of Hopfield Associative Memories