JVM篇

JVM简介

JVM包括一套字节码指令集,一组寄存器,一个栈,一个垃圾回收,堆和一个存储方法域,JVM是运行在操作系统上的。

JVM运行过程

Java源文件通过编译器,能够生产相应的.Class文件,也就是字节码文件,而字节码文件又通过Java虚拟机中的解释器,编译成特定机器上的机器码。
(1)Java源文件 -》 编译器 -》 字节码文件
(2)字节码文件 -》 JVM -》 机器码
每台机器上的解释器是不同的,但是实现的虚拟机是相同的,这就是Java为什么能够跨平台的原因。

JVM内存结构

在这里插入图片描述
-线程私有数据区域生命周期与线程相同,依赖用户线程的启动/结束,而创建/销毁(在HotSpot VM内)
-线程共享区域随虚拟机的启动/关闭而创建/销毁
-直接内存不是JVM运行时数据区的一部分,但会被频繁使用,:在JDK1.4引入的NIO提供基于Channel与Buffer的IO方式,它可以使用Native函数库直接分配对外内存,然后使用DirectByteBuffer对象作为这块内存的引用进行操作,这样可以避免在Java堆和Native堆中来回复制数据。

JVM运行时数据区

在这里插入图片描述

  • 程序计数器
    是当前线程所执行的字节码的行号指示器。
    注意:
    1:如果执行java方法,计数器记录的是虚拟机字节码指令的地址(当前指令的地址),但如果是Native方法,则为空。
    2:这个内存区域是唯一一个在虚拟机中没有规定任何OutOfMemoryError情况的区域。
  • 虚拟机栈
    这个描述java方法执行的内存模型,每个方法在执行的同时会创建一个栈帧(Stack Frame)用于存储局部变量表,操作数栈,动态链接,方法出口等信息。每个方法从调用至执行完成的过程,就对应着一个栈帧在虚拟机中入栈到出栈的过程。
    虚拟机栈的结构
    在这里插入图片描述
  • 本地方法栈(线程私有)
    本地方法栈和虚拟机栈作用类似,不过一个是为虚拟机执行java方法服务,一个为本地方法服务,
  • 堆(Heap-线程共享)
    是被线程共享的一块内存区域,创建的对象和数组都保存在Java堆内存中,也是垃圾回收器进行垃圾收集的最主要的一块区域,所以也被称之为GC堆。由于现代VM采用分代收集算法,因此JAVA堆从GC角度来看,可以分为:新生代(Eden区,From Survivor区和To Survivor区)和老年代。
  • 方法区/永久代(线程共享)
    这个即是常说的永久代,用于存储被JVM加载的类信息,常量,静态变量以及编译器编译后的代码等数据。对于方法区的内存回收的主要目标就是针对常量池的回收和类型的卸载。
  • 运行时常量池是方法区的一部分。Class文件中除了有类的版本,字段,方法,接口等描述信息外,还有一项信息是常量池,用于存储编译器生成的字面量和符号引用,这部分内容将在类加载后存放到方法区的运行时常量池中。

Java堆详细说明

Java堆从GC的角度还可以细分为:新生代(Eden区,FROM Surivor区和To Survivor区)和老年代
在这里插入图片描述

新生代

用来存放新生的对象,一般占据堆的1/3空间。由于频繁创建对象,所以新生代会频繁触发Minor GC进行垃圾回收。新生代分为eden, survivor from , to survivor 三个区。

  • Eden区
    Java新对象的出生地(如果新创建的对象占用内存很大,则直接分配到老年代)。当Eden区内存不够时就会触发MinorGC,对新生代区进行一次垃圾回收。
  • From Survivor
    上次GC的幸存者,作为这一次GC的被扫描者。
  • To Survivor
    保留了一次MinorGC过程中的幸存者。

MinorGC的过程(复制-》清空-》互换)

MinorGC采用复制算法

  • eden,fromsurvivor复制到tosurvivor,年龄加1
    首先把eden和fromsuivivor区域中存活的对象复制到tosurvivor区域(如果有对象的年龄已经达到了老年的标准,则赋值到老年代区),同时把这些对象的年龄+1(如果Tosurvivor不够位置就放到老年代);
  • 清空eden,fromsurvivor
    然后,清空eden和fromsurvivor中的对象;
  • tosurvivor和fromsurvivor互换
    最后,tosurvivor和fromsurvivor互换,原tosurvivor成为了下一次GC时的fromsurvivor区。

