CN1109971C - 具有修改的恒定存储区的java运行系统 - Google Patents

Abstract

建议一个Java运行系统，它包括一个基于堆栈的解释器，该解释器执行一个包括字节代码和类结构的程序。该系统还包括一个修改的恒定存储区，该恒定存储区具有只在链接期间使用的内部信息以及保留以备后期代码联编用的外部信息。在链接以后将所述内部信息从所述修改的恒定存储区中移去。

Description

具有修改的恒定存储区的JAVA运行系统

技术领域

本发明涉及资源约束的Java运行环境中例如JavaCard中动态的代码下载和链接。

背景技术

在常规Java系统中，使用在所谓恒定存储区中的间接名称查表来解决对类结构(内部和外部)的访问。这一方案只能用于一个能提供通过处理能力和内部资源表达的足够资源的系统。

在一个资源约束运行系统(例如一个JavaCard)中，此方案并不乐观。相反地，可以使用已解决的对类结构的访问因而避免间址操作和避免对恒定存储区的维护。

发明内容

本发明的目的是解决访问(链接)。

本发明的一个目的是在资源约束Java运行环境中达到有效的链接。

本发明的一个目的是在资源约束Java运行环境中达到空间和运行时的有效链接。

为此，本发明提供了一种Java运行系统，包括一个基于堆栈的解释器，所述解释器执行一个包括字节代码和类结构的程序，所述系统还包括一个修改的恒定存储区，所述恒定存储区具有只在链接期间使用的内部信息以及保留以备后期代码联编用的外部信息，其中在链接以后将所述内部信息从所述修改的恒定存储区中移去。

本发明还提供了一种用于将新代码引入Java运行系统的方法，该Java运行系统包括基于堆栈的解释器，所述解释器执行一个包括字节代码和类结构的包，将所述新代码与在所述系统中存在的所述包链接(内部链接)，从而由一个只在链接时间知道的访问来替代所述新代码相对于所述包本身的偏移量，从而使用包含于所述包的一个恒定存储区内的符号化信息(名称)来解决外部链接，至少将那些由所述只在链接时间知道的访问所替代的信息从恒定存储区内移去。

上述将新代码引入Java运行系统的方法还将用于与外部包链接的信息从所述恒定存储区内移去；并且其中所述恒定存储区内的余留信息允许以后下载的其他包和小应用程序适当地访问所述新代码(后期代码联编)。

附图说明

图1阐述具有JavaSoft建议的冠文件格式的链接。

图2阐述具有此处建议的文件格式的通过偏移量的链接。

图3阐述具有此处建议的文件格式的通过名称的链接。

具体实施方式

下面讨论本发明的一般回顾和实施方面。Java是一个由SunMicrosystems，Inc.2550 Garcia Ave.，Mountain View，CA 94043-1100，USA所开发的编程语言和环境；“Java”一词是该公司的注册商标。

由于本说明也涉及实施细节，因此认为熟悉技术的人对Java虚拟机及其实施的基本机理是熟悉的。J.Goslin，B.Joy和G.Tele在他们的“Java语言规范”中以及T.Lindholm和F.Yellin在他们的“Java虚拟机规范”中(两者都由Addison-Wesley Publishing Co.于1996年出版)都全面地介绍了Java语言及JVM的实施。然而请注意，此处作为Java-Card VM引用的Java-Card虚拟机在某些方面是不同的，因为只使用一个子集和附加字节代码。

1.0  JavaSoft CAP文件格式建议

如JavaSoft所建议的，CAP文件格式将一个冠文件分为几个部分。一个冠文件基本上包含一个文本部分和一个数据部分。文本部分包含类结构，方法结构和字节代码指令。数据部分包含小板(cardlet)的静态域。文本部分通过恒定存储区中的一个偏移量访问在链接之前其实际地址不详的所有符号(类、方法等)。对于每一个这类符号，恒定存储区包含目标包的AID和该符号在该目标包(即正被链接的包)中的偏移量。恒定存储区为所有输入的符号(在其他包中定义的符号)和所有输出的符号(在正被装载的小板内定义和访问的符号)提供这些偏移量。

