要求の粒度が調節可能な遅延評価機構

• Item type: Trans(1)
• 公開日: 2005-10-15
• タイトル: 要求の粒度が調節可能な遅延評価機構
• タイトル / 言語: en
• タイトル: A Lazy Evaluation Mechanism with Adjustable Granularity of Demand
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 発表概要
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 電気通信大学大学院情報工学専攻
• 著者所属: 電気通信大学情報工学科
• 著者所属: 電気通信大学情報工学科
• 著者所属(英): en
• 著者所属(英): Department of Computer Science Graduate School of Electro-Communications
• 著者所属(英): en
• 著者所属(英): Department of Computer Science University of Electro-Communications
• 著者所属(英): en
• 著者所属(英): Department of Computer Science University of Electro-Communications
• 著者名: 森本, 武資; 岩崎, 英哉; 竹内, 郁雄
• 著者名(英): Takeshi, Morimoto; Hideya, Iwasaki; Ikuo, Takeuchi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 要求駆動によるプログラムの実行において，要求する計算の量（要求の粒度）を調節できる遅延評価機構を提案する．提案機構は，要求の細粒度化に関する従来研究の手法に加え，投機評価によって要求を粗粒度化することで粒度を調節する．従来の細粒度化手法だけでは，行き過ぎた細粒度化により要求駆動のオーバヘッドが無駄に増えてしまい，細粒度化の利点を十分に引き出せないという問題点があったが，提案機構を用いて粒度を適切に調節すれば，無駄なオーバヘッドを生じることなく，必要な計算だけを進めることができる．本発表ではさらに，提案機構によって，最良優先戦略や深さ優先戦略を特殊な場合として含むような，一般化された枝刈り機構を実現できることを示す．記述例としてナップサック問題を解くプログラムを取り上げ，提案機構の有効性を検証する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Lazy evaluation is a strategy that evaluates only necessary computations on demand. It enables a programmer to write efficient programs concisely. If the granularity of demand is fine, the progress of program execution can be controlled finely. However, there is a trade off between granularity of demand and the overhead of the control: the finer the granularity is, the higher the overhead grows. To overcome this difficulty, this presentation proposes a lazy evaluation mechanism which adjusts the granularity of demand by the speculative evaluation of fine-grain demands. In the proposed mechanism, each intermediate result of a computation together with the rest computation is the first-class object, and the programmer can specify the granularity of demand using this first-class object and judge whether speculative evaluation is necessary or not from the intermediate value of the object. Thanks to the proposed mechanism, the program can specify the granularity of demand with out sacrificing the basic structure and clarity of the program. Experimental results show the effectiveness of the mechanism.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 46, 号 SIG14(PRO27), p. 72-72, 発行日 2005-10-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会