動的電圧制御システムにおける評価戦略選択に基づく高効率消費エネルギー関数型プログラミング

• Item type: Trans(1)
• 公開日: 2009-03-23
• タイトル: 動的電圧制御システムにおける評価戦略選択に基づく高効率消費エネルギー関数型プログラミング
• タイトル / 言語: en
• タイトル: Energy Efficient Functional Programing on DVS Systems by Varying Evaluation Strategies
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 通常論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 名古屋大学大学院情報科学研究科
• 著者所属: 名古屋大学大学院情報科学研究科
• 著者所属: 名古屋大学大学院情報科学研究科
• 著者所属: 名古屋大学大学院情報科学研究科
• 著者所属: 名古屋大学大学院情報科学研究科
• 著者所属: 名古屋大学大学院情報科学研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science, Nagoya University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science, Nagoya University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science, Nagoya University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science, Nagoya University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science, Nagoya University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science, Nagoya University
• 著者名: 横山, 哲郎; 今井, 敬吾; 曾, 剛; 冨山, 宏之; 高田, 広章; 結縁, 祥治
• 著者名(英): Tetsuo, Yokoyama; Keigo, Imai; Gang, Zeng; Hiroyuki, Tomiyama; Hiroaki, Takada; Shoji, Yuen
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 動的電圧制御 （DVS: dynamic voltage scaling） は，プロセッサへの供給電圧とその動作周波数をプログラム実行時に変化させる技術であり，現在，多くの商用プロセッサに実装されている．本稿では，デッドラインなどの制約のあるリアルタイムシステムを対象に，DVS システムにおいて動的エネルギー消費のより少ないプログラムを開発する方法論の 1 つを提示する．DVS システムで実行されるプログラムに動的エネルギー消費の最適化が有効であるためには，残り予測実行時間の実行早期の正確な見積りを容易にすることが重要である．そのため，プログラムは何を計算するかに加えどう計算するかをうまく指定する必要がある．しかし，プログラム改変によるエネルギー消費の最適化はプログラムのモジュール性を著しく損なう．本稿では，プログラムから独立し，エネルギー消費の最適化戦略を開発する手法を提案する．提案手法により，エネルギー消費の最適化を行うときに元のプログラムの部分正当性が容易に保存され，元のプログラムおよびエネルギー消費の最適化を行うための評価戦略が独立してそれぞれモジュール性を有するようになった．遅延評価などのプログラミング言語の特徴や構成的アルゴリズム論における組化などを活用することにより半自動化が実現できたことが，本開発法の特徴の 1 つである．本稿では，整列，選択，文字列検索などの基本的なアルゴリズムに提案手法を適用する．また，電力モデルを備えた命令セットシミュレータ（ISS: instruction set simulator）において実験を行い，エネルギー消費がどれだけ最適化されたかを評価する．基本的なアルゴリズムにおいて，本稿のアプローチが有効であることから，複雑なアルゴリズムに対しても本手法が効果的であることが期待される．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: DVS (dynamic voltage scaling) is a technique for scaling the processor's supply voltages and working frequencies. Several commercially available processors provide voltage/frequency controls. We propose a development method for deriving dynamically energy efficient programs on DVS-enabled real-time systems, which have several constraints such as deadline. In order to improve energy efficiency of programs on DVS systems, it is necessary to accurately estimate remaining predicted execution time in the early phase of the execution of programs. Thus, how to execute codes is as important as what codes to execute. However, the revision of programs for energy efficiency seriously harms their modularity. We separate concerns of the development of energy optimization strategy from the development of programs. As the result, partial correctness of original programs is preserved, and each of original programs and energy optimization strategy has modularity, independently. Lazy evaluation of functional programming languages and tupling in constructive algorithmics are employed for realizing the semi-automation of our development method. Our techniques are applied to basic algorithms such as sorting, selection, and string matching. Their energy efficiency is evaluated by using an instruction set simulator (ISS) with a power model.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 2, 号 2, p. 54-69, 発行日 2009-03-23
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会