行列計算のためのMATLABベース静的型付け言語の設計と実装
スポンサーリンク
概要
- 論文の詳細を見る
数値計算プログラム記述に広く用いられている言語の1つにMATLABがある.MATLABは各変数が行列を表し,また密行列と疎行列をコード上でほとんど区別なく扱えるので,行列計算を簡潔に記述できる.しかしながらMATLABは動的型言語であるために処理速度に難があり,特に大規模な疎行列を扱う行列計算や頻繁な手続き呼び出しを含む計算には使いにくい.これに対し我々は,行列計算を高速に処理できかつ記述のしやすい言語処理環境の実現を目的とし,MATLABをベースとする記述からCやFortran90などのコンパイル型言語によるプログラムを生成する処理系を開発している.本論文では,このたび新たに改良を加えた行列計算記述向け言語処理系CMCの仕様について述べる.CMCの入力言語はMATLABをベースとし,静的型とすることで実行時のオーバヘッドを極力排除して高速化を図るという方針で設計されており,いくつかの実測により効果が確認されている.しかし,従来の言語仕様は柔軟性に欠けるもので,MATLABとの互換性が十分ではなかった.これに対して,新たに代入による暗黙の変数宣言に対応し,同一名の変数を同一手続き中の複数箇所で別の型で扱うことができるようにした.また,値呼びによる引数授受に対応し,行列添字式の動的チェックや行列サイズの動的拡張を行う箇所をユーザが指定できるようにした.ハウスホルダQR分解を用いた実測により,実行速度を高く保ちながらMATLABとの互換性の高い記述に対応することの可能性が確認できた.
- 一般社団法人情報処理学会の論文
- 2006-05-15
著者
関連論文
- プログラム保護を行うプロセッサの公開鍵暗号ハードウェアの評価(セキュアシステムとスケジューラ)
- 公開鍵暗号を用いてプログラムの保護を行うプロセッサの提案(プロセッサアーキテクチャ)
- 公開鍵暗号を用いてプログラムの保護を行うプロセッサの開発(一般セッションB プロセッサ・アーキテクチャII)
- 線形回帰演算の並列化手法の応用によるDOACROSSループの並列実行
- キャンパスネットワークへの認証システムの導入(セッション2)
- BK-1-3 広帯域ネットワークを用いた大学間授業コラボレーションの実践(BK-1. JGN2の研究開発成果と次世代インターネットへの展開,ソサイエティ特別企画,ソサイエティ企画)
- MPIプログラムの自律チェックポインティング方式の実現(HPC-3 : スケジューリング)
- 構造化プログラムに対する静的単一代入形式の生成アルゴリズム
- 精度低下検出を行う浮動小数点演算器の検討と評価
- 学究活動に不可欠になったキャンパスネットワーク構築の一事例
- 学究活動に不可欠になったキャンパスネットワーク構築の一事例
- 配列整合解析に基づく自動データ分割手法
- 可変パイプラインを用いた低消費エネルギープロセッサの設計と評価(プロセッサ・アーキテクチャ)
- 可変パイプライン手法によるプロトタイプ低消費エネルギープロセッサの設計(CPSY-5 マイクロアーキテクチャ)(2004年並列/分散/協調処理に関する「青森」サマーワークショップ(SWoPP青森2004))
- 京都大学学術情報メディアセンターにおけるメールシステムの運用
- Virtual Machineを活用した大規模ファイルシステム
- アクセラレータを用いたルジャンドル変換の高速化
- アクセラレータを用いたルジャンドル変換の高速化
- 異種命令セット同時実行プロセッサの設計と評価
- HPC向けVMスケジューラの改良の提案
- 精度低下検出を行う浮動小数点演算器の検討と評価 (集積回路)
- HPC向けVMスケジューラの改良の提案
- MPLDアーキテクチャのための配置配線支援ツール(ツール)
- 異種命令セット同時実行プロセッサの実装に向けた評価(プロセッサアーキテクチャ)
- 数値処理ライブラリを使用するプログラムの処理内容の「可視化」(HPC-6 : 開発・実行環境)
- MatlabMPI-to-MPIトランスレータの開発(HPC-3 : スケジューリング)
- 異種命令セット同時実行プロセッサOROCHIの構成(プロセッサアーキテクチャ)
- MATLABプログラムの実行時特殊化機能の実現(Session 2:最適化)
- 行列計算のためのMATLABベース静的型付け言語の設計と実装
- MATLAB記述に基づくPSBLASを用いた並列疎行列計算コードの生成(並列数値計算,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2006))
- MATLAB記述に基づくPSBLASを用いた並列疎行列計算コードの生成(並列数値計算, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2006))
- 組み込みプロセッサを用いた動体検出システムの構築と評価(ARC-2: セキュア・アーキテクチャと組み込みプロセッサ, 2005年並列/分散/協調処理に関する『武雄』サマー・ワークショップ(SWoPP武雄2005)-研究会・連続同時開催-)
- 行列言語コンパイラCMCのJDS形式への対応とMatrix Marketを用いた評価(数値計算アルゴリズム(1), 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2005))
- 行列言語コンパイラCMCのJDS形式への対応と Matrix Market を用いた評価
- 高速なMEX-Fileを生成できるMATLABコンパイラ(一般講演2)
- 距離画像生成処理におけるメディアプロセッサの評価(メディアプロセッサ)
- ステレオ画像処理を用いた曖昧再利用の評価(画像処理における再利用)
- 疎行列に対応した行列言語コンパイラCMCの開発(言語処理系)
- MATLAB記述のコンパイレーションにおける複数種類の疎行列データ構造への対応(スケジューリング)
- MATLABに基づく疎行列計算向けコード生成(科学技術計算)
- 関数値再利用および並列事前実行による高速化技術
- 線形回帰演算の並列化手法の応用によるDOACROSSループの並列実行
- ベクトル計算機のための一次回帰演算の高速アルゴリズムとその並列化(並列処理)
- バルク回帰並列処理 : 依存のあるループの並列実行方式
- 粒子輸送モンテカルロシミュレーションコードの自動並列化
- 粒子輸送モンテカルロシミュレーションコードの自動並列化
- 疎結合並列計算機Paragonの性能評価 : ノード間通信性能の評価を中心に
- RC-007 プログラム保護を行なうプロセッサの保護能力評価と改良(C分野:ハードウェア・アーキテクチャ,査読付き論文)
- 論理設計検証テストプログラム生成ツールの開発と評価方式
- 行列言語コンパイラCMCのJDS形式への対応とMatrix Marketを用いた評価(数値計算アルゴリズム(1), 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2005))
- ベクトル計算機における拡張記憶の拡張主記憶としての仮想化
- 拡張記憶の拡張主記憶としての仮想化
- 曖昧再利用によるステレオ画像処理の高速化
- 計算精度低下を検出するPCエミュレータの開発
- 計算精度低下を検出するPCエミュレータの開発
- 計算精度低下を検出するPCエミュレータの開発
- 計算精度低下を検出するPCエミュレータの開発
- 低電力Javeプロセッサのための投機的クロック制御
- マイクロプログラム制御計算機QA-1による直接実行型高級言語計算機の構成とその問題適応化方式
- 異種命令セットアーキテクチャをもつ高電力効率SMTプロセッサの開発(システム開発論文,計算機システム)
- アーキテクチャレベルシミュレータにおける消費電力推定の研究(評価,集積回路とアーキテクチャの協創〜ノーマリオフコンピューティングによる低消費電力化への挑戦〜)
- 曖昧再利用によるステレオ画像処理の高速化
- 異種命令セットアーキテクチャをもつ高電力効率SMTプロセッサの開発
- アーキテクチャレベルシミュレータにおける消費電力推定の研究
- 書き換え規則に基づく API ベース言語拡張のための COINS を用いたフレームワークの設計と実装
- Flash SSDにおける記憶管理方式の評価(メモリ・ストレージ,クラウド、ネットワーク及び一般)
- APIを用いた言語拡張のためのCOINSを用いた処理系実装の試み(アルゴリズムと言語処理系)
- RC-008 HPCクラウドにおける仮想計算機の割込み通知機構の改良(FIT論文賞受賞論文,C分野:ハードウェア・アーキテクチャ,査読付き論文)
- 書き換え規則に基づくAPIベース言語拡張のためのCOINSを用いたフレームワークの設計と実装