摘  要 类型化中间语言是研究代码安全性的一个重要途径。然而，庞大的类型信息在实现中很难被高效的表达和操作。一个粗糙的实现将会给系统带来指数级增长的开销。本文描述了对一种类型化低级语言的实现技术，并将其成功应用于Intel ORP（Open Runtime Platform）的即时编译器中。经过实践发现，只要对类型信息的表示，操作以及存储这三部分采用适当的表示法和算法来实现，新的即时编译器在现实中是可行的。

关键词  代码安全性 类型化语言


Abstract  Typed intermediate language is an important approach to code safety. Unfortunately, type information is difficult to represent and manipulate efficiently. A native implementation can easily add exponential overhead to the compilation and execution of a program. This paper describes our experience and techniques with implementing our typed low-level language in the JIT compiler of Intel Open Runtime Platform. Through our experience, We observe that if we apply proper notation and arithmetic to type information representation, manipulation and store manner, the new JIT compiler can get an acceptable performance.

Keywords  Code safety    Typed Low-level Language

非常感谢!正急需呢......

谢楼主了，多谢分享啊。有空一起研究

很好。谢谢！！！！！！！