パーソナル逐次型推論マシンPSIの評価 : 実行速度とハードウェア各部の性能について
スポンサーリンク
概要
- 論文の詳細を見る
個人利用型Prolog専用マシンPSIの評価を行った.実行速度に関する評価と,Prologの高速実行向きに導入したキャッシュメモリ,レジスタファイル,分崎ハードウェアの効果について,PSIを改良,再設計する立場から測定し評価を加えた.処理速度は,DEC-260上のDEC-10Prolog (コンパイラ版)と同等であることが確認されたが,コンパイラによる最適化処理の容易なプログラムではDECが速く,複雑なユニフイケーションやバックトラックなどの動的処理の多いプログラムではPSIの方が速い傾向を持つ.キャッシュメモリについては,ヒット率がオペレーティングシステムを除く応用プログラムで96%と高く,Prologに対してキャッシュメモリが十分有効であること,ストアイン(ライトバック)方式が効率的なこと,容量を8k語から削減できることが判明した.またメモリアクセスの発生頻度やreadとwriteの出現比率なども明らかとなった.レジスタファイノレについては,マイクロ命令による直接アドレス指定の利用頻度が高いこと,ベース相対指定などの方式は改良の余地があること,容量を1k語から削減可能なことが明らかとなった.分岐機能については,タグ値にもとづく多方向分岐,条件分岐の高い出現比率が確率され,Prologの高速実行向きハードウェアの最適化に関する指針が得られた.
- 一般社団法人情報処理学会の論文
- 1987-12-15
著者
-
瀧 和男
(財)新世代コンピュータ技術開発機構
-
瀧 和男
新世代コンピュータ技術開発機構
-
中島 浩
京都大学工学部
-
三石 彰純
三菱電機(株) 情報電子研究所
-
中島 浩
三菱電機
-
中島 浩
三菱電機(株)
-
中島 克人
(財)新世代コンピュータ技術開発機構
-
三石 彰純
三菱電機(株)
-
中島 克人
三菱電機
関連論文
- バーチャルタイムによる並列論理シミュレーション (並列処理)
- バーチャルタイムによる並列論理シミュレーション
- 不規則問題に対する並列化コンパイル手法
- 並列化コンパイラTINPARにおけるスカラ変数処理
- 不規則アクセスを伴うループの並列化コンパイル技法 : Inspector/Executorアルゴリズムの高速化
- HDTV対応低消費電力MPEG2 MP@HL動き検出LSIの開発
- 高速低消費電力論理回路方式ASDLのパイプライン化手法とその評価
- マルチPSIにおける接続ネットワークの試作と評価
- 並列推論マシンPIM/c : 概要
- 高速モードと低消費電力モードを有する2線式論理回路の設計手法(デザインガアイ2006-VLSI設計の新しい大地を考える研究会)
- 高速モードと低消費電力モードを有する2線式論理回路の設計手法(論理・回路設計,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 高速モードと低消費電力モードを有する2線式論理回路の設計手法(論理・回路設計,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 知識ベース操作システムSIGMAの構築と評価実験
- 知識ベースを用いたヘルプシステム
- 集合の概念に基づく知識表現と推論
- 静的解析による並列論理型言語KL1のメッセージ通信最適化
- 並列論理型言語処理系KLICにおける通信の高速化
- 並列論理型言語KL1の最適化手法
- 並列論理型言語KL1の最適化手法
- PIM/mフロントエンド・プロセッサの速度性能評価
- 分散環境における構造体管理
- PSI-IIの性能評価 : If_Then_Else,Neck_Cut
- パーソナル逐次型推論マシンPSIの評価 : 実行速度とハードウェア各部の性能について
- PSIへのコンパイラ向きProlog命令の試験実装と評価
- マルチPSI要素プロセッサPSI-IIのメモリ管理とプロセス管理
- マルチPSI重要素プロセッサPSI-IIの最適化手法
- マルチPSI要素プロセッサPSI-IIのアーキテクチャ
- プラント運転支援向け分散協調機構
- 知識ベース管理システムKAPPAのデータ・モデル : NF2を基にしたモデル
- D-8-8 ISAR 画像における三次元形状類別
- レーダパルス識別へのSVMの適用
- D-8-11 隠れマルコフモデルを用いたレーダパルス識別手法の評価
- 隠れマルコフモデルによるレーダパルス識別
- D-8-4 隠れマルコフモデルによるレーダパルス識別
- 遺伝的アルゴリズムによるLSIパッド位置設計
- D-8-4 LSIワイヤリング位置設計への遺伝的アルゴリズムの適用
- データマイニングシステムKnodiasによる健康診断データの解析
- 有限メモリ空間で相関ルールを抽出するマイニングアルゴリズム
- Knodiasにおけるデータの性質に着目した相関ルール抽出の効率化
- 高速論理回路方式ASDDL/ASD-CMOSの論理合成手法(システムオンシリコン設計技術並びにこれを活用したVLSI)
- 高速論理回路方式ASDDL/ASD-CMOSの論理合成手法(システムオンシリコン設計技術並びにこれを活用したVLSI)
- 2線2相論理回路方式ASDDL/ASD-CMOSの論理合成手法(VLSIの設計/検証/テスト及び一般論理合成及び高位合成)
- 2線2相論理回路方式ASDDL/ASD-CMOSの論理合成手法(VLSIの設計/検証/テスト及び一般 論理合成及び高位合成)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 2線2相論理回路方式ASDDL/ASD-CMOSの論理合成手法(VLSIの設計/検証/テスト及び一般 論理合成及び高位合成)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 2線2相論理回路方式ASDDL/ASD-CMOSの論理合成手法(VLSIの設計/検証/テスト及び一般 論理合成及び高位合成)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 2線2相論理回路方式ASDDL/ASD-CMOSの論理合成手法
- 高速低消費電力論理回路方式ASDLのパイプライン化手法とその評価
- 1.5MLIPS40ビット推論プロセッサ
- 大学発知の事業化と地域活性化 パネルディスカッション (日本ベンチャー学会第11回全国大会)
- 温度並列シミュレーテッドアニーリング法に基づくスタンダードセル配置プログラム
- 並列オブジェクトモデルに基づくLSI配線プログラム (並列処理)
- マルチPSIのネットワーク・ハードウェア構成
- マルチPSIシステムとその接続方式
- スタック領域が不要な深さ優先順コピー型ゴミ集め方式
- B-20-12 TS-CDMAによる超多重RFIDトランスポンダ向け同期回路の検討(B-20.ユビキタス・センサネットワーク,一般講演)
- 超多重RFIDシステムの高位モデル化とバックエンド設計への応用(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- 超多重RFIDシステムの高位モデル化とバックエンド設計への応用(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- 超多重RFIDシステムの高位モデル化とバックエンド設計への応用(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- 超多重RFIDシステムの高位モデル化とバックエンド設計への応用(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- 超多重RFIDシステムの高位モデル化とバックエンド設計への応用
- TD-CDMAによる輻輳制御を用いたRFIDシステム向けトランスポンダのIC設計と評価(回路設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- TD-CDMAによる輻輳制御を用いたRFIDシステム向けトランスポンダのIC設計と評価(回路設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- TD-CDMAによる輻輳制御を用いたRFIDシステム向けトランスポンダのIC設計と評価(回路設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- TD-CDMAによる輻輳制御を用いたRFIDシステム向けトランスポンダのIC設計と評価(回路設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- RSA暗号用高速べき乗剰余演算器の設計
- RSA暗号用高速べき乗剰余演算器の設計
- RSA暗号用高速べき乗剰余演算器の設計
- 非対称な信号遷移を用いた高速論理回路方式(回路設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- 非対称な信号遷移を用いた高速ダイナミック回路の論理合成手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 非対称な信号遷移を用いた高速ダイナミック回路の論理合成手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 非対称な信号遷移を用いた高速ダイナミック回路の論理合成手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 非対称な信号遷移を用いた高速ダイナミック回路の論理合成手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 非対称な信号遷移を用いた高速論理回路方式(回路設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 非対称な信号遷移を用いた高速論理回路方式(回路設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 非対称な信号遷移を用いた高速論理回路方式(回路設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 分散環境におけるユニフィケーションの実現
- パネル討論会 / 並列計算機の実用化・商品化を逡巡させる諸要因とは : その徹底分析と克服 ( 並列処理 シンポジウム JSPP 92 報告)
- 超並列プロトタイプ計算機JUMP-1の構想
- マルチPSIにおける並列処理とその評価 - 小粒度高並列オブジェクトモデルに基づくパラダイムについて -
- メッセージ交換型並列計算機のための並列化コンパイラTINPAR
- 並列化コンパイラTINPARにおける専用通信ライブラリの実装と性能評価
- メッセージ交換型並列計算機のための並列化コンパイラTINPAR : 最適化手法と性能評価
- メッセージ交換型並列計算機のための並列化コンパイラ
- プログラム並列化におけるデータ分割支援システム
- 特集「並列処理」の編集にあたって (並列処理)
- 産学官連携&大学発ベンチャーシリーズ(2)LSI設計技術の研究からベンチャー起業へ
- 視角制限ピクセル並列処理によるボリューム・レンダリング向きの超高速専用計算機のアーキテクチャ
- ピクセル並列処理によるボリューム・レンダリング向きの超高速専用計算機アーキテクチャー
- ピクセル並列処理によるボリューム・レンダリング向きの超高速専用計算機アーキテクチャ
- ボリュームレンダリング専用並列計算機ReVolver/C40の試作
- セルフ・クリーンアップ型ライトバック・キャッシュの提案
- ディレクトリ型キャッシュコヒーレンスプロトコルの性能評価
- 細粒度プロセッサ間通信をサポートする高機能キャッシュ・システム
- シミュレーティド・アニーリングによる静的タスク配置へのヒューリスティクスの適用とその評価
- 並列推論と知識情報処理--第5世代コンピュ-タプロジェクトの歩み (並列知識情報処理--並列と推論)
- ボリュームレンダリング専用並列計算機ReVolverのアーキテクチャ
- 探索問題の並列化と実行例--詰め碁問題 (並列知識情報処理--並列と推論)
- 並列単層配線を改良する新しい手法の提案
- 並列自動配線アルゴリズムAmon
- 静的解析による並列論理型言語の実行最適化