面向对象程序设计语言的绑定时间分析技术

为了实现面向对象语言的部分求值,提出了一种绑定时间分析技术.该技术通过针对引用类型变量和指针变量的上下文敏感分析,能够比较精确地分析面向对象语言中诸如对象元素、数组元素等复杂数据结构元素的绑定时间,进而扩大了部分求值的作用范围.这种方法采用两层bta环境来保存静态变量和局部变量的bta状态,设置一种专用句柄来表示不同程序点创建的对象,进而采用这种句柄的集合表示引用类型变量的bta状态.在为面向对象语言程序标注绑定时间信息的过程中,采用一个正向分析和一个反向分析过程,借助于bta环境来跟踪和设定各种变量、对象和引用变量的绑定时间.该技术已经用于实现java程序的绑定时间分析,能够有效地分析大多数单线程的java程序,为实现高性能java程序部分求值提供了必要的手段.