数式処理計算機FLATSのアーキテクチャ
スポンサーリンク
概要
- 論文の詳細を見る
数式処理に代表される大規模記号処理プログラムを実行するためには, 汎用計算機は記憶容量, 演算速度, 機能の面で不十分である. したがって, これらのプログラムを本格的に実用化するために専用アーキテクチャの開発が不可欠である. 数式処理計算機FLATSは数式処理プログラムおよびその他のLisp応用プログラムを高速かつ安全に実行することを目的とした計算機である. 本論文ではFLATSで用いられた高速化技法およびアーキテクチャについて述べる. 命令形式としてLispに適したやや低レベルの命令セットを選択し, ハッシング, ガーベジ・コレクション, リスプ基本関数など重要な命令を加えた, アーキテクチャはLisp実行に最適化したパイプライン構成のCPU, 2本のスタック, 3並列読み出しスタックメモリ, 命令・スタック・セル領域独立の組のキャッシュメモリ等により, 関数呼び出し, 条件分岐などが多発するプログラムでも速度低下を防止している. また並列ハッシングをハードウェアで実現することにより, 間接アドレシングとほぼ同等の速度でハッシング操作を実現した. その結果, 基本素子速度またはクロックが8倍程度速い汎用計算機と同等以上の性能を上げ, Lisp専用アーキテクチャの有効性を示した.
- 一般社団法人情報処理学会の論文
- 1986-01-15
著者
-
平木 敬
電子技術総合研究所,東京大学理学部情報科学科
-
後藤 英一
東京大学理学部
-
後藤 英一
東京大学理学部情報科学科 理化学研究所情報科学研究室
-
平木 敬
電子技術総合研究所電子計算機部計算機方式研究室
関連論文
- 難読化コンパイラのユーザによる保護強度調整機構(コンピュータシステム技術,2009年並列/分散/協調処理に関する『仙台』サマー・ワークショップ(SWoPP仙台2009))
- FPGA基板を用いたモンテカルロ碁の高速化(アクセラレーションと回路設計,2009年並列/分散/協調処理に関する『仙台』サマー・ワークショップ(SWoPP仙台2009))
- 動的逆アセンブル手法の高速化(ハードウェアアクセラレーション,SWoPP佐賀2008-2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ)
- 高信頼性マルチホーミング通信方式(ネットワーク,SWoPP佐賀2008-2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ)
- データフロー計算機 SIGMA-1 の基本性能評価
- 実時間用並列計算機アーキテクチャの検討
- 並列記述言語DFCIIの命令レベルデータ駆動計算機に対する構造文処理
- 同期構造を埋め込んだSIGMA-1用高級言語DFC II
- 命令レベルデータ駆動計算機における効率的な分岐命令の設計
- 科学技術計算用データ駆動計算機SIGMA-1における入出力の実現
- SIGMA-1用言語DFCに対する拡張機能の提案
- 科学技術計算用並列計算機におけるベンチマークプログラム : その構成思想
- 科学技術計算用データ駆動計算機SIGMA-1LSI版のネットワーク構成
- 科学技術計算用データ駆動計算機SIGMA-1のモニタ
- 科学技術計算用データ駆動計算機SIGMA-1のソフトウェア環境
- 簡潔データ構造による全文検索のハードウェアを用いた高速化(ハードウェアアクセラレーション,SWoPP佐賀2008-2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ)
- 分散共有メモリアクセスの優先度制御(ARC-9:並列処理2,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- トランザクショナルメモリのための性能評価手法(ARC-9:並列処理2,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- データ駆動計算機のアーキテクチャ最適化に関する考察
- データ駆動計算機EM-4の負荷分散
- データ駆動計算機EM-4のパイプライン構成
- データ駆動計算機EM-4のプロトタイプの構成
- データ駆動計算機EM-4における待ち合せ機構
- データ駆動計算機EM-4における要素プロセッサのシングルチップ化の検討
- データ駆動型シングルチッププロセッサのアーキテクチャ
- データ駆動型シングルチップによる高並列計算機の実行制御方式
- 電磁気学の教科書について (1974年6月8日)
- 日本における計算機の歴史 : パラメトロン計算機PC-1
- 連載：理学のキーワード : 第29回
- 学会誌・論文誌の分離発行にあたって
- プログラミング言語MLのCUDA向け拡張
- SIMD型計算機向けループ自動並列化手法
- 動的推定によるプリフェッチ量最適化
- Webブラウザを用いた長距離データ転送の高速化
- コヒーレントでないメモリシステムへのアーキテクチャ支援
- Ruby用仮想マシンにおけるAOTコンパイラ
- メニーコアプロセッサ向き共有キャッシュ配分方式
- マップ型履歴を用いたプリフェッチ方式とキャッシュ置換方式の協調動作
- BLアドレシングを用いた数値計算の高速化
- 超並列準汎用計算機GRAPE-DRによる重力多体問題シミュレーションおよびLU分解
- オフライン環境における多様性の高い実行時自己改変ソフトウェア(2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWoPP2010)
- 日米間QoSによるLFN高速化実験と分散KVSの構築(研究発表,ネットワーク研究開発テストベッド運用・利用,一般)
- TCPによる長距離ディスク間データ転送の高速化
- 省ハードウェア資源のフィードバックつきハイブリッドプリフェッチ方式
- 省ハードウェア資源のフィードバックつきハイブリッドプリフェッチ方式
- 部分的試行に基づく動的共有キャッシュ分割方式
- GeForce GTX 280 vs. Cell
- 置換データの性質に着目した動的キャッシュパーティショニング
- 追い出しラインに着目したプリフェッチスロットリング手法
- フィードバックを用いたハイブリッド・プリフェッチ方式
- パケット喪失履歴に基づいたTCP幅輳制御方式(2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWoPP2010)
- 元会長 高橋秀俊先生を悼む
- 高橋秀俊先生の業績と横顔
- 外野から見た物理学
- MTAC-Mathematical Tabulative Automatic Computing (数値計算のアルゴリズムとコンピュ-タ-)
- 連想記憶(Hashing)とその応用 (実験整数論および組合せ理論と計算機)
- 外国における教育状況
- 箱入娘及び$L^6$ : 解法と記述言語 (計算機によるゲームとパズルをめぐる諸問題研究会報告集)
- Acceleration of the Relaxation Method by an Integro-Differential Process (科学計算基本ライブラリーのアルゴリズムの研究会報告集)
- IFIP 74年東京大会について
- 4p-GA-9 多層磁性薄膜の回転磁化特性の計算機による数値解析
- 11p-L-9 雲母劈開面上の単結晶Co-Permalloy複合膜の磁化特性
- 交換相互作用で結合された多層磁性薄膜
- IFIP活動状況について
- 分散垂直異方性薄膜の抗磁力 : 磁性(薄膜)
- 6p-A-8 Gd/Ni-Fe-Co複合膜における反平行結合
- 6a-D-12 磁気カー効果強調の試み
- 3a-M-3 はんぱ電荷検出器データのOn-Line処理
- 多層薄膜の三軸異方性 : 磁性 : 薄膜
- 原子および分子の電子構造計算における直接捜索法 (科学計算基本ライブラリーのアルゴリズム)
- 数式処理プロセッサ
- OVF (Over Flow) Free Computing (数値計算のアルゴリズムとコンピュ-タ-)
- ハッシング・プロセッサ
- 論文誌の国際化
- 人工知能について
- 最近の電子計算機技術
- 計算機による数式処理と物理学への応用
- 計算機の信頼性
- 計算機による数式処理の現状
- IFIPの活動について
- 生きた学問・死んだ学問
- 計算機の将来 : パネルディスカッション
- RL-001 FPGAを用いた広帯域高遅延ネットワーク向けの利用可能帯域推定(L分野:ネットワーク・セキュリティ,査読付き論文)
- 科学計算専用機 (最近のコンピュ-タシステム) -- (専用プロセッサ)
- 二重薄膜の異方性: 磁性 : 微粒子,薄膜
- 磁性薄膜のスイッチング曲線のブラウン管による観測
- 5p-D-11 二重薄膜の磁化曲線 (II)
- ITVカメラから計算機への入力装置 : 測定技術, 音響
- 5p-D-10 二重薄膜の磁化曲線 (I)
- 数式処理計算機FLATSのアーキテクチャ
- 8 Dirac Monopole の宇宙空間での振舞について(I. 研究報告)
- 記憶装置の将来
- Dirac Monopale(遊離単一磁極)
- 新しい計算機素子
- 電子計算機
- デイジタル計算技術は物理測定に如何に適用されるか
- 19B-9 Digital計算技術は物理測定に如何に適用されるか
- 高周波磁気増幅器
- 計数型自動計算機
- 7p-A-2 Magnetic Monopole