老年代

主要存放应用程序中生命周期长的内存对象。
老年代对象比较稳定,所以MajorGC不会频繁执行。进行一次MajorGC前一般都会先进行一次MinorGC,使得新生代得对象晋升老年代,导致空间不够用时才触发,当无法找到足够大得连续空间分配给新创建得较大对象是也会触发一次MajorGC进行垃圾回收腾出空间。

  • MajorGC
    MajorGC采用标记清除算法:首先扫描一次所有老年代,标记出存活的对象,然后回收没有标记的对象,MajorGC的耗时较长,因为要扫描回收,且MajorGC会产生内存碎片,为了减少内存损耗,一般需要进行合并或者标记出来方便下次直接分配,当老年代也满了装不下的时候,就会抛出OOM(Out of Memory)异常。

永久代

指内存的永久保存区域,主要存放Class和Meta(元数据)的信息,Class在被加载的时候被放入永久代区域,它和存放实例的区域不同,GC不会在主程序运行期间对永久代进行清理,所以也导致了永久代会随着加载的Class的增多而膨胀,最终抛出OOM;

JAVA8与元数据

在JAVA8中,永久代已经被移除,被一个称为“元数据”(元空间)的区域所取代。元空间的本质和永久代类似,元空间和永久代最大的区别在于,元空间并不在虚拟机中,而是使用的本地内存,因此,默认清空下,元空间的大小仅受本地内存限制,类的元数据放入Native memory,字符串池和类的静态变量放入java堆中,这样可以加载多少类的元数据就不再由MaxPermSize控制,而由系统的实际可用空间来控制。

垃圾回收算法

在这里插入图片描述

如何确定垃圾

  • 引用计数法
    在JAVA中,引用和对象是有关联的,如果要操作对象则必须用引用进行,因此,很显然一个简单的方法是通过引用计数来判断一个对象是否可以回收,简单来收,即一个对象如果没有任何与之关联的引用,既它的引用计数为0,则说明对象不太可能再被用到,那么这个对象就是可回收对象。
  • 可达性分析法
    为了解决引用计数法的循环引用问题,java使用了可达性分析的方法,通过一系列的“GC roots”对象作为起点搜索。如果在“GC roots”和一个对象之间没有可达路径时,则称对象为不可达对象。
    注意:不可达对象不等价于可回收对象,不可达对象变为可回收对象至少要经过两次标记过程,两次标记之后仍是可回收对象,则面临回收。

标记清除算法(Mark-Sweep)

最基础的垃圾回收算法,分为两个阶段,标记和清除,标记阶段标记出所有需要回收的对象,清除阶段回收被标记的对象所占用的空间,如下图:
在这里插入图片描述
由图可知,该算法最大的一个问题就是内存碎片严重,后续可能发生大对象不能找到可利用空间的问题。

复制算法(copying)

为了解决Mark-Sweep算法内存碎片化的缺陷而被提出的算法,按内存容量将内存分为等大小两块,每次只是用其中一块,当一块内存满了将还存活的对象复制到另一块上,把已使用的内存清理掉,如图:
在这里插入图片描述
这种方法虽然实现简单,内存效率高,不易产生碎片,但是最大的问题是可用内存被压缩到了原本的一本,且存活对象增多的话,copying算法的效率就会大大降低

标记整理算法(Mark-Compact)

结合了以上两个算法,为了避免缺陷而提出。标记阶段和Mark-Sweep算法相同,标记后不是清理对象,而是将存活对象移向内存的一端,然后清除端边界外的对象,如图:
在这里插入图片描述

分代收集算法

