Java类加载机制
JVM类加载机制分为五个部分:加载,验证,准备,解析,初始化,下面我们就分别来看一下这个过程。
加载
加载是类加载过程的一个阶段,这个阶段会在内存中生成一个代表这个类的java.lang.Class对象,作为方法区这个类的各种数据的入口。注意这里不一定非得要从一个Class文件获取,这里既可以从zip包中读取(比如jar包和war包),也可以在运行时计算机生成的(动态代理),也可以由其它文件生成(比如将JSP文件转换成对应的Class类)。
验证
这一阶段的主要目的是为了确保Class文件的字节流中包含的信息是否符合当前虚拟机的要求,并且不会危害虚拟机自身的安全。
准备
准备阶段是正式为类变量分配内存并设置类变量的初始值阶段,即在方法区中分配这些变量所使用的内存空间。注意这里所说的初始值概念,比如一个类变量定义为:
public static int v=100;
实际上变量v在准备阶段过后的初始值为0而不是100,将v赋值为100的put static指令是程序被编译后,存放于类构造器中。
但是注意如果声明为:
public static final int v=100;
在编译阶段会为v生成ConstantValue属性,在准备阶段虚拟机会根据ConstantValue属性将v赋值为100。
解析
解析阶段是指虚拟机将常量池中的符号引用替换为直接引用的过程。符号引用就是class文件中的:
1.CONSTANT_Class_info
2.CONSTANT_Field_info
3.CONSTANT_Method_info
等类型的变量
符号引用
符号引用与虚拟机实现的布局无关,引用的目标并不一定要加载到内存中。各种虚拟机实现的内存布局可以各不相同,但是它们能接受的符号引用必须是一致的,因为符号引用的字面量形式明确定义在Java虚拟机规范的Class文件中。
直接引用
直接引用可以是指向目标的指针,相对偏移量或是一个能间接定位到目标的句柄。如果有了直接引用,那引用的目标必定已经在内存中存在。
初始化
初始化阶段是类加载的最后一个阶段,前面的类加载阶段之后,除了在加载阶段可以自定义类加载器之外,其他操作都由JVM主导。到了初始化阶段,才开始真正执行类中定义的Java程序代码。
类构造器
初始化阶段是执行类构造器方法的过程。方法是由编译器自动收集类中的类变量的赋值操作和静态语句块中的语句合并完成的。虚拟机会保证子方法执行之前,父类的方法已经执行完毕,如果一个类中没有静态变量赋值也没有静态语句块,那么编译器可以不为这个类生成()方法。
注意以下几种情况不会执行类初始化:
1.通过子类引用父类的静态字段,只会触发父类的初始化,而不会出发子类的初始化。
2.定义对象数组,不会触发该类的初始化。
3.常量在编译期间会存入调用类的池中,本质上并没有直接引用定义常量的类,不会触发定义常量所在的类。
4.通过类名获取Class对象,不会触发类的初始化。
5.通过Class.forName加载指定类时,如果指定参数initize为false时,也不会触发类初始化,其实这个参数是告诉虚拟机,是否要对类进行初始化。
6.通过ClasLoader默认的loadClass方法,也不会触发初始化动作。
类加载器
1.启动类加载器(Bootstrap ClassLoader)
负责加载JAVA_HOME\lib目录中的,或通过-Xbootclasspath参数指定路径中的,且被虚拟机认可(按文件名识别,如rt.jar)的类。
2.扩展类加载器(Extension ClassLoader)
负责加载JAVA_HOME\lib\ext目录中的,或通过java.ext.dirs系统变量指定路径中的类库。
3.应用程序类加载器(Application ClassLoader)
负责加载用户路径(classpath)上的类库。
JVM通过双亲委派模型进行类的加载,当我们也可以通过继承java.lang.ClassLoader实现自定义的类加载器。
双亲委派
当一个类收到了类加载请求,它首先不会尝试自己去加载这个类,而是把这个请求委派给父类去完成,每一个层次加载器都是如此,因此所有的加载请求都应该传送到启动类加载器中,只有当父类加载器反馈自己无法完成这个请求的时候(在它的加载路径下没有找到所需加载的Class),子类加载器才会尝试自己加载。
采用双亲委派的一个好处是比如加载位于rt,jar包中的类java.lang.Object,不管是哪个加载器加载这个类,最终都是委托给顶层的启动进行加载,这样就保证了使用不同的类加载器最终得到的都是同一个Object对象。
OSGI(动态模型系统)
OSGI(open service gateway initialize),是面向Java的动态模型系统。是Java动态化模块化系统的一系列规范。
动态改变构造
OSGI服务平台提供在多种网络设备上无需重启的动态改变构造的功能。为了最小化耦合度和促使这些耦合度可管理,OSGI技术提供一种面向服务的架构,它能使这些组件动态地发现对方。
模块化编程与热拔插
OSGI旨在为实现Java程序的模块化编程提供基础条件,基于OSGI的程序很可能可以实现模块级的热拔插功能,当程序升级更新时,可以只停用、重新安装然后启动程序的其中一部分,这对企业级开发来说是非常具有诱惑力的特性。
OSGI描绘了一个很美好的模块化开发目标,而且定义了实现这个目标的所需要的服务与架构,同时也有成熟的框架进行实现支持。并非所有的应用都适合采用OSGI作为基础架构,它在提供强大功能同时,也引入了额外的复杂度,因为它不遵守类加载的双亲委派模型。