Java虚拟机动态类加载的形式化模型

摘要：

Java虚拟机支持一种功能很强的动态加载类的机制,它具有惰性加载、类型安全连接、用户自定义加载策略、以及动态名字空间等特性.但是,在Java的早期实现(JDK 1.0和1.1)中,这种机制包含了一种称为类型欺骗的严重设计错误.尽管JDK1.2通过引入一种类加载约束策略修正了这个错误,但是由动态加载引起的其它形式的类型欺骗仍然存在于JDK1.2和1.3中.本文详细讨论了与动态类加载相关的类型欺骗问题,提出了一个严格定义Java虚拟机操作语义和静态语义的形式化模型.其中,操作语义描述了类加载约束策略、字段及方法解析算法等类加载的主要特性;静态语义采用类型规修正了JDK1.2和1.3中的类型欺骗.

关键词：动态类加载、类型安全、类型系统、操作语义、多加载器、Java虚拟机

所属期刊栏目：32

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金90207015;国家自然科学基金

在线出版日期：2005-10-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：209-213