文本部分、数据部分和恒定存储区的组织提供了足够的信息以供执行小板时使用。在装载小板之后，链接程序可以逐步地通过恒定存储区并且使用符号的实际地址来替代进入符号的目标包内使用的符号偏移量。链接程序只需按照给定的AID寻找具体包，将其起始地址加至符号偏移量上并且将此信息存回至恒定存储区中。Java-Card VM然后可以使用恒定存储区内的这些地址以供翻译用。然而，在运行时并不需要恒定存储区本身。事实上，在翻译期间它将要求一个不必要的附加间址操作以便寻找符号地址。此外，恒定存储区不必要地在板上占用空间。因此JavaSoft冠文件格式使用个别部分的固定表以便避免在链接之后需要恒定存储区。固定表包含需要重定位的文本部分中的所有位置。链接程序搜索固定表并且将该位置的偏移量输入至恒定存储区内。然后它解决该符号的地址并将它存入文本部分中的初始位置中。然后翻译程序能够在运行期间直接使用这些地址，因此在链接过程之后可以移去恒定存储区。在链接过程之后唯一留在板上的部分是文本部分和数据部分。

小板与预先计算的和硬编码的进入目标包内的偏移量的链接允许实施一个紧凑系统。然而，它在系统类和不同板上的特定扩展的不同实施方面无法提供足够的灵活性。例如，一个按照IBM的系统类转换的小板和JavaSoff的扩展不太可能在具有来自JavaSoff的系统的板和来自IBM的扩展小板上运行。主要原因是不同实施之间的个别类、方法的偏移量以及实例的域偏移量是不同的。

在以下，本发明在现有JavaSoff建议的概念上扩展以及通过一个附加的轻量和灵活的符号化链接机理来加强它。

2.0  本发明的CAP文件格式

根据本发明的冠文件格式也将冠文件分为不同部分。文本部分包含类结构、方法结构和字节代码指令，数据部分还是包括静态域。冠文件还在固定表中保持必要的重定位信息。对于小板与其链接的每一个包(即目标包)都有一个固定表。

固定表还在其中出现重定位的文本部分或数据部分中包含位置。在简单的情况下，这些位置也由一个可靠和熟知的目标包中的预先计算的偏移量所重定位。在此情况下，链接程序将使用给定的目标AID寻找包的起始地址，将偏移量加入目标包中及将该值存在文本部分的初始位置。进入目标包的偏移量可以或者保持于固定表中，或者保持于文本部分的重定位地址处以便使固定表更小。通过偏移量的重定位始终可以用于所装载小板本身内的大部分访问。转换程序可以预先计算这些偏移量而不会破坏兼容性。

由于系统整体性的原因，对于其他外部包的访问不应由预先计算的偏移量来链接。相反，应该在链接过程中使用一个名称或识别符来访问其他包。这些名称和它们相关连的值应该只存于那些在多个小应用程序之间共享的包的板上。由于这些名称/值对的表应该尽可能地小，此冠文件格式限制类文件元素的命名，但仍能提供不同规范的卖主(vendor)专用实施：

·公共类：必须命名和可输出。

·公共静态方法和构造者：同上。

·公共静态域：同上。

·虚拟方法：

翻译程序通过进入虚拟方法表中的一个索引来寻找一个虚拟方法。如果JavaCard环境需要支持虚拟方法的标准Java后期代码联编，则这些索引和虚拟方法表必须在板上解决。在构作方法表期间，链接程序必须判断在方法表中一个方法是否继承另一个方法。由于这些方法可以在不同小板内定义，必须为各方法引入一个全局命名方案以便判断两个方法是否具有相同类型。由于虚拟方法的后期代码联编需要一个全局命名方案和用于解决和命名虚拟方法的板上附加资源，本发明的冠文件格式不支持它。但即使有此限制，仍然有足够空间留给核心包和扩展的卖主专用实施。编程人员可以自由地增加私有的或静态的方法和类。他也能增加非私有实例方法，如果它们不是继承的和宣布为最后的。转换程序就可以用直接调用来替代对这些方法的调用。

·实例域：

一个类中的实例域的数量和类型通常不由规范所定义，并且将在不同卖主的实施之间变化。因此必须由一个CAP文件格式建议来解决域偏移量的联编。关于链接过程的域的使用可以分为以下三个类别：

·预先计算的域偏移量

