JSIAIワークステーション(7) : Prologコンパイラの評価
スポンサーリンク
概要
- 論文の詳細を見る
今回、我々が試作したPrologコンパイラ(文献)の性能及び特性を評価する目的で種々のベンチマークテストをおこなったので、その結果を報告する。今回、我々が試作したコンパイラは、あくまで実験的なものであり、汎用計算機上でいかにして高速なコンパイラが作れるか、また、いったい何処まで高速にできるのかに焦点がおかれた。したがって、実用的な処理系には本来備わっているべき実行時の種々のチェック、ガーベッジ・コレクション、カット、多くの組み込み述語は実現されていない。しかし、基本的な算術述語をサポートするだけでベンチマークテストによるテストがある程度できた。ここで報告するデータはそういう状況での測定結果である。測定はおもに3081K(CMS/VM)及びRT-PC上で行われ、いくつかのテストについては3090上でも行われた。3081K及び3090の実行時間は仮想CPU時間で、RT-PCではシングル・ユーザー時の実応答時間で測られた。
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
-
田村 直之
神戸大学学術情報基盤センター
-
田村 直之
神戸大学工学部
-
小松 秀昭
日本アイ・ビー・エム株式会社東京基礎研究所
-
黒川 利明
日本アイ・ビー・エム(株)東京基礎研究所
-
小松 秀昭
日本アイ・ビー・エム株式会社 東京基礎研究所
-
浅川 康夫
日本アイ・ビー・エム株式会社 東京基礎研究所
-
田村 直之
日本アイ・ビー・エム株式会社サイエンス・インスティチュート
-
黒川 利明
日本アイ・ビー・エム株式会社サイエンス・インスティチュート
-
浅川 康夫
日本アイ・ビー・エム東京基礎研究所
関連論文
- SATによるシステム検証(最近のSAT技術の発展)
- 制約最適化問題とSAT符号化(最近のSAT技術の発展)
- SATソルバーの基礎(最近のSAT技術の発展)
- 特集「最近のSAT技術の発展」にあたって(最近のSAT技術の発展)
- SATによるシステム検証
- ECUソフトウェアのシミュレーション実行時における状態方程式の遷移解析手法 (ディペンダブルコンピューティング)
- ECUソフトウェアのシミュレーション実行時における状態方程式の遷移解析手法 (コンピュータシステム)
- ループパーティショニングを用いたショートベクトル化技法
- 6N-4 レジスタ干渉グラフの分割による高速化手法に関する研究(数値計算とコンパイラ技術,学生セッション,アーキテクチャ)
- 非再試行型レジスタ割付けとその評価
- 生存区間分割時に発生する偽干渉を避けるための同時コピー中間コードの利用(ARC-6 : ソフトウェア最適化,2007年並列/分散/協調処理に関する『旭川』サマー・ワークショップ(SWoPP旭川2007))
- 分岐の相関を利用した効率的なパスプロファイリング
- 並列トランザクショナルアプリケーションのためのプログラミングフレームワーク
- 浮動小数点演算の正確さに関する投機を用いたJavaの数値計算の高速化
- 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム
- SATソルバの並列実行に関する一考察(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- 線形論理と論理プログラミング(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- 神戸大LISPマシンPROLOGマシン(特集知られざる計算機)
- PrologからJavaへのトランスレータ処理系とその応用
- マルチコア・システムにおける SAP Java アプリケーション・サーバのスケーラビリティ性能比較
- 日英機械翻訳システムTWINTRANの言語知識と翻訳品質の評価
- Text-Wide Grammarに基づくテキスト解析
- A^*法に従うアジェンダ制御による構文解析
- TWINTRAIN : integration of syntax, semantics and context analysis
- 遅延評価機構によるAND-ORグラフ上での優先度計算
- Semantic Processing on Parse Trees Represented in a Chart
- 並列コピーの導入による生存区間分割手法の性能向上
- Javaにおける例外処理の実行時情報を利用した最適化
- コンパイル速度の向上を目的とした非反復型レジスタ割付け手法
- 頻出メソッド管理テーブルを用いたinvokeinterface命令の実行高速化手法
- ECUソフトウェアのシミュレーション実行時における状態方程式の遷移解析手法
- ECUソフトウェアのシミュレーション実行時における状態方程式の遷移解析手法
- ECUソフトウェアのシミュレーション実行時における状態方程式の遷移解析手法
- ECUソフトウェアのシミュレーション実行時における状態方程式の遷移解析手法
- SIMD命令を用いるUTF-8文字列デコード処理の高速化
- 再現コンパイル手法を用いたJava JITコンパイラの問題判別
- PowerPCプロセッサの特性を考慮した高速Javaバイトコードインタプリタの構成法
- 動的コンパイラのための実行時分岐予測を用いた最適化手法
- シーケンシャル実行型PrologマシンPEK : ハードウェア構成
- ECUソフトウェアのシミュレーション実行時における状態方程式の遷移解析手法
- ECUソフトウェアのシミュレーション実行時における状態方程式の遷移解析手法
- ECUソフトウェアのシミュレーション実行時における状態方程式の遷移解析手法
- VMX命令セットを用いる高速なソートアルゴリズム(数値アルゴリズム)
- Prolog Cafe: Java上で動作するProlog処理系(研究のツールボックス〔第4回〕)
- Grid計算環境における2つの制約解消系の試験的実装について
- グリッド計算環境における制約解消システムの構築に向けて
- Grid 計算環境における2つの制約解消系の試験的実装について
- グリッド計算環境における制約解消システムの構築に向けて
- LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム
- 時相線形論理型言語のコンパイラ処理系のための抽象機械について
- 線形論理型言語のコパイラ処理系のための抽象機械について
- 古典線形論理型プログラミング言語の静的解析の一手法について
- 直観主義時相線形論理における論理プログラミングについて
- 線形論理型言語のJava言語による処理系の設計と実装
- 論理型言語の最近の動向 (新世代のソフトウエア特集号)
- ポータブルなPrologコンパイラーの実現
- 整数有限領域上の線形制約充足問題のコンパクトかつ効率的なSAT符号化の提案 (特集 「AIの基本問題SATと応用技術」および一般)
- SAT型制約ソルバーSugarについて (特集 「AIの基本問題SATと応用技術」および一般)
- JSIAIワークステーション(7) : Prologコンパイラの評価
- JSIAIワークステーション(6) : Prologコンパイラの最適化技法
- JSIAIワークステーション(5) : Prologコンパイラの概要と設計方針
- プログラムの信頼性向上を目的とした補助スレッドの効率的利用(ジョブスケジューリング, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2005))
- プログラムの信頼性向上を目的とした補助スレッドの効率的利用(ジョブスケジューリング, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2005))
- レジスタ生存グラフを用いたレジスタ割付けへのプロセッサ並列度の考慮
- B-001 補助スレッドによるソフトウェアの信頼性向上(B.ソフトウェア)
- 領域分割レジスタ生存グラフを用いたレジスタ割付けへの動的計画法の適用
- C-13 レジスタの有効利用を考慮した部分冗長性除去(計算機アーキテクチャと最適化,C.アーキテクチャ・ハードウェア)
- 1. プログラミング言語と環境 1.2 Prolongのプログラミング環境 (<大特集>新しいプログラミング環境)
- フィールドを有するマルチエージェントシステム記述用言語
- フィールドの概念を備えたマルチエージェント記述用言語の設計と実装について
- Prologに基づくエージェントプログラムにおけるマイグレーションの実現
- Javaを用いた異種エージェント間での協調支援工ージェントの開発に関する研究
- ネットワーク環境におけるマルチエージェントシステム記述用言語
- 分散環境下におけるマルチエージェントシステム記述用言語
- 並列Prolog処理系"K-Prolog"の実現
- 大学におけるセキュリティポリシー導入の一事例
- 大学におけるインシデント対応の一事例
- 線形論理型言語のコンパイラ処理系でのリソース管理方式について
- タイプ2ファジィ集合の一部を扱えるFuzzy Prolog
- LF-001 Profit Sharingの学習の合理性に関する理論的考察(人工知能・ゲーム)
- ファジィ数の体系について(ファジィ数学) : 公理的アプローチ
- 「スーパーコンピュータとその利用技術」特集号の編集にあたって
- 制約条件に論理的ORを含む組合せ最適化問題に対するハイブリッド型最適化手法の実現(サイバー増大ページ論文概要,サイバー増大号)
- Java Just-In-Timeコンパイラにおける最適化とその評価
- SILSを対象としたMCUペリフェラルプログラムの自動コード生成
- SILSを対象としたMCUペリフェラルプログラムの自動コード生成
- SILSを対象としたMCUペリフェラルプログラムの自動コード生成
- SILSを対象としたMCUペリフェラルプログラムの自動コード生成
- SILSを対象としたMCUペリフェラルプログラムの自動コード生成
- SILSを対象としたMCUペリフェラルプログラムの自動コード生成
- SILSを対象としたMCUペリフェラルプログラムの自動コード生成
- SILSを対象としたMCUペリフェラルプログラムの自動コード生成 (ディペンダブルコンピューティング)
- SILSを対象としたMCUペリフェラルプログラムの自動コード生成 (コンピュータシステム)
- 知的生産のための新しいツ-ルの現状と展望 (知的生産のための新しいツ-ル特集号)
- Compiling Finite Linear CSP into SAT
- SAT符号化を用いた釣合い型不完備ブロック計画の構成
- 「SATソルバー」(私のブックマーク)
- SATによるシステム検証
- ソフトウェア紹介 直観主義線形論理型言語LLPとそのコンパイラ処理系
- 国際シンポジウムFLOPS 2012開催報告