摘要： 类型化中间语言是提高代码安全性的一类重要方法。然而在其实现过程中,庞大的类型信息很难被高效地表达和操作。一个未经优化的实现将会给系统带来指数级增长的开销。该文描述了一种新型的类型化中间语言的优化实现技术,并将其成功应用于IntelORP(OpenRuntimePlatform)的即时编译器中。

关键词: 代码安全性, 类型化语言, 编程语言

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 authers' experience and techniques with implementing the typed low-level language in the JIT compiler of Intel open runtime platform.

中图分类号: 

• TP311.52