一种新型类型化中间语言的优化实现技术

Optimized Implementing Technology of a New Typed Low-level Language

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

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