JVM
前言
文本源自微博客 (www.microblog.store),且已获授权.
一、线程
1.1 基本概念
JVM是可运行java代码的假象计算机,包括一套字节码指令集
、一组寄存器
、一个栈
、一个垃圾回收
、堆
和一个存储方法域
。JVM是运行在操作系统之上的,与硬件没有直接的交互
。
1.2 运行过程
我们知道Java源文件,通过编译器能够产生响应的.Class文件,也就是字节码文件,而字节码文件又通过Java虚拟机中的解释器,编译成机器上的机器码。即:
- Java源文件—>编译器—>字节码文件
- 字节码文件—>JVM—>机器码
每一种平台的解释器是不同的,但是实现的虚拟机是相同的,这也就是Java能够跨平台的原因
。当一个程序从运行开始,这时虚拟机也就开始实例化了,多个程序启动就会存在多个虚拟机实例。程序退出或者关闭,则虚拟机实例消亡,多个虚拟机之间数据不共享
。
这里所说的线程是指程序执行过程中的一个线程实体。JVM允许一个应用并发执行多个线程。HotspotJVM 中的Java线程与原生操作系统线程有直接的映射关系
。当本地存储、缓冲区分配、同步对象、栈、程序计数器等准备好以后,就会创建一个操作系统原生线程
。Java线程结束,原生线程随之被收回,操作系统负责调度所有线程,并把它们分配到任何可用的CPU上。当原生线程初始化完毕,就会调用Java线程的run()方法。当线程结束时,会释放原生线程和Java线程的所有资源。
Hotspot JVM后台运行的系统线程主要有下面几个:
虚拟机线程(VM thread) | 这个线程等待JVM到达安全点操作出现。这些操作必须要在独立的线程里执行,因为当堆修改无法进行时,线程都需要JVM位于安全点。这些操作的类型有:stop-the-world垃圾回收、线程栈dump、线程暂停、线程偏向锁(biased locking)解除。 |
---|---|
周期性任务线程 | 这些线程负责定时器事件(也就是中断),用来调度周期性操作的执行 |
GC线程 | 这些线程支持JVM中不通的垃圾回收活动 |
编译器线程 | 这些线程在运行时将字节码动态编译成本地平台相关的机器码 |
信号分发线程 | 这个线程接收到JVM的信号并调用适当的JVM方法处理 |
二、JVM内存区域
JVM内存区域主要分为线程私有区域【程序计数器、虚拟机栈、本地方法区】
、线程共享区域【Java堆、方法区】
、直接内存
。
线程私有数据区域生命周期与线程相同
,依赖用户线程的启动/结束而创建/销毁(在HotspotVM内,每隔线程都与操作系统的本地线程直接映射,因此这部分内存出去的存/否跟随本地线程的生/死相对应)。
线程共享区域随虚拟机的启动/关闭而创建/销毁
。直接内存并不是JVM运行时数据区的一部分
,但也会被频繁的使用:在JDK1.4引入的NIO提供了基于Channel与Buffer的IO方式,它可以使用Native函数库直接分配堆外内存,然后使用DirectBytBuffer对象作为这块内存的引用进行操作,这样就避免了Java堆和Native堆中来回复制数据,因此在一些场景中可以显著提高性能。
2.1 程序计数器(线程私有)
一块较小的内存空间,是当前所有线程所执行的字节码的行号指示器,每条线程都要有一个独立的程序计数器,这类内存也成为“线程私有”的内存。
正在执行java方法的话,计数器记录的是虚拟机字节码指令的地址(当前指令的地址)。如果还是Native方法,则为空。
这个内存区域是唯一一个在虚拟机中没有规定任何OutOfMemoryError情况的区域。
2.2 虚拟机栈(线程私有)
是描述java方法执行的内存模型,每个方法在执行的同时都会创建一个栈帧(Stack Frame)用于存储局部变量表、操作数栈、动态链接、方法出口等信息。每一个方法从调用直至执行完成的过程,就对应一个栈帧在虚拟机栈中从入栈道出栈的过程。
栈帧(Frame)是送来存储数据和部分过程结果的数据结构,同时也被用来处理动态链接(Dynamic Linking)、方法返回值和异常分派(Dispatch Exception)。栈帧随着方法调用而创建,随着方法结束而销毁—无论方法是正常完成还是异常完成(抛出了再方法内未捕获的异常)都算作方法结束。
2.3 本地方法区(线程私有)
本地方法区和 Java Stack作用类似,区别是虚拟机栈为执行Java方法服务,而本地方法栈则为 Native 方法服务,如果一个VM实现使用C-linkage模型来支持Native调用,那么该栈将会是一个C栈,但HotSpotVM直接就把本地方法栈和虚拟栈合二为一。
2.4 堆(Heap-线程共享)- 运行时数据区
是被线程共享的一块内存区域,创建的对象和数组都保存在Java堆内存中,也是垃圾收集器进行垃圾收集的最重要的内存区域。由于现代VM采用分代收集算法,因此,Java堆从GC的角度还可以细分为:新生代(Eden区,From Survivor区和To Survivor区)和老年代。
2.5 方法区/永久代(线程共享)
即我们常说的永久代(Permanent Generation),用于存储被JVM加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。HotspotVM把GC分代收集扩展至方法区,即使用Java堆的永久代来实现方法区,这样HotSpot的垃圾收集器就可以像管理Java堆一样管理这部分内存,而不必为方法区开发专门的内存管理器(永久带的内存回收的主要目标是针对常量池的回收和类型的卸载,因此受益一般很小)。
运行时常量池(Runtime Constant Pool)是方法区的一部分。Class文件中除了有类的版本、字段、方法、接口等描述信息外,还有一项信息是常量池(Constant Pool Table。,用于存放编译期生成的各种字面量和符号引用,这部分内容在类加载后存放到方法区的运行时常量池中。Java虚拟机对Class文件的每一部分(自然也包括常量池)的格式都有严格的规定,每个字节用于存储那种数据结构都必须符合规范上的要求,这样才会被虚拟机认可、转载和执行。
三、JVM运行时内存
Java堆从GC的角度还可以细分为:新生代(Eden区、From Survivor区和To Survivor区)和老年代。
3.1 新生代
用来存放新生的对象,一般占据堆的1/3空间。由于频繁创建对象,所以新生代会频繁地触发MinorGC进行垃圾回收。新生代又分为 Eden 区、ServivorFrom、ServivorTo 三个区。
3.1.1 Eden区
Java新对象的出生地(如果新创建的对象占用内存很大,则会直接分配到老年代)。当Eden区内存不够用的时候会触发MinorGC,对新生代区进行一次垃圾回收。
3.1.2 ServivorFrom
上一次GC的幸存者,作为这一次GC被扫描者。
3.1.3 ServivorTo
保留了一次MinorGC过程中的幸存者。
3.1.4 MinorGC过程(复制->清空->互换)
MinorGC采用复制算法,过程如下:
-
Eden、servicorFrom复制到ServicorTo,年龄+1
首先,把Eden和ServivorFrom区域中存活的对象复制到ServivorTO区域(如果有对象的年龄以及达到了老年的标准,则赋值到老年代区 ),同时把这些对象的年龄+1(如果ServivorTo不够位置了就放到老年区)。
-
清空Eden、ServivorFrom
然后,清空Eden和ServivorFrom中的对象。
-
ServicorTo和ServicorFrom互换
最后,ServicorTo和ServicorFrom互换,原ServicorTo称为下一次GC时的ServicorFrom区
3.2 老年代
主要存放应用程序中生命周期长的内存对象。
老年代的对象比较稳定,所以MajorGC不会频繁执行。在进行MajorGC前一般都先进行了一次MinorGC,使得有新生代的对象晋身入老年代,导致空间不够用时才触发。当无法找到足够大的连续空间分配给新创建的较大对象时也会提前触发一次MajorGC进行垃圾回收腾出空间。
MajorGC采用标记清楚算法:首先扫描一次所有老年代,标记出存活的对象,然后回收没有标记的对象
。MajorGC的耗时比较长,因为要扫描再回收。MajorGC会产生内存碎片,为了减小内存损耗,我们一般需要进行合并或者标记出来方便下次直接分配。当老年代也满了装不下的时候,就会抛出OOM(Out of Memory)异常。
3.3 永久代
值内存的永久保存区域,主要存放Class和Meta(元数据)的信息,Class在被加载的时候被放入永久区域,它和存放实例的区域不同,GC不会再主程序运行期对永久区域进行清理。所以这也导致了永久代的区域会随着加载的Class的增多而胀满,最终抛出OOM异常。
3.3.1 Java8与元数据
在java8中,永久代已被移除,被一个称谓“元数据区”(元空间)的区域取代。元空间的本质和永久代类似,元空间与永久代最大的区别在于:元空间并不在虚拟机中,而是使用本地内存。因此,默认情况下,元空间的大小仅受本地内存限制。类的元数据放入 native memory,字符串池和类的静态变量放入java堆中,这样可以加载多少类的元数据就不再由MaxPermSize控制,而又系统的实际可用空间来控制。
四、垃圾回收与算法
4.1 如何确定垃圾
4.1.1 引用计数法
在java中,引用和对象是有关联的。如果要操作对象则必须用引用进行。因此,很显然一个简单的办法是通过引用计数来判断一个对象是否可以回收。简单说,即一个对象如果没有任何与之关联的引用,即他们的引用计数都为0,则说明对象不太可能再被用到,那么这个专项就是可回收对象。
4.1.2 可达性分析
为了解决引用计数法的循环引用问题,Java使用了可达性分析的方法,通过一系列的“GC roots”对象作为起点搜索。如果在“GC roots”和一个对象之间没有可达路径,则称该对象是不可达的。
要注意的是,不可达对象不等价于回收对象,不可达对象变为可回收对象至少要经过两次标记过程。两次标记后仍然是可回收对象, 则将面临回收。
4.2 标记清除算法(Mark-Sweep)
Mark-Sweep算法是最基础的垃圾回收算法,分为两个阶段:标注和清除。标记阶段标记出所有需要回收的对象,清除阶段回收被标记的对象所占用的空间。
从图中可以发现, 该算法最大的问题是内存碎片化严重,后续可能发生大对象不能找到可利用空间的问题。
4.3 复制算法(copying)
copying算法,是为了解决Mark-Sweep算法内厝碎片化的缺陷而被提出的算法。按照内存容量将内存分为大小相等的两块。每次只使用其中一块,当这一块内存满后将尚存活的对象复制到另一块去,把已使用的内存清掉,如图:
这种算法虽然实现简单,内存效率高,不易产生碎片,但是最大的问题是可利用内存被压缩到了原来的一半,且存活对象增多的话,Copying算法的效率会大大降低。
4.4 标记整理算法(Mark-Compact)
结合了以上两个算法,为了避免缺陷而提出。标记阶段和Mark-Sweep算法相同,标记后不是清理对象,而是将存活对象移向内厝的一端,然后清除端边界外的对象:
4.5 分代收集算法
分代收集算法是目前大部分JVM所采用的方法,其核心思想是根据对象存活的不通生命周期将内存划分为不通的域,一般情况下将GC堆划分为老生代(Tenured/Old Generation)和新生代(Young Generation)。老生代的特点是每次垃圾回收时只有少量的对象需要被回收,新生代的特点是每次垃圾回收时有大量的垃圾需要回收,因此可以根据不通的区域选择不同的算法。
4.5.1 新生代与复制算法
目前大部分JVM的GC对于新生代都采用Copying算法,因为新生代中每次垃圾回收都要回收大部分对象,即要复制的操作比较少,但通常不是按照1:1来划分新生代。一般将新生代划分为一块较大的Eden空间和两个较小的Survivor空间(From Space,To Space),每次使用Eden空间和其中一块Survivor空间,当进行回收时,将该两块空间中还存活的对象复制到另一块Survivor空间中。
4.5.2 老年代与标记复制算法
而老年代因为每次只回收少量对象,因而采用Mark-Compact算法。
- Java虚拟机提到过的处于方法区的永生代(Permanet Generation),它用来存储class类、常量、方法描述等。对永生代的回收主要包括废弃常量和无用的类
- 对象的内存分配主要在新生代的EdenSpace和SurvivorSpace的FromSpace(Survivor 目前存放对象的那一块),少数情况会直接分配到老生代
- 当新生代的EdenSpace和FromSpace空间不足时就会发生一次GC,进行GC后,EdenSpace和FromSpace区的存活对象会被挪到ToSpace,然后将EdenSpace和FromSpace进行清理
- 如果ToSpace无法足够存储某个对象,则将这个对象存储到老生代
- 在GC进行后,使用的便是EdenSpace和To Space了,如此反复循环
- 当对象在Survivor区躲过一次GC后,年龄就会+1。
默认情况下年龄达到15的对象就会被移动到老生代中
。
五、Java中的4种引用类型
5.1 强引用
在java在最常见的就是强引用:把一个对象赋值给一个引用变量,这个引用变量就是一个强引用。当一个对象呗强引用变量引用时,它处于可达状态,它是不可能被垃圾回收机制回收的,即使该对象以后永远都不会被用到JVM也不会回收。因此,强引用是造成Java内存泄漏的主要原因之一。
5.2 软引用
软引用需要用SoftReference类来实现,对于只有软引用的对象来说,当系统内存足够时它不会被回收;当系统内存空间不足时它会被回收。软引用通常用在对内存敏感的程序中。
5.3 弱引用
弱引用需要用WeakReference类来实现,它比软引用的生存周期更短,对于只有弱引用的对象来说,只要垃圾回收机制一运行,不管JVM的内存空间是否足够,总会回收该对象占用的内存。
5.4 虚引用
虚引用需要PhantomReference类来实现,它不能单独使用,必须和引用队列联合使用。虚引用的主要作用是跟踪对象呗垃圾回收的状态
。
六、GC分代收集算法VS分区收集算法
6.1 分代收集算法
当前主流VM垃圾收集都采用“分代收集”(Generation Collection)算法,这种算法会根据对象存活周期的不同将对象分为几块,入JVM中的新生代、老年代、永久代。这样就可以根据各年代特点分别采用最适当的GC算法。
6.1.1 新生代-复制算法
每次垃圾收集都能发现大批对象已死,只有少量存活,因此选用复制算法,只需要付出少量存活对象的复制成本就可以完成收集。
6.1.2 老年代-标记整理算法
因为对象存活率高、没有额外空间对它进行分配担保,就必须采用“标记-清理”或“标记-整理”算法来进行回收,不必进行内存复制,且直接腾出空闲内存。
6.2 分区收集算法
分区算法则将整个堆空间划分为连续的不同小区间,每个小区间独立使用,独立回收。这样做的好处是可以控制一次回收多少个小区间,根据目标停顿时间,每次合理地回收若干个小区间(而不是整个堆),从而减少一次GC所产生的停顿。
七、GC 垃圾收集器
Java堆内存被划分为新生代和老年代两部分,新生代主要使用复制和标记-清除垃圾回收算法;
老年代主要使用标记-整理垃圾回收算法;因此Java虚拟机中针对新生代和老年代分别提供了多种不同的垃圾收集器,JDK1.6中SunHotSpot虚拟机的垃圾收集器如下:
7.1 Serial垃圾收集器(单线程、复制算)
Serial是最基本垃圾收集器,使用复制算法
。曾经是JDK 1.3.1之前新生代唯一的垃圾收集器。Serial是一个单线程的收集器,它不但只会使用一个CPU或一条线程去完成垃圾收集工作,并且在进行垃圾收集的同时,必须暂停其他所有的工作线程,直到垃圾收集结束。
Serial垃圾收集器虽然在收集垃圾过程中需要暂停所有其他工作线程,但是它简单高效,对于限定单个CPU环境来说,没有线程交互开销,可以获得最高的单线程垃圾收集效率。因此Serial垃圾收集器依然是Java虚拟机在Client模式下默认的新生代垃圾收集器
。
7.2 ParNew垃圾收集器(Serial+多线程)
ParNew垃圾收集器其实是Serial收集器的多线程版本,也是使用复制算法,除了使用多线程进行垃圾收集之外,其余的行为和Serial收集器完全一样,ParNew垃圾收集器在垃圾收集过程中同样也需要停止其他所有的工作线程。
ParNew收集器默认开启和CPU数量相同的线程数,可以通过-XX:ParallelGCThreads参数来限制垃圾收集器的线程数。
ParNew虽然是除了多线程外和Serial收集器几乎完全一样,但是ParNew垃圾收集器是很多Java虚拟机运行在Server模式下新生代的默认垃圾收集器
。
7.3 Parallel Scavenge收集器(多线程复制算法、高效)
Parallel Scavenge收集器也是一个新生代垃圾收集器,同样适用复制算法,也是一个多线程的垃圾收集器,它重点关注的是线程阿道一个可控的吞吐量
(Thoughput,CPU用于运行用户代码的时间/CPU总消耗时间,即吞吐量=运行用户代码时间/(运行用户代码时间+垃圾收集时间)),高吞吐量可以最高效地利用CPU时间,尽快完成程序的运算任务,主要适用于后台运算而不需要太多交互的任务。自适应调节策略也是Parallel Scavenge收集器与ParNew收集器的一个很重要区别
。
7.4 Serial Old收集器(单线程标记整理算法)
Serial Old是Serial垃圾收集器年老代版本,它同样是单线程收集器
,使用标记-整理
算法,这个收集器也是主要运行在Client默认的Java虚拟机默认的年老代的垃圾收集器。
在Server模式下,主要有两个用途:
- 在JDK1.5之前版本中与新生代的Parallel Scavenge收集器搭配使用
- 作为年老代中使用CMS收集器的后备垃圾收集方案
新生代Serial与年老代Serial Old搭配垃圾收集过程:
新生代 Parallel Scavenge 收集器与 ParNew 收集器工作原理类似,都是多线程的收集器,都使
用的是复制算法,在垃圾收集过程中都需要暂停所有的工作线程。新生代 ParallelScavenge/ParNew 与年老代 Serial Old 搭配垃圾收集过程图:
7.5 Parallel Old 收集器(多线程标记整理算法)
Parallel Old 收集器是 Parallel Scavenge 的年老代版本,使用多线程的标记-整理算法,在 JDK1.6
才开始提供。在 JDK1.6 之前,新生代使用 ParallelScavenge 收集器只能搭配年老代的 Serial Old 收集器,只
能保证新生代的吞吐量优先,无法保证整体的吞吐量,Parallel Old 正是为了在年老代同样提供吞吐量优先的垃圾收集器
,如果系统对吞吐量要求比较高,可以优先考虑新生代 Parallel Scavenge和年老代 Parallel Old 收集器的搭配策略。
新生代 Parallel Scavenge 和年老代 Parallel Old 收集器搭配运行过程图:
7.6 CMS收集器(多线程标记清楚算法)
Concurrent mark sweep(CMS)收集器是一种年老代垃圾收集器
,其主要目标是获取最短垃圾回收停顿时间,和其他年老代使用标记-整理算法不同,它使用多线程的标记-清楚算法。
最短的垃圾收集停顿时间可以为交互比较高的程序提高用户体验;CMS工作机制相比其他的垃圾收集器来说更复杂,整个过程分为以下4个阶段:
7.6.1 初始标记
只是标记一下GCRoots能直接关联的对象,速度很快,仍然需要暂停所有的工作线程。
7.6.2 并发标记
进行GC Roots跟踪的过程,和用户线程一起工作,不需要暂停工作线程。
7.6.3 重新标记
为了修正正在并发标记期间,因用户程序继续运行而导致标记产生变动的那一部分对象的标记记录,仍然需要暂停所有的工作线程。
7.6.4 并发清除
清除GC Roots不可达对象,和用户线程一起工作,不需要暂停工作线程。由于耗时最长的并发标记和并发清楚过程中,垃圾收集线程可以和用户线程一起并发工作,所以总体上来看CMS收集器的内厝回收和用户线程是一起并发执行。
CMS收集器工作过程:
7.7 G1收集器
Garbage first垃圾收集器是目前垃圾收集器理论上发展的最前沿成果,相比于CMS收集器,G1收集器两个最突出的改进是:
1. 基于标记-整理算法,不产生内存碎片
- 可以非常精确控制停顿时间,在不牺牲吞吐量的前提下,实现低停顿垃圾回收
G1收集器避免全区域垃圾收集,它把堆内存划分为大小固定的几个独立区域,并且跟踪这些区域的垃圾收集进度,同时在后台维护一个优先级列表,每次根据所允许的收集时间,优先回收垃圾最多的区域。区域划分和优先级区域回收机制,确保G1收集器可以在有限时间获得最高的垃圾回收效率。
八、Java IO/NIO
8.1 阻塞IO模型
最传统的一种IO模型,即在读写过程中会发生阻塞现象。当用户线程发出IO请求之后,内核会去查看数据是否就绪,如果没有就绪就会等待数据就绪,而用户线程就会处理阻塞状态,用户线程交出CPU。当数据就绪之后,内核会将数据拷贝到用户线程,并返回结果给用户线程,用户线程才会解除block状态。电信的阻塞IO模型的例子为:data=socket.read();如果数据没有就绪,就会一直阻塞在read方法。
8.2 非阻塞IO模型
当用户线程发起一个read操作后,并不需要等待,而是马上就得到了一个结果。如果结果是一个error时,它就知道数据还没有准备好,于是它可以再次发送read操作。一旦内核中的数据准备好了,并且再次收到了用户线程的请求,那么它马上就将数据拷贝到用户线程,然后返回。事实上,在非阻塞IO模型中,用户线程需要不断地询问内核数据是否就绪,也就是说非阻塞IO不会交出CPU,而是一直占用CPU。典型的非阻塞IO模型一般如下:
while(true){
data = socket.read();
if(data!= error){
处理数据
break;
}
}
但是对于非阻塞IO有一个非常严重的问题,在while循环中需要不断地去询问内核数据是否就绪,这样会导致CPU占用率非常高,因此一般情况下很少使用while循环这种方式来读取数据。
8.3 多路复用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模型来说,一旦事件响应体很大,那么就会导致后续的事件迟迟得不到处理,并且会影响新的事件轮询。
8.4 信号驱动IO模型
在信号驱动IO模型中,当用户线程发起一个IO请求操作,会给对应的socket注册一个信号函数,然后用户线程会继续执行,当内核数据就绪时就会发送一个信号给用户线程,用户线程不到信号之后,便在信号函数中调用IO读写操作来进行实际的IO请求操作。
8.5 异步IO模型
异步IO模型才是最理想的IO模型,在异步IO模型中,当用户线程发起read请求操作之后,立刻开启可以开始做其他的事。而另一方面,从内核的角度,当它收到一个asynchronous read之后,它会立刻返回,说明read请求已经成功发起了,因此不会对用户线程产生任何block。然后,内核会等待数据准备完成,然后将数据拷贝到用户线程,当这一切都完成之后,内核会被用户线程发送一个信号,告诉他read操作完成了。也就是说用户线程不需要实际的整个IO操作是组合进行的,只需要发起一个请求,当接收到内核返回的成功信号时表示IO操作已经完成,可以直接去使用数据了
。
也就是说在异步IO模型中,IO操作的两个阶段都不回阻塞用户线程,这两个阶段都是由内核自动完成的
,然后发送一个信号告知用户线程操作已经完成。用户线程中不需要再次调用IO函数进行具体的读写。这点和信号驱动有所不同:在信号驱动模型中,当用户线程接收到信号表示数据已经就绪,然后需要用户线程调用IO函数经营性实际的读写操作;而在异步IO模型中,收到信号表示IO操作已完成,不需要再在用户线程中调用IO函数进行实际的读写操作。
8.6 Java IO包
8.6.1 Java NIO
NIO主要有三大核心部分:Channel(通道)、Buffer(缓冲区)、Selector。传统IO基于字节流和直接符流进行操作,而NIO基于Channel和Buffer进行操作,数据总是从通道读取到缓冲区中,或者从缓冲区中写入到通道中。Selector(选择区)用于监听多个通道的事件(比如:连接打开、数据到达)。因此,单个线程可以监听多个数据通道。
NIO和传统IO之间第一个最大的区别是: IO是面向流的,NIO是面向缓冲区的。
8.6.1.1 NIO的缓冲区
JavaIO面向流意味着每次从流中读取一个或者多个字节,直至读取所有字节,它们没有被缓存在任何地方。此外,它不能前后移动流中的数据。如果需要前后移动从流中读取的数据,需要先将它缓存的到一个缓冲区。NIO的缓冲区导向方法不同:数据读取到一个稍后处理的缓冲区,需要时可在缓冲区前后移动,这增加了处理过程的灵活性。但是,还需要检查是否该缓冲区中包含所有需要处理的数据。而且,逍遥确保当更多的数据读入缓冲区时,不要覆盖缓冲区尚未处理的数据。
8.6.1.2 NIO的非阻塞
IO的各种流式阻塞的。这意味着,当一个线程调用read()或write()时,该线程被阻塞,知道有一些数据被读取,或数据完全写入,该线程在此期间不能再干任何事了。NIO的非阻塞模式,使一个线程从某同到发送请求获取数据,但它仅能得到目前可用的数据,如果目前没有数据可用,就什么都不回获取,而不是保持阻塞,所以直到数据集变得可读取之前,该线程可以继续做其他的事情。非阻塞写也是如此。一个线程请求写入一些数据到某同到,但不需要等待它完全写入,这个线程同时可以去做其他别的事情。线程通常将非阻塞IO的空闲时间用于在其他通道上执行IO操作,所以一个单独的线程现在可以管理多个输入和输出通道(channel)。
8.6.1.3 Channel
Channel和IO中的Stream(流)是差不多一个等级的,只不过Steam是单向的,比如:InputStream、OutputSteam,而Channel是双向的,即可以进行读操作,又可以用来进行写操作。
NIO中的Channel主要实现有:
- FileChannel
- DatagramChannel
- SocketChannel
- ServerSocketChannel
这里看名字就知道:分别可以对应文件IO、UPD和TCP(Server和Client)。下面围绕这4个Channel进行陈述:
8.6.1.4 Buffer
Buffer,顾名思义,缓冲区,实际上是一个容器,是一个连续数组。Channel提供从文件、网络读取数据的渠道,但是读取或者写入的数据都必须经由Buffer。
上图描述了一个从客户端想服务端发送数据,然后服务端接受数据的过程。客户端发送数据时,必须先将数据存入Buffer中,然后将Buffer中的内容写入通道。服务端这边接收数据必须通过Channel将数据读入到Buffer中,然后再从Buff中取出数据来处理.
在NIO中,Buffer是一个顶层父类,它是一个抽象的类,常用的Buffer的子类有:ByteBuffer、IntBuffer、CharBuffer、LongBuffer、DoubleBuffer、FloatBuffer、ShortBuffer。
8.6.1.5 Selector
Selector类似NIO的核心类,Selector能够检测多个注册的通道上是否有事件发生,如果有事件发生,便获取事件然后针对每个事件进行相应的响应处理。这样一来,只是用一个单线程就可以管理多个通道,也就是管理多个连接,这样使得只有在连接真正有读写事件发生时,才会调用函数来进行读写,就大大减少了系统开销,并且不必为每个连接都创建一个线程,不用去维护多个线程,并且避免了多个线程之间上下文切换导致的开销。
九、JVM类加载机制
JVM类加载机制分为五个部分:加载、验证、准备、解析、初始化:
9.1 JVM类加载步骤
9.1.1 加载
加载是类加载过程中的一个阶段,这个阶段人会在内存中生成一个代表这个类的java.lang.Class对象,作为方法区这个类的各种数据入口。注意这里不一定非得要从一个Class文件获取,这里既可以从ZIP包中读取(比如从jar包和war包中读取),也可以在运行时计算生成(动态代理),也可以由其他文件生成(比如将JSP文件转换成对应的Class类)。
9.1.2 验证
这一阶段的主要目的是为了确保Class文件的字节流中包含的信息是否符合当前虚拟机的要求,并且不会危害虚拟机自身的安全。
9.1.3 准备
准备阶段是正式为类变量分配内存并设置类变量的初始值阶段,即在方法区中分配这些变量所使用的内存空间。注意这里所说的初始值概念,比如一个类变量定义为:
public static int v = 8080;
实际上变量v在准备阶段过后的初始值为0而不是8080,将v赋值为8080的put static指令是程序被编译之后,存放于类构造器方法之中.
但是注意如果声明为:
public static final int v = 8080;
在编译阶段会为v生成ConstantValue属性,在准备阶段虚拟机会根据ConstantValue属性将v赋值为8080。
9.1.4 解析
解析阶段是指虚拟机将常量池中的符号引用直接替换为直接饮用的过程。符号引用就是class文件中的:
- CONSTANT_Class_info
- CONSTANT_Field_info
- CONSTANT_Method_info
等类型的常量。
9.1.5 符号引用
符号引用与虚拟机实现的布局无关,引用的目标不一定要加载到内存中。各种虚拟机实现的内存布局可以各不相同,但是它们能接受的符号引用必须是一致的,因为符号引用的字面量形式明确定义在Java虚拟机规范的Class文件格式中。
9.1.6 直接
直接引用可以是指向目标的指针,相对偏移量或是一个能够间接定位到目标的句柄。如果有了直接引用,那引用的目标必定是已经在内存中存在。
9.1.7 初始化
初始化阶段是类加载最后一个阶段,前面的类加载阶段之后,除了在加载阶段可以自定义类加载器以外,其他操作都由JVM主导。到了初始阶段,才开始真正执行类中定义的Java程序代码。
9.1.8 类构造器<client>
初始化阶段是执行类构造器<client>方法的过程。<client>方法是由编译器自动收集类中的类变量的赋值操作和静态语句块中的语句合并而成的。虚拟机会保证子<client>方法执行之前,父类的<client>方法已经执行完毕,如果一个类中没有对静态变量赋值也没有静态语句块,那么编译器可以不为这个类生成<client>()方法。
注意一下几种情况不会执行类初始化:
通过子类引用父类的静态字段
,只会触发父类初始化,而不会触发子类初始化定义对象数组
,不会触发该类的初始化常量
在编译期间会存入调用类的常量池中,本子上并没有直接引用定义常量池的类,不会触发定义常量池所在的类- 通过
类名获取Class对象
,不会触发类的初始化 - 通过
Class.forName加载指定类
时,如果指定参数initailize为false时,也不会触发类初始化,其实这个参数是告诉虚拟机是否要对类进行初始化 - 通过
ClassLoader默认的loadClass方法
,也不会触发初始化动作。
9.2 类加载器
虚拟机设计团队把加载动作放在JVM外部实现,以便让应用程序决定如何获取所需的类,JVM提供了3中类加载器:
9.2.1 启动类加载器(Bootstrap ClassLoader)
负责加载JAVA_HOME\lib目录中,或通过-Xbootclasspath参数指定路径中的,且被虚拟机认可的类(按文件名识别,如rt.jar)
9.2.2 扩展类加载器(Extension ClassLoader)
负责加载JAVA_HOME\lib\ext目录中的,或通过java.ext.dirs系统变量指定路径中的类库
9.2.3 应用程序类加载器(Application ClassLoader)
负责加载用户路径(classpath)上的类库:JVM通过双亲委派模型进行类的加载,当然我们也可以通过继承java.lang.ClassLoader实现自定义的类加载器。
9.3 双亲委派
当一个类收到了类加载请求,他首先不会尝试自己去加载这个类,而是把这个请求委派给父类去完成,每一个层次类加载器都是如此,因此所有的加载请求都应该传递到启动类加载器中,只有当父类加载器反馈自己无法完成这个请求时(在他的加载路径下没有找到所需要加载的Class),子类加载器才会尝试自己去加载。
采用双亲委派的一个好处是比如加载位于rt.jar包中的类java.lang.Object,不管是哪个加载器加载这个类,最终都会委派给顶层的启动类加载器进行加载,这样就保证了使用不懂的类加载器最终得到的都是同一个Object对象。
9.4 OSGI(动态模型系统)
OSGI(Open Service Gateway Initiative),是面向Java的动态模型系统,是Java动态化模块化系统的一系列规范。
9.4.1 动态改变构造
OSGI服务平台提供在多种网络设备上无需重启的动态改变构造的功能。为了最小化耦合度和促使这些耦合度可管理,OSGI技术提供一种面向服务的架构,它能使这些组件动态地发现对方。
9.4.2 模块化编程与热插拔
OSGI旨在为实现java程序的模块化编程提供基础条件,基于OSGI的程序很可能可以实现模块级的热插拔功能,当程序升级更新时,可以只停用、重新安装然后启动程序中的一部分,这对企业级程序开发来说是非常具有诱惑力的特性。
OSGI描绘了一个很美好的模块化开发目标,而且定义了实现这些目标所需要的服务与架构,同时也有成熟的框架进行实现支持。但并非所有的应用都适合采用OSGI架构作为基础架构,它在提供强大功能同时,也引入了额外的复杂度,因为它不遵守类加载的双亲委派模型。