Enhancing and Exploiting a Language Mechanism for Legitimate Manipulation of Execution States

增强和利用语言机制来合法操纵执行状态

• 批准号: 21300008
• 负责人: YASUGI Masahiro
• 金额: $ 11.48万
• 依托单位: Kyushu Institute of Technology (2012-2013)Kyoto University (2009-2011)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2009
• 资助国家: 日本
• 起止时间: 2009-04-01 至 2014-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21300008/
• 关键词: プログラミング言語処理系; プログラミング言語; 計算機システム; 並列処理; ディペンダブル・コンピューティング; ハイパフォーマンス・コンピューティング; 性能評価; 負荷分散; ソフトウエア開発効率化・安定化; ソフトウェア開発効率化; ハイパフォーマンズ・コンピューティング; 入れ子関数; ごみ集め; 末尾再帰; ソフトウェア開発効率化・安定化

We can implement language systems with the functionality of dynamic maintenance of software execution by using a language mechanism (called L-closures) which enables legitimate manipulation of execution states. In this study, we applied the proposed mechanism to the efficient implementation of proper tail recursion. We also proposed and evaluated various schemes for exploiting available resources in parallel systems by applying the proposed mechanism to dynamic load balancing. Using a new implementation of the proposed mechanism, we reduced amortized invocation costs of L-closures. We also supported x86-64 in the compiler implementation, and evaluated the effect of register allocation for short functions.

我们可以通过使用能够合法操纵执行状态的语言机制（称为 L 闭包）来实现具有动态维护软件执行功能的语言系统。在本研究中，我们将所提出的机制应用于有效实现适当的尾递归。我们还提出并评估了通过将所提出的机制应用于动态负载平衡来利用并行系统中的可用资源的各种方案。使用所提出机制的新实现，我们减少了 L 闭包的摊销调用成本。我们还在编译器实现中支持 x86-64，并评估了短函数的寄存器分配的效果。

项目成果

Dynamic Graph Traversals for Concurrent Rewriting using Work-Stealing Frameworks for Multicore Platforms

使用多核平台的工作窃取框架进行并发重写的动态图遍历

• 发表时间: 2010
• 作者: Masahiro Yasugi;Tasuku Hiraishi;Seiji Umatani;Taiichi Yuasa
• 通讯作者: Taiichi Yuasa

高性能,高信頼性,高生産性並列計算環境向けプログラミング言語/システム

用于并行计算环境的高性能、高可靠性、高生产率的编程语言/系统

• 发表时间: 2010
• 作者: Haibo Yu;T. Mine;M. Amamiya;八杉昌宏
• 通讯作者: 八杉昌宏

コードシェーカ:コード配置効果を考慮した適正な性能評価システム

Code shaker：考虑代码放置效果的适当性能评估系统

• 发表时间: 2012
• 作者: 松田友希;八杉昌宏;鵜川始陽
• 通讯作者: 鵜川始陽

並列/高信頼プログラミング言語と実装技術

并行/高可靠性编程语言及实现技术

• 发表时间: 2011
• 作者: K.Tanaka;A.Yamada;K.Yasunaga;八杉 昌宏
• 通讯作者: 八杉 昌宏

実行時情報を活用した第一級継続のオーバーヘッド削減手法

使用运行时信息的一流连续开销减少方法

• 作者: 片桐国建;小宮常康
• 通讯作者: 小宮常康