Java动态类加载机制研究及应用

为了在Java应用程序运行期间动态加载类文件,而不影响其它功能模块的正常运行,在Java虚拟机(JVM)机制上给出了Java动态类加载的实现方法。通过对Java类加载器的体系结构,动态类加载机制原理、实现过程和实现方法的分析,在网络教学环境下实现了一个基于C/S结构模式的动态的从数据库中获取Java源代码并编译运行的学生实验教学系统,并结合反射机制为Java作为动态语言提出一种应用的途径,充分展现了Java语言的灵活性、安全性,使它在代码安全保护和网络环境下有广阔应用前景。     

Java动态类加载机制分析及其应用

Java 虚拟机(JVM)中的类加载机制可以在 Java 应用程序运行期间动态加载类文件, 而不影响其它功能模块的正常运行. 通过对 Java 类加载器的层次体系结构, 动态类加载机制原理、实现过程进行分析, 将Java动态类加载机制应用到高校网站管理平台的文件发布模块中, 使得设计好的静态网页和后台管理系统相关联, 通过自定义加载器来加载加密过的Java类文件. 这样以可插拔的方式快速的部署二级网站, 增强了网站管理平台的灵活性和可扩展性.     

Java动态类加载机制研究及应用

随着科学技术的快速发展,各种软件也在不断研发和完善当中,Java动态类加载机制就是在这种条件下产生的,因为其具备显著的优势,所以得到了广泛应用。Java动态类加载机制相对于其他同类型的技术来说能够最大程度减少对内存空间的占用量,而且可以随时下载所需要用到的功能,不会影响其他功能的使用。所以,加大对Java动态类加载机制的研究力度,使其应用到更多领域中成为当前相关研究人员最为重视的工作内容。为此笔者主要介绍了Java动态类加载机制的相关内容,希望能够使更多人进一步了解Java动态类加载机制。     

Java类加载器机制与模型

主要讨论Java类加载器,类加载器是Java运行环境的一部分,它可以动态地把类加载到Java虚拟机中,而在通常情况下,类仅在被需要的时候加载。正是有了类加载器机制,Java虚拟机无需了解类文件的结构和类文件系统。在类加载器的选择中,Java使用了双亲委派模型来处理由谁来加载类。     

Java动态类加载分析

动态类加载是Java的一个重要功能,它支持Java在运行时安装程序组件。Java的动态加载具有惰性加载、用户自定义加载策略以及动态名字空间等新特征。本文详细讨论了Java的动态加载机制,研究了动态加载与Java平台安全性之间的关系,分析了针对类加载的典型攻击,讨论了形式化验证的方法和存在的相应问题,最后总结全文并指出进一步研究的方向。     

Java应用程序的动态加载与字节码文件解密过程的讨论

通过对Java应用程序的执行过程和Java类加载器的加载机制的分析,探讨了如何在Java类的显示加载和通过自定义类加载器进行加载两种方式下,让一个Java应用程序通过动态加载并执行另一个Java应用程序的具体过程,并对之进行了深入的讨论。     

Java动态类加载机制研究及实践

现如今,Java编程体系已经成为了计算机运行当中十分重要的组成部分,Java是一种能够对跨平台应用软件现象对象进行撰写的程序设计语言.在Java变成体系当中,JVM是其中的核心,而动态类加载更是其重要的特征.本文研究了Java的动态类加载机制,并分析了其动态类加载器的原理、体系结构等,希望本文的研究能够为相关工作者提供一定的参考作用.     

深入剖析Java类的构造方式

本文通过查看一个精心构造的类结构的运行输出和使用javap工具查看实际生成的Java字节码(bytecode)，向Java程序员展示了一个类在运行时是如何构造生成的？按照Java规范，一个类实例的构造过程是遵循以下顺序的。     

Java安全机制的研究

Java安全机制已成为一个研究热点。本文从语言、字节码验证器、类加载器、安全管理器以及对象的安全性等多个方面详细探讨了Java安全机制,并指出了其在未来的发展方向。     

基于FJ的多版本类动态更新演算

针对面向对象软件在动态更新中遇到类型安全问题,定义了一个多版本类的动态更新演算(MCUFJ演算(multi-version class dynamic updamble calculus based on FJ calculus))来描述类动态更新.MCUFJ演算以FJ(featherweight Java)演算为核心,通过增加update操作表示类的动态更新,运用多版本技术使动态更新可以在保持新旧对象共存的情况下完成,讨论了类的数据域和方法进行增加、删除、修改以及类型变化对程序类型安全性的影响,并且指出MCUFJ上类型安全的动态更新需要满足的约束.定义了类的可动态更新限制,并且证明了在该条件下多版本类的动态更新在类型上的安全性.该演算可以用于指导Java语言和面向对象程序语言的类动态更新.     

Research on dynamic update transaction for Java classes

Dynamic software updating is critical for many systems that must provide continuous service. In addition, the Java language is gaining increasing popularity in developing distributed systems. Most previous works on updating are concerned with safely updating one class every time. It has many limitations on updating classes, such as not allowing deleting methods invoked in other classes. In this paper, the update transaction is purposed to dynamically update the class set, and some of its properties are discussed, such as atomicity, consistency, isolation, and durability (ACID). Then the property of type-safety is proven formally. In order to update without changing the Java Virtual Machine (JVM) and the Java programming language, this paper proposes a new implementation method. The method makes use of the Java class loading mechanism and reflection mechanism. We also present how to design an updatable Java program and a Java updating program. At the end of the paper, an experiment is made for analysis.     