一个get-/put-域指令访问一个其类和所有超类都在包含的小板内定义的域。此域的偏移量然后可以由转换程序预先计算，同时不必在装载过程期间链接。如果有协议认为对象类不包含任何域声明，则许多域访问都可归入此类别。

·访问具有任何小板之外的超类的小板内部类的域

此情况必须由一个冠文件格式支持以便允许将个别包中定义的类划分为子类。转换程序能够相对于小板之外的超类的实例大小而计算该域的偏移量并且将此值存于冠文件中。在链接过程期间域的实际偏移量必须根据基类大小重新计算。对于小板内部类的实例大小元素也可相同地进行。

·访问小板外部超类中或任何外部类中的域

虽然实例域很少声明为公共的，但它们经常声明为保护的。对保护域的访问始终由专用保护set-/-get-域方法所同意，但所建议的冠文件格式也允许对这类保护的或公共的声明域进行直接访问。一个输出一个保护的或公共的实例域的包必须包含一个名称和这类域的偏移量以便允许符号化链接。

一个输出类、方法或域的包可以包含一个恒定存储区，其条目包含类型(类等)、名称和该符号的值。由于冠文件格式不需支持全局命名方案，可以容易地规定相关连的符号的名称。这些符号可以从0数到n，并且可以与应用编程接口(API)的规范一起移交。这一规范的实施程序仍然能够通过选择从n+1开始的新名称来输出附加类。

图3显示一个小应用程序与一个目标包的符号化联编。固定表中的条目包含重定位类型(见下面)、进入重定位的文本部分中的偏移量，以及符号名称(为提高空间效率，它可能也存于重定位的位置内)。使用该建议的命名方案，该名称可以用作进入目标包的恒定存储区内的索引。恒定存储区内的条目包含条目类型、名称和相关连的值。链接程序根据条目类型将固定表中的条目重定位：

·要重定位一个方法：

具有给定名称的目标包的恒定存储区项目必须是一个方法类型。该值必须是一个进入在其中定义该方法的目标包的偏移量。链接程序计算该方法的地址并且在给定偏移量处固定该文本部分。

·要重定位一个类：

与以上相同，不同之处只是带有符号索引和名称的恒定存储区项目必须是类的类型。

·要重定位一个静态域：

与以上相同，不同之处只是带有符号索引和名称的恒定存储区项目必须是静态域类型，该值是进入包的数据部分的偏移量。

·要重定位一个相对实例域偏移量或相对类实例大小值：

带有给定名称的目标包的恒定存储区项目必须是类的类型。链接程序计算目标类的地址并获取该类(类结构的一个元素)的实例大小。链接程序将实例大小加至在文本部分偏移量处给出的值并且用所得和值来替代后者。

·对未定义类的绝对域访问：

带有给定名称的目标包的恒定存储区项目必须是实例域的类型。该项目的值是它的类的实例中该域的绝对偏移量。

如果所装载的小板是一个共享包及输出保护域或公共域，则链接程序也在恒定存储区内将它们的条目重定位。它们的实际偏移量用与相对实例域偏移量相同的方式来重定位。

一旦链接过程结束就可以移去固定表。小应用程序不需要恒定存储区，只有在多个小应用程序之间分享的包才需要恒定存储区以备将来使用。恒定存储区的大小决定于输出项目的数量和决定于项目的大小。现有JavaCard系统类的恒定存储区当今大约有160个项目。一个恒定存储区项目包含一个类型域、一个名称和一个值，它们可以存于4字节内(使用所建议的命名方案时，它们甚至可减少至三字节)。这样一来能使所有系统类的恒定存储区的大小成为720字节。

JavaSoft建议的不同：

·JavaSoft恒定存储区当今在内部定义的和外部定义的项目之间并无差别。这在去除覆盖内部定义项目的恒定存储区项目时困难。

·get-/put-域指令中域偏移量和类结构中的实例大小域只有8位宽。这就不可能当今将此值用作进入恒定存储区的索引，而在恒定存储区内可在链接过程期间存储信息以便联编一个域的偏移量。

由于这两个限制，现有JavaSoft建议需要加强以便有可能实现必要的轻量命名方案-类似于此处所建议的。

3.0  附录

3.1  较小扩展

