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

Optimized Implementing Technology of a New Typed Low-level Language

作　　者：李筱青 陈晖[1] 陈意云[1] 

机构地区：[1]中国科学技术大学计算机系,合肥230027

出　　处：《计算机工程》2005年第5期63-65,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(60173049);Intel中国研究中心资助项目

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

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

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