プロセッサの仕様に適応可能なコンパイラのための汎用最適化器
スポンサーリンク
概要
- 論文の詳細を見る
コンパイラのオプティマイザはプロセッサ毎に作成しなければならず、開発効率に問題があった。これは、バックエンドで行われる最適化がプロセッサの命令に依存する一方で、各プロセッサのライフサイクルが短いためである。本稿では、パイプライン、スーパースカラなどのプロセッサの並列性を利用した最適化を行なう汎用最適化器の構成法を提案する。目的はプロセッサのアーキテクチャに関する形式的な記述を用いて最適化を行う汎用最適化器を提案、実装することである。汎用最適化器は、仕様を入れ換えることで各プロセッサに適用できるため、開発効率に優れる。
- 社団法人情報処理学会の論文
- 2000-03-09
著者
-
鈴木 正人
北陸先端科学技術大学院大学情報科学研究科
-
長谷川 勇
株式会社野村総合研究所生産革新推進部
-
鈴木 正人
東京工業大学情報理工学研究科計算工学
-
今泉 貴史
千葉大学総合メディア基盤センター
-
長谷川 勇
東京工業大学情報理工学研究科
-
今泉 貴史
東京工業大学理工学研究科
-
今泉 貴史
東京工業大学
-
今泉 貴史
千葉大学大学院融合科学研究科情報科学専攻
-
今泉 貴史
東京工業大学大学院理工学研究科
-
鈴木 正人
東京工業大学大学院情報理工学研究科
-
長谷川 勇
東京工業大学
関連論文
- 開発ツールを他言語へ適用するためのAST変換の定式化
- ベアメタルハイパーバイザを用いたカーネルレベルルートキット検知システムの実現 (情報通信マネジメント)
- ウインターワークショップ・イン・金沢報告 : 総括
- 多目的利用分散型学術成果データベースシステムの構成法(オフィスインフォメーションシステム及び一般)
- 変分法によるオプティカルフロー超解像(一般セッション,光と色の解析・表現とその応用)
- プロセッサの仕様に適応可能なコンパイラのための汎用最適化器
- 計算モデルとしての属性文法の制限とその対処法
- ベアメタルハイパーバイザを用いたカーネルレベルルートキット検知システムの実現
- モバイルアドホックネットワークにおけるパケット改竄ノード排除手法(モバイルネットワーク,無線ネットワーク,ホームネットワーク,ユビキタスネットワーク,コンテキストアウェア,eコマース及び一般)
- パターンに基づくコーディングルール構成手法の提案
- ソースコード理解支援機能を持つ開発環境(開発支援(学生セッション))
- メトリクスの測定によるリファクタリング支援の自動化(メトリクス(学生セッション))
- Java WEB アプリケーションにおける通信特性の解析と可視化
- L-9 セキュアなIPv6ネットワーク構築のためのアクセスリスト生成システム(インターネットと分散システム,L.インターネット)
- 構造指向型システムのための実行可能な仕様記述言語
- 抽象解釈に基づく段階的プログラム構成法(ISDR法)の記述能力の評価
- 抽象解釈に基づく仕様の段階的具体化法
- 分散環境上の耐故障ソフトウェアにおける通信の設計と実装
- 疎結合分散環境におけるプロセッサ割り当てに関する考察
- 耐故障ソフトウェアのための安定記憶の構成方法 : 並列関数型言語CMLによる実装
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障ソフトウェアのための計算モデルFTAGの並列関数型言語による実装
- ソフトウェアプロセス適応のための形式的モデル
- 多重計算木を使用した属性付き関数型計算モデルによるソフトウェア耐故障性の実現
- 2.代表的なプロセス記述言語の特徴 : 共通例題による比較 (ソフトウェアプロセス)
- 属性付き関数型計算モデルによるフォールトトレランスの実現
- L-003 アクセスリストコンパイラにおけるルール最適化手法(L分野:ネットワーク・セキュリティ,一般論文)
- 属性文法型計算モデルによる版・構成管理システムの記述
- オブジェクト指向属性文法OOAGのソフトウェア開発環境への応用
- ボランティアに依存せずキャンパスLANを運用する7つの鉄則 : 東京工業大学Titanet運用センターの試み
- ステートチャートによる仕様ベース侵入検知モデルの提案
- ステートチャートによる仕様ベース侵入検知モデルの提案
- 履修管理システムにおけるソフトウェアアカウンタビリティ機能の実現法
- オープンソースソフトウェア開発に適したリポジトリ分散の支援機構(開発支援(1)(学生セッション))
- オープンソースソフトウェア開発に適したリポジトリ分散の支援機構
- 位置透過性をもつコンポーネント構成手法とフレームワーク
- リファクタリングとコンポーネント技術による既存ソフトウェアの拡張手法
- 可用性向上の為のソフトウェア再構成機構
- APSEC2000参加報告
- 分散環境における耐故障ソフトウェアの動的再配置
- 既存ソフトウェアのターゲットアーキテクチャ変更に関する研究
- 分散環境における耐故障ソフトウェアのためのフレームワーク : Java RMIによる実装
- 同報通信を制限した機器を用いる情報コンセント構築法
- 同報通信を制限した機器を用いる情報コンセント構築法
- プロセス代数CSPによるシーケンス図設計の詳細化と検証(組込みシステム,一般)
- IDSに特化した文字列探索アルゴリズム(パラレル,インターネットと情報倫理教育,一般)
- IDSに特化した文字列探索アルゴリズム(パラレル,インターネットと情報倫理教育,一般)
- 構造エディタ生成系
- IDSに特化した文字列探索アルゴリズム(パラレル,インターネットと情報倫理教育,一般)
- IDSの誤検知除去に対するソフトウェア工学的アプローチ(セッション3)
- D_011 言語透過的なネイティブオブジェクトデータベースの研究(D分野:データベース)
- 4.Thin Client編(Sun Ray1)(2.教育用計算機環境の事例)(大規模分散ネットワーク環境における教育用計算機システム)
- 仮想計算機を利用したウイルスの影響探索システム (第6回ネットワークシンポジウム講演論文集)
- 3-1 ネットワークアプリケーション(3.インターネットのサービス)(広がるインターネットの世界)
- ソフトウェア環境への属性文法の応用 ( 属性文法とその応用-V)
- 属性文法型スクリプト言語AGSL--1パス属性文法への拡張 (第5回〔東京工業大学〕ネットワークシンポジウム講演論文集)
- 公衆性を持った計算機ネットワークの実装 (第4回ネットワークシンポジウム講演論文集)
- モジュラー・マルチレベル・カスケードインバータ(MMCI-DSCC)を用いたモータドライブの低周波数運転
- 急性虫垂炎に対する治療戦略
- SV-1-1 胸腹部大動脈瘤に対するopen surgery(SV-1 特別ビデオセッション(1)心臓・血管-1,第112回日本外科学会定期学術集会)
- 400ppmの送受信周波数偏差に対応可能なシリアルATA用PHY(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- PS-146-8 当科での肝胆膵手術におけるSSIの減少を目指した術前immunonutntionの試み(PS-146 肝 基礎・その他,ポスターセッション,第112回日本外科学会定期学術集会)
- PS-138-7 下部直腸癌に対する術後排便機能に着目した括約筋間切除術(PS-138 大腸 低侵襲,ポスターセッション,第112回日本外科学会定期学術集会)
- PS-130-1 高度進行直腸癌に対する術前補助療法の比較検討(PS-130 大腸 集学的治療-1,ポスターセッション,第112回日本外科学会定期学術集会)
- PS-015-8 治癒切除不能大腸癌に対するOPTIMOX1療法の治療成績(PS-015 大腸 化学療法-2,ポスターセッション,第112回日本外科学会定期学術集会)
- SF-119-6 ITを用いた乳癌手術 : いわゆるユビキタス環境への取り組み(SF-119 サージカルフォーラム(119)乳腺 画像診断,第112回日本外科学会定期学術集会)
- VSY-1-3 当科におけるMinimally invasive surgeryとしての腹腔鏡下膵切除の現況と問題点(VSY-1 ビデオシンポジウム(1)膵の縮小手術-その適応と問題点-,第112回日本外科学会定期学術集会)
- 400ppmの送受信周波数偏差に対応可能なシリアルATA用PHY(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 400ppmの送受信周波数偏差に対応可能なシリアルATA用PHY(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- VD-018-1 基部置換を伴わない大動脈弁形成術のコンセプトと手技(VD-018 ビデオセッション(18)心血管,第112回日本外科学会定期学術集会)
- モジュラー・マルチレベル・カスケードインバータ(MMCI-DSCC)を用いたモータドライブの低速運転
- L-020 SYN Cookiesを活かすLocator/ID Separation Protocol導入法の検討(ネットワークセキュリティと運用,L分野:ネットワーク・セキュリティ)
- L-022 ALCを用いた集約可能なアドレス割り当て手法の提案(ネットワークセキュリティと運用,L分野:ネットワーク・セキュリティ)
- L-021 不正RA対策のためのIPv6拡張ヘッダオプションの提案(ネットワークセキュリティと運用,L分野:ネットワーク・セキュリティ)
- L-032 ユーザが望むシングルサインオンを実現するための認可プロトコルに関する研究(可視化・認証セキュリティ・TE,L分野:ネットワーク・セキュリティ)
- L-019 アドレスマスクを用いたアクセスリスト集約化手法の提案(ネットワークセキュリティと運用,L分野:ネットワーク・セキュリティ)