分代收集算法是大部分JVM采用的方法,其核心是根据对象存活的不同生命收起将内存划为不同的域,一般情况下将GC堆划分为老年代(Tenured/Old Generation) 和新生代(Young Generation)。老年代的特点是每次垃圾回收时只有少量对象需要被回收,新生代的特点是每次垃圾回收时都有大量垃圾需要被回收,因此可以根据不同区域选择不同的算法。

  • 新生代与复制算法
    目前大部分JVM的GC对新生代采用Copying算法,因为新生代中每次垃圾回收都要回收大部分对象,即要复制的操作比较少,但通常不是按照1:1来划分新生代的,一般将新生代划分为一块较大的eden区和两个较小的survivor区,每次是用eden和其中一块survivor,当进行回收时,将两块空间中还存活的对象复制到另一块survivor空间中
    在这里插入图片描述
  • 老年代与标记复制算法
    而老年代因为每次只回收少量对象,因而采用Mark-Compact算法
    1.Java虚拟机提到过处于方法区的永久代(Permanget Generation),它用来存储class类,常量,方法描述等,对永久代的回收主要包括废弃常量和无用的类
    2.对象的内存分配主要在新生代的eden space和survivor的from space(survivor目前存放对象的那一块),少数情况会直接分配到老年代。
    3.当新生代的eden和from survivor空间不足时就会发生一次GC,进行GC后,eden和from survivor区存活的对象会被挪到to surivivor ,然后将eden和from survivor进行清理。
    4.如果to survivor无法存储足够某个对象,则将这个对象存储到老年代。
    5.在进行GC后,是用的便是eden 和to survivor,如此反复循环
    6.当对象在survivor区躲过一次GC后,其年龄+1,默认情况下年龄达到15的对象会被移到老年代。

JAVA中的四种引用类型

强引用

在Java中最常见的就是强引用,把一个对象赋给一个引用变量,这个引用变量就是一个强引用。当一个对象被强引用变量引用时,它处于可达状态,它是不可能被被垃圾回收机制回收的,即使该对象以后永远都不会被用到JVM也不会回收,因此强引用是造成Java内存泄漏的主要原因之一。

软引用

软引用需要用WeakReference类来实现,对于只有软引用的对象来说,当系统内存足够时它不会被回收,当系统内存空间不足时它会被回收,软引用通常用在对内存敏感的程序中。

弱引用

弱引用需要用WeakReference类来实现,它比软引用的生成期更短,对于只有弱引用的对象来说,只要垃圾回收机制一运行,不管JVM的内存空间是否足够,总会回收该对象占用的内存。

虚引用

虚引用需要PhantomReference类来实现,它不能单独使用,必须和引用队列联合使用,虚引用的主要作用时跟踪对象被垃圾回收的状态。

GC分代收集算法VS分区收集算法

分代收集算法

当前主力JVM垃圾收集都采用“分代收集”(Generational Collection)算法,这种算法会根据对象存活周期的不同将内存划分为几块,如JVM中新生代,老年代,永久代,这样可以根据各年代特点分别采用最适当的GC算法

  • 在新生代-复制算法
    每次垃圾收集都能发现大批对象已死,只有少量存活,因此选用复制算法,只需付出少量存活对象的复制成本就可以完成收集。
  • 在老年代-标记整理算法
    因为对象存活率高,没有额外空间对它进行分配担保,就必须采用“标记-清理"或”标记-整理“算法来进行回收,不必进行内存复制,且直接腾出空闲内存。

分区收集算法

分区算法则将整个堆空间划分为连续的不同小区间,每个小区间独立使用,独立回收,这样做的好处是一次可以回收多个小区间,根据目标停顿时间,每次合理回收若干个小区间(而不是整个堆),从而减少一次GC所产生的停顿。

GC垃圾收集器

Java堆内存被划分为新生代和老年代两部分,新生代主要使用复制和标记-清除垃圾回收算法;老年代主要使用标记-整理垃圾回收算法,因此java虚拟机中针对新生代和老年代分别提供了多种不同的垃圾收集器,JDK1.6中Sun HotSpot虚拟机的垃圾收集器如下:
在这里插入图片描述

Serial垃圾收集器(单线程,复制算法)

Serial是最基本垃圾收集器,使用复制算法,Serial是一个单线程的收集器,它不但只会使用一个CPU或一条线程去完成垃圾收集工作,并且在进行垃圾收集的同时,,还会暂停其他所有的工作线程,直到垃圾收集结束。
Serial垃圾收集器虽然在收集垃圾时需要停止所有其他工作线程,但是它简单高效,对于单CPU环境来说,没有线程交互的开销,可以获得更高的单线程垃圾收集效率,因此Serial垃圾收集器依然是java虚拟机运行在client模式下默认的新生代收集器。

