期刊文献+

基于混合模型的持续二进制优化框架

Continuous binary optimization framework based on hybrid model
下载PDF
导出
摘要 提出了一项基于混合模型的二进制优化框架,能在运行时和运行后进行持续的程序优化。该框架集成了控制流分析等常用的二进制优化功能,并且提供了安全的编程接口以供其他研究者实现自定义的优化模块。该框架被设计为集成到操作系统内核中,并提供透明和自适应的优化服务,从而在没有用户交互的前提下,利用富余的计算资源帮助二进制程序自适应计算环境,达到加速的目的。描述了该框架的设计与实现以及关键问题的解决方法。 A binary optimization framework based on hybrid model is proposed to enable continuous runtime and post-runtime optimization.Common modules like control flow analysis are embedded in the framework,and safe programming interfaces are provided to facilitate other researchers implementing their own optimization modules.The framework is designed to be integrated into operating systems and transparent and adaptive services are provided,so that the binary programs can adapt to the environment and speedup without any end user assistance.The design and implementation of the framework are presented.
作者 郭锐 周伯生
出处 《计算机工程与设计》 CSCD 北大核心 2010年第13期3007-3009,共3页 Computer Engineering and Design
关键词 自适应系统 二进制代码 优化 剖绘 相似性函数 adaptive system binary code optimization profiling similarity function
  • 相关文献

参考文献11

  • 1Lau J,Schoenmackers S,Calder B.Transition phase classification and prediction[C].Washington,DC:Proc of the 11th Int'l Symposium on High-Performance Computer Architecture,2005:278-289.
  • 2Li JH,Zhang Q,Xu S,et al.Optimizing dynamic binary translation for SIMD instructions[C].Washington,DC:Proceedings of the International Symposium on Code Generation and Optimization,2006:269-280.
  • 3Hazelwood K,Smith M.Managing bounded code caches in dynamic binary optimization systems[J].ACM Trans on Architecture and Code Optimization,2006,3(3):263-294.
  • 4Kistler T,Franz M.Continuous program optimization:a case study[J].ACM Trans on Programming Languages and Systems,2003,25(4):500-548.
  • 5Duan R,Prodan R,Fahringer T.Run-time optimization of grid workflow applications[C].Washington,DC:Proc of the 7th IEEE/ACM Int'l Conference on Grid Computing,2006:33-40.
  • 6Azimi R,Stumm M,Wisniewski RW.Online performance analysis by statistical sampling of microprocessor performance counters[C].Cambridge,MA:Proceedings of the 19th Annual International Conference on Supercomputing,2005:101-110.
  • 7Fromme J,Lafayette W.Enabling continuous optimization for sizing morphing aircraft concepts[C].Reno.Nevada:43rd AIAA Aerospace Sciences Meeting and Exhibit,2005:10-13.
  • 8Felber P,Fetzer C,Muller U.Transactifying applications using an open compiler framework[C].Portland,OR:Proceedings of the 2nd ACM SIGPLAN Workshop on Transactional Computing,2007:253-260.
  • 9Ruys T,Brugh A.MMC:the mono model checker[C].Braga,Portugal:Proceedings of the 2nd Workshop on Bytecode Semantics,Verification,Analysis and Transformation,2007:149-160.
  • 10Iain D Craig.Virtual machines[M].United States:Springer,2005:27-59.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部