-
题名针对SECD抽象机的基于踪迹的即时编译技术
- 1
-
-
作者
于成龙
廖湖声
武辰之
苏航
-
机构
北京工业大学计算机学院
北京工业大学软件学院
-
出处
《计算机工程与设计》
北大核心
2015年第2期384-391,共8页
-
基金
北京市自然科学基金项目(4122011)
国家自然科学基金青年基金项目(61202074)
-
文摘
为提高程序的整体执行效率,提出一种基于踪迹(trace-based)的通用即时编译技术。在SECD抽象机指令序列的解释执行中,将执行频率高的程序片段识别为踪迹,并编译成Java字节码,由Java虚拟机执行。任何用SECD抽象机实现的编程语言都可以使用该技术来提高程序执行效率。介绍该技术的实现方法,包括解释执行环境和Java字节码程序执行环境的转换方法,实现采用该技术的执行引擎框架。实验结果表明,该技术可有效提高程序的执行效率。
-
关键词
即时编译
抽象机
字节码
踪迹
环境切换
-
Keywords
j ust-in-time compilation
abstract machine
bytecode
trace-based
environment alternation
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Trace的CMinus语言即时编译技术
被引量：2
- 2
-
-
作者
陶胜召
廖湖声
苏航
高红雨
-
机构
北京工业大学计算机学院
北京工业大学软件学院
-
出处
《计算机应用与软件》
2017年第3期59-66,共8页
-
基金
国家自然科学基金青年基金项目(61202074)
北京市自然科学基金项目(4122011)
-
文摘
即时编译技术是改进动态语言性能的有效手段。基于踪迹(Trace)的即时编译技术能够在运行时识别出频繁执行的程序片段(热踪)并进行编译优化,在相当多的场景下能够提高程序整体的执行效率。然而,这种涉及底层代码优化的即时编译系统开发难度较大,导致其应用范围受到一定限制。为此,一种针对C语言子集CMinus的热踪编译技术被提出。利用这种热踪编译技术及其支撑工具,任何能够翻译为CMinus的开发语言都可以使用该技术提高程序执行效率,任何采用CMinus语言实现的算法也都可以得到热踪编译的支持。实验结果表明这种即时编译技术能够有效地提高程序的执行效率。
-
关键词
CMinus
即时编译
基于踪迹
环境切换
-
Keywords
CMinus JIT compilation Trace-based environment alternation
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