ParNew垃圾收集器(Serial+多线程)

ParNew垃圾收集器其实是Serial收集器的多线程版本,也是用复制算法,除了使用多线程进行垃圾收集之外,其余的行为和Serial收集器完全一样,ParNew垃圾收集器在垃圾收集过程中同样也要暂停所有其他的工作线程。
ParNew收集器默认开启和CPU数目相同的线程数,可以通过
-XX:ParallelGCThreads参数来限制垃圾收集器的线程数。【Parallel:平行的】
ParNew虽然是除了多线程外和Serial收集器几乎完全一样,但是ParNew收集器是很多Java虚拟机运行在Server模式下新生代的默认垃圾收集器。

Parallel Scavenge收集器(多线程复制算法,高效)

Parallel Scavenge收集器也是一个新生代收集器,同样使用复制算法,也是一个多线程的垃圾收集器,它重点关注的是程序达到一个可控制的吞吐量(Thoughput,CPU 用于运行用户代码的时间/CPU 总消耗时间,即吞吐量 = 用户运行代码时间/(运行用户代码时间+垃圾收集时间)),高吞吐量可以最高效的利用CPU时间,尽快的完成程序的运算任务,主要适用于在后台运算而不需要太多交互的任务,自适应调节策略也是ParallelScavenge收集器与ParNew收集器的一个重要区别。

Serial Old收集器(单线程标记整理算法)

Serial Old是Serial垃圾收集器的老年代版本,它同样是单线程的收集器,是哟个标记-整理算法,这个收集器也主要是运行在client默认的java虚拟机默认的老年代垃圾收集器
在Server模式下,主要有两个用途:

  • 在JDK5之前版本与新生代的Parallel Scavenge收集器搭配使用
  • 作为老年代中使用CMD收集器的后备垃圾收集方法
    新生代Serial与老年代Serial Old搭配垃圾收集过程图:
    在这里插入图片描述
    新生代Parallel Scavenge收集器与ParNew收集器工作原理类似,都是多线程收集器,都使用复制算法,在垃圾收集过程中需要暂停所有工作线程,新生代Parallel Scavenge/ParNew与老年代Serial Old搭配垃圾收集过程图:
    在这里插入图片描述

Parallel Old收集器(多线程标记整理算法)

Parallel Old收集器是Parallel Scavenge的老年代版本,使用多线程的标记-整理算法,在JDK6中开始提供。
在JDK6之前,新生代使用Parallel Scavenge收集器只能搭配老年代Serial Old收集器,只能保证新生代的吞吐量优先,无法保证整体的吞吐量,ParallelOld正是为了在老年代同样提供吞吐量优先的垃圾回收器,如果系统对吞吐量要求比较高,可以优先考虑新生代Parallel Scavenge和老年代Parallel Old收集器的搭配策略。
新生代Parallel Scavenge和老年代Parallel Old收集器搭配运行过程图:
在这里插入图片描述

CMS收集器(多线程标记清除算法)

Concurrent mark sweep(CMS)收集器是一种老年代垃圾收集器,其最主要目标是获取最短垃圾回收停顿时间,和其他老年代使用标记-整理算法不同,它使用多线程的标记-清除算法。
最短的垃圾收集停顿时间可以为交互比较高的程序提高用户体验。
CMS工作机制相比其他的垃圾收集器来说更复杂,整个过程分为以下4个阶段:

  • 初始标记
    只是标记以下GC Roots 能直接关联的对象,速度很快,仍然需要暂停所有的工作线程。
  • 并发标记
    进行GC Roots 跟踪的过程,和用户线程一起工作,不需要暂停工作线程。
  • 重新标记
    为了修正在并发标记期间,因用户程序继续运行而导致标记产生变动的那一部分对象的标记记录,仍然需要暂停所有的工作线程。
  • 并发清除
    清除GC Roots 不可达对象,和用户线程一起工作,不需要暂停工作线程,由于耗时最长的并发标记和并发清除过程中,垃圾收集线程可以和用户现在一起并发工作,所以总体上来看CMS收集器的内存回收和用户线程是一起并发的执行。
    CMS收集器工作过程:
    在这里插入图片描述

G1收集器