在某些环境中，可能不需要或没有空间用于板上的任何符号化信息，例如在链接过程期间只使用预先计算的偏移量即已足够。根据本发明的冠文件格式可以在下列方向内以安全的方式扩展：

·一个包或小应用程序不但包含一个版本号，而且也包含一个卖主id(或实施id)。

·固定表中访问恒定存储区项目的条目也包含偏移量，转换程序能够在转换期间计算这些偏移量。

·在下载过程开始时装载程序判断小应用程序所需要的包是否来自与当今安装于板上的卖主相同的卖主(例如相同实施)。如果属实，则在链接过程期间装载程序使用小应用程序冠文件中的偏移量。否则下载过程失败。

3.2  访问的冠文件格式项目的规范

详细描述的目的不是为了严格地规定一个冠文件的内容。相反，它提供一个从JavaSoft建议开始的关于什么应该和什么必须包括于冠文件中的详细讨论。同时，我们也提供类似C的声明中的这个描述中提及的冠文件格式项目的更正规的规范。为清楚起见，此处以非优化形式规定这些规范：

　　//固定表的格式

　　typedef struct_fixup_table{

　　u1 target_aid_cnt；

　　u1 target_aid[]；

　　u1 entries_cnt；

　　fixup_entry_t entries[]；

　　}；

　　//固定条目的布局

　　typedef struct_fixup entry{

　　u1 type；
        <!-- SIPO <DP n="8"> -->
        <dp n="d8"/>
　　u2 offset；//到文本或数据的偏移量

　　union{

　　u2 target_offset；//到目标包的偏移量

　　u2 symbol_name；//到目标恒定存储区的名称和索引

　　}value；

　　}fixup_entry_t；

　　//个别固定条目类型

　　//按照偏移量将文本部分或数据部分内的一个16位地址重定位

　　//这能够覆盖类、方法等的地址

　　#define RELO_TEXT_16BIT_WITH_OFFSET

　　#define RELO_TEXT_16BIT_WITH_OFFSET

　　//将一个符号值重定位入文本部分

　　#define RELO_CLASS_BY_SYM

　　#define RELO_METHOD_BY_SYM

　　#define RELO_STATICFIELD_BY_SYM

　　#define RELO_INSTANCEFIELD_BY_SYM

　　//恒定存储区的布局

　　typedef struct_constant_pool{

　　u2 cnt；

　　cp_item_titems[cnt]；

　　}；

　　//恒定存储区项目的布局

　　typedef struct_cp_item{

　　unsigned type：4//项目类型

　　unsigned name：12；//名称，若需要的话

　　u2 offset：//偏移量　
        <!-- SIPO <DP n="9"> -->
        <dp n="d9"/>
　　}；

　　//恒定存储区项目类型

　　#define CONSTPOOL_CLASS

　　#define CONSTPOOL_METHOD

　　#define CONSTPOOL_STATICFIELD

　　#define CONSTPOOL_INSTANCEFIELD

Claims (6)

1.一种Java运行系统，包括一个基于堆栈的解释器，所述解释器执行一个包括字节代码和类结构的程序，所述系统还包括一个修改的恒定存储区，所述恒定存储区具有只在链接期间使用的内部信息以及保留以备后期代码联编用的外部信息，其中在链接以后将所述内部信息从所述修改的恒定存储区中移去。

2.权利要求1的Java运行系统是一个JavaCard.

3.一种用于将新代码引入Java运行系统的方法，该Java运行系统包括基于堆栈的解释器，所述解释器执行一个包括字节代码和类结构的包，

·将所述新代码与在所述系统中存在的所述包链接，从而由一个只在链接时间知道的访问来替代所述新代码相对于所述包本身的偏移量，

·从而使用包含于所述包的一个恒定存储区内的符号化信息来解决外部链接，

·至少将那些由所述只在链接时间知道的访问所替代的信息从恒定存储区内移去。

4.权利要求3的方法，其特征在于，还将用于与外部包链接的信息从所述恒定存储区内移去。

5.权利要求3的方法，其特征在于，所述恒定存储区内的余留信息允许以后下载的其他包和小应用程序适当地访问所述新代码。

6.权利要求3的方法，其中所述Java运行系统是一个JavaCard。

Images