文献

J-GLOBAL ID：201502294030787377   整理番号：15A0447026

L-Closureの呼び出しコストの削減

Reducing Invocation Costs of L-Closures

著者 (5件)： 田附正充 (京大 大学院情報学研究科) ,  田附正充 (楽天) ,  八杉昌宏 (九州工大 大学院情報工学研究院) ,  平石拓 (京大 学術情報メディアセ) ,  馬谷誠二 (京大 大学院情報学研究科)
資料名： 情報処理学会論文誌トランザクション プログラミング(Web)  (情報処理学会論文誌 プログラミング(Web))
巻： 6  号： 2  ページ： WEB ONLY 13-32  発行年： 2013年08月29日 
JST資料番号： U0474A  ISSN： 1882-7802  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本論文ではL-closureという言語機構に関して2つの実装を提案する。1つは複数回同じL-closureが呼び出された場合などの呼び出しコストの削減,もう1つはGNU Cコンパイラ(GCC)4系列への元々呼び出しコストの低いclosureの実装である。L-closureは入れ子関数定義を評価すると生成される軽量レキシカルクロージャで,これを持つ拡張C言語を,高水準言語コンパイラの中間言語として採用することで,ごみ集めなどの高水準サービスを効率良く実装できる。現在L-closureの実装として,GCC3系列の拡張によるコンパイラ実装と標準C言語への翻訳による実装があり,これらはL-closureの初期化処理を遅延したり,低い維持コスト(アクセスされる変数のレジスタ割当て)を実現しているが,呼び出しコストは高い。翻訳による実装では,Cのスタックとは別のスタック(明示的スタック)を用意し,L-closure呼び出し時にCのスタックの内容を明示的スタックへ一時的に移すことで,入れ子関数を持つ関数の局所変数へのアクセスを実現していた。本研究では,L-closureからのリターンの後,Cスタック全体を再構築するのではなく,フレームごとに再構築することで,再度L-closureが呼び出されたときのスタック間の値の移動を減らし,呼び出しコストを削減する。L-closureの研究の一環として,生成/維持コストはかかるものの呼び出しコストが低いclosureも提案してきた。本研究ではまた,高度な最適化のために内部構造が刷新されたGCC4系列において,これを実装したので報告する。(著者抄録)

シソーラス用語： *言語理論 ,  閉包 ,  *コンパイラ ,  *実装設計 ,  関数 ,  言語 ,  *高水準言語 ,  スタック方式 ,  C言語 ,  費用関数 ,  原価低減 ,  最適化
準シソーラス用語： *L-Closure ,  レキシカルクロージャ ,  中間言語 ,  入れ子型関数

分類 (4件)： 情報加工一般  (AC05010A) ,  言語プロセッサ  (JD03040F) ,  計算機システム開発  (JD02010R) ,  汎用プログラミング言語  (JD03051H)

引用文献 (36件)：

• Baker, H.G.: CONS Should Not CONS Its Arguments, Part II: Cheney on the M.T.A., ACM SIGPLAN Notices, Vol.30, pp.17-20 (1995).
• Boehm, H.-J. and Weiser, M.: Garbage Collection in an Uncooperative Environment, Software Practice i Experience, Vol.18, No.9, pp.807-820 (1988).
• Breuel, T.M.: Lexical Closures for C++, Usenix Proceedings, C++ Conference, pp.293-304 (1988).
• Clinger, W.D., Hartheimer, A.H. and Ost, E.M.: Implementation Strategies for First-Class Continuations, Higher-Order and Symbolic Computation, Vol.12, pp.7-45 (1999).
• Feeley, M.: A Message Passing Implementation of Lazy Task Creation, Proc. International Workshop on Parallel Symbolic Computing: Languages, Systems, and Applications, LNCS, No.748, pp.94-107, Springer-Verlag(1993).

タイトルに関連する用語 (1件)： 呼び出し