Garbage first垃圾收集器是目前垃圾收集器理论发展的最前沿成果,相比于CMS收集器,G1收集器两个最突出的改进:
1.基于标记-整理算法,不产生内存碎片。
2.可以非常精确控制停顿时间,在不牺牲吞吐量前提下,实现低停顿垃圾回收。
G1收集器避免全区域垃圾收集,它把内存划分为大小固定的几个独立区域,并且跟踪这些区域的垃圾收集进度,同时在后台维护一个优先级列表,每次根据所允许的收集时间,优先回收垃圾最多的区域,区域划分和优先级区域回收机制,确保G1收集器可以在有限时间获得最高的垃圾收集效率。

JAVA IO/NIO

IO模型

阻塞IO模型

最传统的一种IO模型,即在读写数据过程中会发生阻塞现象。当用户线程发出IO请求之后,内核会去查看数据是否就绪,如果没有就绪就会等待数据就绪,而用户线程就会处于阻塞状态,用户线程交出CPU。当数据就绪之后,内核会将数据拷贝到用户线程,并返回结果给用户线程,用户线程才接触block状态,典型的阻塞IO模型例子:data = socket.read();如果数据没有就绪,就会一直阻塞在read方法。

非阻塞IO模型

当用户发起一个read操作后,并不需要等待,而是马上就得到一个结果,如果结果是一个error时,它就知道数据还没有准备好,于是它可以再次发送read操作。一旦内核中的数据准备好了,并且又再此收到了用户线程的请求,那么它马上就将数据拷贝到了用户线程,然后返回,所以事实上,在非阻塞IO模型中,用户线程需要不断的询问内核数据是否就绪,也就是说非阻塞IO不会交出CPU,而会一直占用CPU,典型非阻塞IO模型一般如下:

while(true){
data = socket.read();
	if(data != error){
		处理数据;
		break;
	}
}

但是对于非阻塞IO就有一个非常严重的问题,在while循环中需要不断去访问内核数据是否就绪,这样会导致CPU占用率非常高,因此一般情况下很少使用while循环这种方式去读取数据。

多路复用IO模型

多路复用IO模型是目前使用的比较多的模型。Java NIO实际上就是多路复用IO,在多路复用IO模型中,会有一个线程不断去轮询多个socket的状态,只有当socket真正有读写时间时,才真正调用实际的IO读写操作,因为在多路复用IO模型中,只需要使用一个线程就可以管理多个socket,系统不需要建立新的进程或者线程,也不必维护这些线程和进程,并且只有在真正有socket读写时间进行时,才会使用IO资源,所以它大大减少了资源占用。在Java NIO中,是通过selector.select()去查询每个通道是否有到达时间,如果没有时间,则一直阻塞在哪里,因此这种方式会导致用户线程的阻塞。多路复用IO模型,通过一个线程就可以管理多个socket,只有当socket真正有读写事件发生才会占用资源来进行实际的读写操作。因此,多路复用IO比较适合连接数比较多的情况。
另外多路复用IO为何比非阻塞IO模型的效率高是因为在非阻塞IO中,不断的询问socket状态时通过用户线程去进行的,而在多路复用IO中,轮询每个socket状态是在内核进行的,这个效率要比用户线程高很多。
不过需要注意,多路复用IO模型是通过轮询的方式来检查是否有事件到达,并且对到达的事件逐一进行响应,因此对于多路复用IO模型来说,一旦事件响应体很大,那么就会导致后续事件迟迟得不到处理,并且也会影响新的事件轮询。

信号驱动IO模型

在信号驱动IO模型中,当用户发起一个IO请求操作,会给对应的socket注册一个信号函数,然后用户线程会继续执行,当内核数据就绪时就会发送一个信号给用户线程,用户线程接收到信号之后,便会在信号函数中调用IO读写操作来进行实际的IO请求操作。

异步IO模型