Improving static resolution of dynamic class loading in Java using dynamically gathered environment information

In Java software, one important flexibility mechanism is dynamic class loading. Unfortunately, the vast majority of static analyses for Java treat dynamic class loading either unsoundly or too conservatively. We present a novel semi-static approach for resolving dynamic class loading by combining static string analysis with dynamically gathered information about the execution environment. The insight behind the approach is that dynamic class loading often depends on characteristics of the environment that are encoded in various environment variables. Such variables are not static elements; however, their run-time values typically remain the same across multiple executions of the application. Thus, the string values reported by our technique are tailored to the current installation of the system under analysis. Additionally, we propose extensions of string analysis to increase the number of sites that can be resolved purely statically, and to track the names of environment variables. An experimental evaluation on the Java 1.4 standard libraries shows that a state-of-the-art purely static approach resolves only 28% of non-trivial sites, while our approach resolves 74% of such sites. We also demonstrate how the information gained from resolved dynamic class loading can be used to determine the classes that can potentially be instantiated through the use of reflection. Our extensions of string analysis greatly increase the number of resolvable reflective instantiation sites. This work is a step towards making static analysis tools better equipped to handle the dynamic features of Java. This material is based upon work supported by the National Science Foundation under CAREER grant CCF-0546040.     

Java小程序的授权访问研究

Java技术在Internet上得到广泛应用,但Java小程序(Applet)却极易被非授权者非法使用.文章提出了一种基于数字签名的Java程序授权访问机制,可以有效地确保Java程序只在经授权的客户机上运行,保护了程序作者的版权与经济利益,也适用于需要计费的网络服务.     

Java异常处理策略研究

异常处理机制是程序设计语言的重要标志之一,在程序设计过程中用来处理程序运行中的异常。传统的程序设计语言里异常处理较为繁杂。Java是一种面向对象的程序设计语言,且引入了异常处理机制。合理完备的异常处理可以增强程序运行的可靠性、提高软件的健壮性,可以较为快速地确定错误的位置。文章分析了Java异常处理的逻辑,阐述了异常类、异常处理机制以及异常处理方法,提出了异常处理的一些策略。综合运用这些策略可以使编程人员编写出更加简洁、高效的程序代码。     

基于Android平台的电动自行车租赁系统的设计与实现

基于Android平台的电动自行车租赁系统主要完成了对服务端与客户端的程序设计。相比于目前国内的一些租车软件,该系统除了实现了用户登录、车辆预约、门店查看、订单查看等基本功能外,还新增了限速功能。软件中的数据显示采用了异步加载机制,服务器与客户端的通信采用定义接口的方式进行传输。同时采用二级缓存机制有效避免了图片加载时内存溢出等问题。该软件不仅运行流畅,而且安全性高。     

Java安全体系在Web程序中的研究和应用*

提出了一种基于Java的Web程序安全解决方案。该方案采用JAAS（Java Authentication Authorization Service）实现可插入式登录模块,采用X509数字证书作为用户身份认证,通过配置Web服务器,并利用服务器证书和客户端证书实现服务器与客户端之间的SSL双向认证;待认证成功后,再利用服务器和客户端协商好的对称密钥来建立HTTPS连接,以实现数据的安全传送。该方案为基于Java的Web程序提供了一个安全接口,可以方便地移植。     

Secure Java class loading

The class loading mechanism, central to Java, plays a key role in JDK 1.2 by enabling an improved security policy that is permission-based and extensible. The author concludes that JDK 1.2 has introduced a powerful and secure class loading mechanism. It not only enforces type safety and name space separation but also has a significant role in the new security architecture that supports fine grained, permission based access control. The new class loading mechanism's flexibility-through its delegation scheme and the rich set of class loader classes-gives Java applications and applets greater freedom to customize and specify how, when, and from where classes are loaded. Because the class loading mechanism is central to both the correctness and the security of the Java runtime system, we would like to model and define this mechanism, perhaps in a formal verification system. We can then obtain a formal specification and prove (or disprove) that the mechanism as currently designed is sufficient for security     

可视化Java类装载器的分析与实现

在总结程序设计可视化特点的基础上,提出提供开发过程中各种动态视图的可视化软件开发环境（vSDE）.鉴于装载器是Java编译器和虚拟机中的交叉模块,选取可视化Java类装载器（VJL）作为VSDE的预研.VJL提供在启动装载阶段和解析阶段中,一组装载相关类型的装载过程以及涉及信息的动态视图.VJL中的线程通信的模式以及通用图形模块的思想,可以应用于VSDE后续模块的开发.最后给出运行实例,演示VJL在不同阶段所提供的动态视图.     

Java反射机制在基于O/R映射的数据持久层框架中的应用研究

Jaya反射机制是提高系统灵活性、可扩展性的重要技术,它使得软件系统具有自适应能力,并在运行时随外部环境的变化而改变自身,实现程序的动态演进.介绍了反射的概念和Java反射机制,根据基于O/R映射的数据持久层框架的设计方案,采用反射机制实现了域对象(Domain Object)信息的动态加载,并给出了具体实现方法实例.