针对SECD抽象机的基于踪迹的即时编译技术  

Trace-based just-in-time compilation for SECD machine

作　　者：于成龙[1] 廖湖声[2] 武辰之 苏航[1] 

机构地区：[1]北京工业大学计算机学院,北京100124 [2]北京工业大学软件学院,北京100124

出　　处：《计算机工程与设计》2015年第2期384-391,共8页Computer Engineering and Design

基　　金：北京市自然科学基金项目(4122011);国家自然科学基金青年基金项目(61202074)

摘　　要：为提高程序的整体执行效率,提出一种基于踪迹(trace-based)的通用即时编译技术。在SECD抽象机指令序列的解释执行中,将执行频率高的程序片段识别为踪迹,并编译成Java字节码,由Java虚拟机执行。任何用SECD抽象机实现的编程语言都可以使用该技术来提高程序执行效率。介绍该技术的实现方法,包括解释执行环境和Java字节码程序执行环境的转换方法,实现采用该技术的执行引擎框架。实验结果表明,该技术可有效提高程序的执行效率。A general trace-based just-in-time compilation technique for the SECD machine was proposed.By using this technique, when execution engine interpreted the SECD instructions of a program,the frequently executed parts of the program were identified as traces and compiled to Java bytecodes.The bytecodes were executed using JVM.This technique can be applied to any programming languages implemented by SECD machine.The implementation of this technique was presented,including an alternation approach between the interpretive execution environment and the Java bytecode execution environment,and a general framework of execution engine applying this technique was established.The experimental results show that this technique can accelerate the execution speed of a program.

关 键 词：即时编译 抽象机 字节码 踪迹 环境切换 

分 类 号：TP314[自动化与计算机技术—计算机软件与理论]