异步IO模型才是最理想的IO模型,在异步IO模型中,当用户线程发起read操作之后,立刻就可以开始去做其他的事。而另一方面,从内核的角度,当它收到一个asynchronous read之后,它会立刻返回,说明read请求已经成功发起了,因此不会对用户线程产生任何block,然后,内核会等待数据准备完成,然后将数据拷贝给用户线程,当这一切都完成之后,内核会给用户线程发送一个信号,告诉它read操作完成了,也就是说用户线程完全不需要实际的整个IO操作是如何继续宁的,只需要先发起一个请求,当接收内核返回的成共信号时表示IO操作已经完成,可以直接使用数据了。
也就是说在异步IO模型中,IO操作的两个阶段都不会阻塞用户线程,这两个阶段都是由内核自动完成,然后发送一个信号告知用户线程操作已完成,用户线程不需要再次调用IO函数进行具体的读写。这点是和信号驱动模型有所不同的,在信号驱动模型中,当用户线程接收到信号表示数据已经就绪,然后需要用户线程调用IO函数继续宁实际的读写操作;而在异步IO模型中,收到信号表示IO操作已经完成,不需要再在用户线程中调用IO函数进行实际的读写操作。
注意:异步IO需要操作系统的底层支持,在Java7中,提供了Asynchronous IO

JAVA IO包

在这里插入图片描述

JAVA NIO

NIO主要有三大核心部分:channel(通道),Buffer(缓冲区),selector,传统IO基于字节流和字符流进行操作,而NIO基于channel和buffer(缓冲区)进行操作,数据总是从通道读取到缓冲区中,或者从缓冲区写入到通道中,Selector(选择区)用于监听多个通道的事件(比如:连接打开,数据到达),因此单个线程可以监听多个数据通道。
在这里插入图片描述
NIO和传统IO之间第一个最大的区别在于,IO是面向流的,而NIO是面向缓冲区的

NIO缓冲区

Java IO 面向流意味着每次从流中读一个或多个字节,直至所有的字节,它们没有被缓存在任何地方。此外,它不能前后移动流中的数据,如果需要前后移动从流中读取数据,需要先将它缓存到一个缓冲区。NIO的缓冲导向方法不同,数据读取到一个它稍后处理的缓冲区,需要时可在缓冲区中前后移动,这就增加了处理过程中的灵活性,但是,还需要检查是否该缓冲区中包含所有需要处理的数据,而且,需要确保更多的数据读入缓冲区时,不要覆盖缓冲区里尚未处理的数据。

NIO的非阻塞

IO的各种流是阻塞的,这意味着,当一个线程调用read()或write()时,该线程被阻塞,直到有一些数据被读取,或数据完全写入。该线程在此期间不能再干任何事情了。NIO非阻塞模式,使一个线程从某通道发送请求读取数据,但是它仅能得到目前可用的数据,如果目前没有数据可用时,就什么都不会获取。而不是保持线程阻塞,所以直至数据变得可以读取之前,该线程可以继续做其他得事情。非阻塞写也是如此。一个线程请求写入一些数据到某通道,但不需要等待它完全写入,这个线程同时可以去做别的事情,线程通常将非阻塞IO得空闲时间用于在其他通道上执行IO操作,所以一个单独得线程可以管理多个输入和输出通道(channel)。
在这里插入图片描述

Channel

Channel和IO中得Stream(流)是差不多得一个等级。只不过Stream是单向得,比如:InputStream,OutputStream,而Channel是双向得,即可以用来进行读操作,又可以用来进行写操作。
NIO中得Channel得主要实现有:

  • FileChannel
  • DatagramChannel
  • SocketChannel
  • ServerSocketChannel
    这些实现分别对应文件IO,UDP,TCP(Server和Client)。

Buffer

缓冲区,实际上是一个容器,是一个连续数组。Channel提供从文件,网络读取数据得渠道,但是读取或写入得数据都必须经过Buffer
在这里插入图片描述
上图描述了从一个客户端向服务端发送数据,然后服务端接收数据得过程。客户端发送数据时,必须先将数据存入Buffer中,然后将Buffer中得内容写入通道中。服务端这边接收数据必须通过channel将数据读入到Buffer中,然后再从Buffer中取出数据来处理。
在NIO中,Buffer是一个顶层父类,它是一个抽象类,常用得Buffer的子类有ByteBuffer,IntBuffer,CharBuffer,LongBuffer,DoubleBuffer,FloatBuffer,ShortBuffer。

Selector

Selector是NIO的核心类,Selector能够检测多个注册到通道上是否有事件发生,如果有事件发生,便获取事件然后针对每个事件进行相应的响应处理,这样依赖,只用一个单线程就可以管理多个通道,也就是管理多个连接,这样就使得只有在连接真正有读写事件发生时才会调用函数来进行读写,就大大减少了系统开销,并且不必为每个连接都创建一个线程,不用去维护多个线程,并且避免了多线程之间的上下文切换导致的开销。

JVM类加载机制

JVM类加载机制分为五个部分:加载,验证,准备,解析,初始化,下面我们就分别来看一下这五个过程
在这里插入图片描述

加载

加载是类加载过程中的一个阶段,这个阶段会在内存中生成一个代表这个类的java.lang.Class对象,作为方法区这个类的各种数据的入口。注意这里不一定非得要从一个Class文件获取,这里既可以从ZIP包中读取(比如从jar包和war包中读取),也可以在运行时计算生成(动态代理),也可以由其他文件生成(比如将JSP文件转换成对应的Class类)。

验证

这一阶段的主要目的是为了确保Class文件的字节流中包含的信息是否符合当前虚拟机的要求,并且不会危害虚拟机自身的安全。

准备

准备阶段是正式为类变量分配内存并设置类变量的初始值阶段,即在方法区中分配这些变量所使用的内存空间。注意这里所说的初始值概念,比如一个类变量定义为:

public static int v = 8080;

实际上变量v在准备阶段过后的初始值为0而不是8080,将v赋值为8080的put static指令是程序被编译后,存放于类构造器方法之中。
但是注意如果声明为:

public static final int v = 8080;

在编译阶段会为v生成ConstantValue属性,在准备阶段虚拟机会根据ConstantValue属性将v赋值为8080。

解析

解析阶段是指虚拟机将常量中的符号引用替换为直接引用的过程。符号引用就是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加载指定类时,如果指定参数initialize为false时,也不会触发类初始化,其实这个参数是告诉虚拟机,是否要对类进行初始化。
  6. 通过ClassLoader默认的loadClass方法,也不会触发初始化动作。

类加载器

JVM提供了3种类加载器

  • 启动类加载器(Bootstrap ClassLoader)
    负责加载JAVA_HOME\lib目录种的,或通过-Xbootclasspath参数指定路径中的,且被虚拟机认可(按文件名识别,如rt.jar)的类。
  • 扩展类加载器(Extension ClassLoader)
    负责加载JAVA_HOME\lib\ext目录中的,或通过java.ext.dirs系统变量指定路径中的类库。
  • 应用程序类加载器(Application ClassLoader)
    负责加载用户路径(classpath)上的类库
    JVM通过双亲委派模型进行类的加载,当然我们也可以通过继承java.lang.ClassLoader实现自定义类加载器。
    在这里插入图片描述

双亲委派

当一个类收到了类加载请求,它首先不会尝试自己去加载这个类,而是把这个请求委派给父类去完成,每一层次类加载器都是如此,因此所有加载请求都应该传送到启动类加载器中,只有当父类加载器反馈自己无法完成这个请求的时候(在它的加载路径下没有找到所需要加载的Class),子类加载器才会尝试自己去加载。
采用双亲委派的一个好处是比如加载位于rt.jar包中的类java.lang.Object,不管是哪个加载器加载这个类,最终都是委托给顶层的启动类加载进行加载,这样就保证了使用了不同的类加载器最终得到的都是同样一个Object对象。
在这里插入图片描述

OSGI(动态模型系统)

OSGI(Open Service Gateway Initiative),是面向Java的动态模型系统,是Java动态化模块化系统的一系列规范。

  • 动态改变构造
    OSGI服务平台提供在多种网络设备上无需重启的动态改变构造的功能,为了最小化耦合度和促使这些耦合可管理,OSGI技术提供一种面向服务的架构,它能使这些组件动态的发现对方。
  • 模块化编程与热插拔
    OSGI旨在为实现Java程序的模块化编程提供基础条件,基于OSGI的程序很可能可以实现模块级的热插拔功能,当程序升级更新时,可以只停用,重新安装然后启动程序的其中一部分,这对企业级程序开发来说是非常具有诱惑力的特性。
    OSGI描绘了一个很美好的模块化开发目标,而且定义了实现这个目标的所需的服务与架构,同时也有成熟的框架进行实现支持,但并非所有的应用都适合采用OSGI作为基础架构,它在提供强大功能同时,也引入了额外的复杂度,因为它不遵守了类加载的双亲委托模型。
  • 0
    点赞
  • 8
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值