JVM大纲
JVM参数
1 | -Xms7000m 【初始化堆大小】 |
深入理解Java虚拟机到底是什么
进程是操作系统的执行单位。虚拟机在运行的时候它就是一个操作系统中的进程实例,当它没有在运行时(作为可执行文件存放于文件系统中)可以把它叫做程序。
命令行中一个命令对应的就是一个可执行的二进制文件。
执行Java程序时,真正执行的是一个叫做Java虚拟机的进程,而不是一个个class文件。这个叫做虚拟机的进程处理一些底层的操作,如内存的分配和释放等。–>可将class文件中的信息看做对虚拟机的控制信息,也就是一种虚拟指令。
class文件作为Java虚拟机的原料被输入到Java虚拟机内部,由类加载器这个子系统进行处理。类加载器在运行时根据需要加载类
由虚拟机加载的类,加载到内存中后,虚拟机的执行引擎(可看成消化系统)会读取并执行它里面的字节码指令。执行过程还会把各个class文件动态连接起来。
Java虚拟机的自动内存管理,由垃圾收集子系统负责。
jvm
jvm工作流程
jdk结构
运行时数据区(Runtime Data Area)
区域 | 说明 |
---|---|
程序计数器 | 每条线程都需要有一个程序计数器,计数器记录的是正在执行的指令地址,如果正在执行的是Natvie 方法,这个计数器值为空(Undefined) |
java虚拟机栈 | Java方法执行的内存模型,每个方法执行的时候,都会创建一个栈帧用于保存局部变量表,操作数栈,动态链接,方法出口信息等。一个方法调用的过程就是一个栈帧从VM栈入栈到出栈的过程 |
本地方法栈 | 与VM栈发挥的作用非常相似,VM栈执行Java方法(字节码)服务,Native方法栈执行的是Native方法服务。 |
Java堆 | 此内存区域唯一的目的就是存放对象实例,几乎所有的对象都在这分配内存 |
方法区 | 方法区是各个内存所共享的内存空间,方法区中主要存放被JVM加载的类信息、常量、静态变量、即时编译后的代码等数据 |
局部变量表:(用的是索引来访问)存储方法中的局部变量(包括在方法中声明的非静态变量以及函数形参)。对于基本数据类型的变量直接存储它的值;对于引用类型的变量,存储其指向对象的引用。局部变量表的大小在编译期即可确定其大小,因此在程序执行期局部变量表的大小是不会改变的。
存储内容:引用对象,returnAddress类型。Long和double类型占用2各局部变量空间,其余的数据类型占据一个。局部变量表空间在编译期完成分配。
操作数栈:(用的是弹栈/压栈来访问)可以理解为java虚拟机栈中的一个用于计算的临时数据存储区。栈最典型的一个应用就是用来对表达式求值。一个线程执行方法的过程中,实际就是不断执行语句的过程,而归根到底就是进行计算的过程。因此可以这么说,程序中的所有计算过程都是在借助于操作数栈来完成的。
每个线程都有个自己的Java栈线程私有,互不干扰。
方法指令
指令 | 说明 |
---|---|
invokeinterface | 用以调用接口方法 |
invokevirtual | 指令用于调用对象的实例方法 |
invokestatic | 用以调用类/静态方法 |
invokespecial | 用于调用一些需要特殊处理的实例方法,包括实例初始化方法、私有方法和父类方法 |
类加载器
类加载器 | 说明 |
---|---|
BootstrapClassLoader | Bootstrap类加载器负责加载rt.jar中的JDK类文件,它是所有类加载器的父加载器。Bootstrap类加载器没有任何父类加载器,如果你调用String.class.getClassLoader(),会返回null,任何基于此的代码会抛出NUllPointerException异常。Bootstrap加载器被称为初始类加载器 |
ExtClasssLoader | 而Extension将加载类的请求先委托给它的父加载器,也就是Bootstrap,如果没有成功加载的话,再从jre/lib/ext目录下或者java.ext.dirs系统属性定义的目录下加载类。Extension加载器由sun.misc.Launcher$ExtClassLoader实现 |
AppClassLoader | 第三种默认的加载器就是System类加载器(又叫作Application类加载器)了。它负责从classpath环境变量中加载某些应用相关的类,classpath环境变量通常由-classpath或-cp命令行选项来定义,或者是JAR中的Manifest的classpath属性。Application类加载器是Extension类加载器的子加载器 |
工作原理 | 说明 |
---|---|
委托机制 | 加载任务委托交给父类加载器,如果不行就向下传递委托任务,由其子类加载器加载,保证java核心库的安全性 |
可见性机制 | 子类加载器可以看到父类加载器加载的类,而反之则不行 |
单一性机制 | 父加载器加载过的类不能被子加载器加载第二次 |
字节码
- 解释执行
源码 –> Parser –> 抽象语法树(AST)–> 解释执行
- 编译执行
源码 –> 编译&链接 –> 机器指令 –> 在硬件上直接执行
- 字节码
源码 –> 编译 –> 字节码 –> 在虚拟机上执行
1 | graph TD |
1 | graph TD |
因为解释执行弱点:解释器需要遍历抽象语法树来解释执行,效率非常低,被字节码打败了。
又因为编译执行占据了系统级编程的地盘,操作系统、网络、数据库、虚拟机等核心领域都是。所以无法被字节码替代。
class文件字节码结构
class字节码示例
如简单的HelloWorld.java
1 | public class HelloWorld{ |
用文本编辑器打开HelloWorld.class文件,是这样的
1 | cafe babe 0000 0033 0022 0a00 0600 1409 |
利用 javap -verbose HelloWorld.class
:
1 | Last modified 2021-1-7; size 586 bytes |
.class文件是一组以8位字节为基础单位的二进制流,每个数据严格按顺序排列在.class文件中,中间没有任何分隔符
.class
具体数值以及解释
类型 | 名称 | 解释 | 数量 |
---|---|---|---|
u4 | magic | 魔数 | 1 |
u2 | minor_version | 次版本号 | 1 |
u2 | major_version | 主版本号 | 1 |
u2 | constant_pool_count | 常量池常量个数 | 1 |
cp_info | constant_pool | 常量池 | constant_pool_count-1 |
u2 | access_flags | 访问标记 | 1 |
u2 | this_class | 类索引 | 1 |
u2 | super_class | 父类索引 | 1 |
u2 | interfaces_count | 接口索引数量 | 1 |
u2 | interfaces | 接口内容 | interfaces_count |
u2 | field_count | 字段表字段数量 | 1 |
field_info | fields | 字段表 | field_count |
u2 | methods_count | 方发表方法数量 | 1 |
method_info | methods | 方法表 | methods_count |
u2 | attributes_count | 属性表属性数量 | 1 |
attribute_info | attributes | 属性表 | attributes_count |
jvm类的加载机制
类的加载时机
jvm虚拟机规范中没有规定加载的时机,但是有以下5种情况的要立即对类进行初始化:
遇到
new
、getstatic
、putstatic
、invokestatic
这4条字节码指定时,若类没有进行过初始化,则会触发初始化。生成这4条指令最常见的场景:使用new关键字实例化对象、读取或设置一个类的静态字段(被final修饰、已在编译期把结果放入到常量池的静态字段除外)以及调用一个类的静态方法的时候。
使用
java.lang.reflect
包的方法对类进行反射调用的时候当初始化一个类的时候,发现其父类未被初始化过,则先触发其父类的初始化
当虚拟机启动时,用户需指定一个要执行的主类(包含
main()
方法的类),虚拟机会先初始化这个主类。当使用 JDK1.7 的动态语言支持时,如果一个
java.lang.invoke.MethodHandle
实例最后的解析结果REF_getStatic
、REF_putStatic
、REF_invodeStatic
的方法句柄,并且这个方法句柄所对应的类没有进行过初始化,则需先触发其初始化。
类的加载流程
类的加载流程大致有5个步骤:加载、验证、准备、解析和初始化。
invokestatic:用于调用静态方法
invokespecial:用于调用私有实例方法、构造器,以及使用super关键字调用父类的实例方法或构造器,和所实现接口的默认方法
invokevirtual:用于调用非私有实例方法。
invokeinterface:用于调用接口方法。
invokedynamic:用于调用动态方法。
JVM 与性能优化
原文链接
《JVM 与性能优化》
JVM内存区域
1. 虚拟机的历史
2. 未来Java技术一览
3. 运行时区数据
各个区域的作用
1. 程序计数器
当前线程执行的字节码的行号指示器,占用空间小,也无法干涉
2. 栈
每个线程私有的,线程在运行时,在执行每个方法的时候都会打包成一个栈帧,存储了局部变量表、操作数栈、动态链接、方法出口等信息,然后放入栈。每个时刻正在执行的当前方法就是虚拟机栈顶的栈帧。方法的执行就对应着栈帧在虚拟机栈中入栈和出栈的过程。
栈帧大小缺省为 1M,可用参数-Xss 调整大小,例如-Xss256k
3. 堆
几乎所有对象都分配在这里,也是垃圾回收发生的主要区域,可用以下参数调整:
1 | -Xms:堆的最小值 |
例如-Xmx256m
4. 方法区(线程共享)
- 用于存储已经被虚拟机加载的类信息、常量(“zdy”,”123”等)、静态变量(static 变量)等数据,可用以下参数调整:
jdk1.7 及以前:-XX:PermSize; -XX:MaxPermSize
jdk1.8以后:-XX:MetaspaceSize; -XX:MaxMetaspaceSize
jdk1.8以后大小就只受本机总内存的限制,如 -XX:MaxMetaspaceSize=3M - 运行时常量池
各个版本内存区域的变化
- 1.6 运行时常量池在方法区
- 1.7 运行时常量池在堆
- 1.8 运行时常量池在元数据区
- 直接内存(线程共享)
不是虚拟机运行时数据区的一部分,也不是 java 虚拟机规范中定义的内存区域;如果使用了 NIO(使用 native 函数库直接分配堆外内存,不经过 JVM 内存直接访问系统物理内存的类–DirectBuffer),这块区域会被频繁使用,在 java 堆内可以用 directByteBuffer 对象直接引用并操作;这块内存不受 java 堆大小限制,但受本机总内存的限制,可以通过-XX:MaxDirectMemorySize 来设置(默认与堆内存最大值一样),所以也会有 OOM 的异常。
4. 站在线程角度来看堆和栈
5. 深入辨析堆和栈
功能
- 以栈帧的方式存储方法调用的过程,并存储方法调用过程中基本数据类型的变量(int、float、long、byte、float、double、boolean、char等)以及对象的引用变量,其内存分配在栈上,变量出了作用域会自动释放。
- 堆内存用来存储 Java 中的对象。无论是成员变量、局部变量、类变量,它们指向的对象都存储在堆内存中。
线程独享还是共享
- 栈内存归属于单个线程,每个线程都会有一个栈内存,其存储的变量只能在其所属线程中可见,即栈内存可以理解成线程的私有内存。
- 堆内存中对象对所有线程可见。堆内存中的对象可以被所有线程访问。
空间大小
栈的内存远小于堆内存
6. 方法的出入栈
- 栈帧
一个方法的调用就会在栈上分配一个栈帧
- 栈上分配
虚拟机提供的一种优化技术,基本思想是,对于线程私有的对象,将它打散分配在栈上,而不分配在堆上。好处就是对象跟着方法调用自行销毁,不需要进行垃圾回收,可以提高性能。
栈上分配需要的技术基础:逃逸分析。逃逸分析的目的是判断对象的作用域是否逃逸出方法体。注意,任何可以在多个线程之间共享的对象,一定属于逃逸对象。
栈上分配的效果:
1 | public void test(int x, int y){ |
同样的 User 的对象实例,分配 100,000,000次,启用栈上分配只需 6ms,不启用要 3s
7. 虚拟机中的对象
分配过程
虚拟机遇到一条 new 指令时相应的类加载过程:
- 如何划分可用空间(虚拟机将为新生对象分配内存):
- 若 Java 堆中内存是绝对规整的,所有用过的内存都放在一边,空闲的内存放在另一边,中间放着一个指针作为分界点的指示器,那所分配内存就仅仅是把那个指针向空闲控件那边挪动一段与对象大小相等的距离,这种分配方式称为“指针碰撞”
- 若 Java 堆中内存并不是规整的,已使用的内存和空闲的相互交错,那没办吧进行简单的指针碰撞。虚拟机需要维护一个列表,记录上哪些内存块是可用的,在分配的时候从列表中找到一块足够大的控件划分给对象实例,并更新列表上的记录,这种分配方式称为“空闲列表”
- Java 堆是否规整取决于所采用的垃圾收集器是否带有压缩整理功能决定。
- 在并发情况下的线程安全问题
- 创建对象在虚拟机中是非常频繁的行为,即时只是修改一个指针所指向的位置,在并发情况下也不是线程安全的,可能出现正在给对象 A 分配内存,指针还未来得及修改,对象 B 又同时使用了原来的指针来分配内存的情况。
解决方案:
- 一种是堆分配内存空间的动作进行同步处理–实际上虚拟机采用CAS 配上失败重试的方式保证更新操作的原子性
- 另一种是把内存分配的动作按照线程划分在不同的空间之中进行,即每个线程在 Java 堆中预先分配一小块私有内存,也就是本地线程分配缓冲(Thread Local Allocation Buffer,TLAB),如果设置了虚拟机参数-XX:UseTLAB,在线程初始化时,也会同时申请一块指定大小的内存,只给当前线程使用,这样每个线程都有属于自己的 Buffer。当 Buffer 容量不够的情况再重新从 Eden 区域申请一块继续使用。
TLAB 目的是在给新对象分配内存空间时,让每个 Java 应用线程在使用自己专属的分配指针来分配空间,减少了同步开销。
TLAB 让每个线程有私有的分配指针,但底下存对象的内存空间还是给所有线程访问的,只是其他线程无法在这个区域分配而已,当一个 TLAB 用满(分配指针 top 撞上分配极限 end 了),就新申请一个 TLAB
- 分配完内存,虚拟机会将分配到的内存空间都初始化为零值(如 int 值为 0,boolean 值为 false)
- 接下来,虚拟机要对对象进行必要的设置,例如这个对象是哪个类的实例,如何才能找到类的元数据信息、对象的哈希码、对象的 GC 分代年龄等信息。这些信息存放在对象的对象头之中。
- 上面工作完成了,从虚拟机视角看一个新对象已经产生了,但从 Java 程序员视角看对象才刚刚开始,所有字段值都为零值,还需要完成程序员意愿的初始化工作。
内存布局
在 HotSpot 虚拟机中,对象在内存中存储的布局可以分为3 个区域:对象头(Header)、实例数据(Instance Data)、对齐填充(Padding)
对象头包括两部分信息:
- 一是存储对象自身运行时数据,如哈希码(HashCode)、GC 分代年龄、锁状态标志、线程持有的锁、偏向线程 ID、偏向时间戳等;
- 另一是类型指针,即对象指向它类元数据的指针,虚拟机通过这个指针来确定这个对象是哪个类的实例。
- 第三部分对齐填充并不是必然存在的,也没有特别的含义,它仅仅起着占位符的作用。由于 HotSpot VM 的自动内存管理系统要求对对象的大小必须是 8 字节的整数倍。当对象其他数据部分没有对齐时,就需要通过对齐填充来补全。
对象的访问定位
Java 程序通过栈上的 reference 数据来操作堆上的具体对象。目前主流的访问方式有使用句柄和直接指针两种。
使用句柄:那么 Java 堆中将会划分出一块内存来作为句柄池,reference 中存储的就是对象的句柄地址,而句柄中包含了对象实例数据与类型数据各自的具体地址信息。
使用直接指针访问:reference 中存储的就是对象地址。
两种方式各有优势:
- 使用句柄最大好处就是 reference 中存储的是稳定的句柄地址,在对象被移动(垃圾收集时移动对象是非常普遍的行为)时只会改变句柄中的实例数据指针,而 reference 本身不需要修改。
- 使用直接指针最大好处就是速度更快,它节省了一次指针定位的时间开销,由于对象的访问在 Java 中非常频繁,因此这类开销积少成多后也是非常可观的执行成本。
对于 Sun HotSpot 而言,使用的就是直接指针访问方式进行对象访问的。
8. 堆参数设置和内存溢出实战
- Java堆溢出
- 新生代配置
- 方法区和运行时常量池溢出
- 虚拟机栈和本地方法栈溢出
- 本机直接内存溢出
垃圾回收器和内存分配策略
1. GC概述
2. 判断对象的存活
1. 引用计数法
优点:快、方便、实现简单。缺点:对象相互引用时,很难判断对象是否该回收。
2. 可达性分析
来判断对象是否存活的。这个算法的基本思路就是通过一系列的称为“GC Roots”的对象作为起始点,从这些节点开始向下搜索,搜索所走过的路径称为引用连(Reference Chain),当一个对象到GC Roots没有任何引用链相连时,则证明此对象是不可用的(可被回收)。
作为 GC Roots 的对象包括下面几种:
- 虚拟机栈(栈帧中的本地变量表)中引用的对象
- 方法区中类静态属性引用的对象
- 方法区中常量引用的对象
- 本地方法栈中 JNI(即一般说的 Native 方法)引用的对象
3. 辨析强、弱等各种应用
强引用
软引用 SoftReference
一些有用但是并非必需。当将要发生 OMM 之前这些软引用对象会被回收
- 弱引用 WeakReference
一些有用但是并非必需。当 GC 发生时,必定会被回收
- 虚引用 PhantomReference
幽灵引用,最弱。被垃圾回收时会受到一个通知
4. GC算法
1. 标记-清除算法
算法分为“标记”和“清除”两个阶段:首先标记出所有需要回收的对象,在标记完成后统一回收所有被标记的对象。
它的主要不足空间问题,标记清除之后会产生大量不连续的内存碎片,空间碎片太多可能会导致以后在程序运行过程中需要分配较大对象时,无法找到足够的连续内存而不得不提前触发另一次垃圾收集动作。
2. 复制算法
将可用内存按容量划分为大小相等的两块,每次只使用其中的一块。当这块内存用完了就将还存活着的对象复制到另一块上面,然后再把已使用过的内存空间一次清理掉。这样使得每次都是对整个半区进行内存回收,内存分配时也就不用考虑内存碎片等复杂情况,只要按顺序分配内存即可,实现简单,运行高效。只是这种算法的代价是将内存缩小为原来的一半。
3. 标记-整理算法
首先标记出所有需要回收的对象,在标记完成后,后续步骤不是直接对可回收对象进行清理,而是让所有存活的对象都向一端移动,然后直接清理掉端边界以外的内存。
5. 分代收集
当前商业虚拟机的垃圾收集都采用“分代收集”(Generational Collection)算法,这种算法并没有什么新的思想,只是根据对象存活周期的不同将内存划分为几块。一般是把Java堆分为新生代和老年代,这样就可以根据各个年代的特点采用最适当的收集算法。
专门研究表明,新生代中的对象98%是“朝生夕死”的,所以并不需要按照1:1的比例来划分内存空间,而是将内存分为一块较大的Eden空间和两块较小的Survivor空间,每次使用Eden和其中一块Survivor[1]。当回收时,将Eden和Survivor中还存活着的对象一次性地复制到另外一块Survivor空间上,最后清理掉Eden和刚才用过的Survivor空间。HotSpot虚拟机默认Eden和Survivor的大小比例是8:1,也就是每次新生代中可用内存空间为整个新生代容量的90%(80%+10%),只有10%的内存会被“浪费”。当然,98%的对象可回收只是一般场景下的数据,我们没有办法保证每次回收都只有不多于10%的对象存活,当Survivor空间不够用时,需要依赖其他内存(这里指老年代)进行分配担保(Handle Promotion)。
在新生代中,每次垃圾收集时都发现有大批对象死去,只有少量存活,那就选用复制算法,只需要付出少量存活对象的复制成本就可以完成收集。而老年代中因为对象存活率高、没有额外空间对它进行分配担保,就必须使用“标记—清理”或者“标记—整理”算法来进行回收。
6. Stop The World现象
GC收集器和我们GC调优的目标就是尽可能的减少STW的时间和次数
7. GC日志解读
8. 内存分配与回收策略
对象优先在Eden分配,如果说Eden内存空间不足,就会发生Minor GC
大对象直接进入老年代,大对象:需要大量连续内存空间的Java对象,比如很长的字符串和大型数组,1、导致内存有空间,还是需要提前进行垃圾回收获取连续空间来放他们,2、会进行大量的内存复制。
-XX:PretenureSizeThreshold 参数 ,大于这个数量直接在老年代分配,缺省为0 ,表示绝不会直接分配在老年代。
长期存活的对象将进入老年代,默认15岁,-XX:MaxTenuringThreshold调整
动态对象年龄判定,为了能更好地适应不同程序的内存状况,虚拟机并不是永远地要求对象的年龄必须达到了MaxTenuringThreshold才能晋升老年代,如果在Survivor空间中相同年龄所有对象大小的总和大于Survivor空间的一半,年龄大于或等于该年龄的对象就可以直接进入老年代,无须等到MaxTenuringThreshold中要求的年龄
空间分配担保:新生代中有大量的对象存活,survivor空间不够,当出现大量对象在MinorGC后仍然存活的情况(最极端的情况就是内存回收后新生代中所有对象都存活),就需要老年代进行分配担保,把Survivor无法容纳的对象直接进入老年代.只要老年代的连续空间大于新生代对象的总大小或者历次晋升的平均大小,就进行Minor GC,否则FullGC。
9. 内存泄露和内存溢出辨析
内存溢出:实实在在的内存空间不足导致;
内存泄漏:该释放的对象没有释放,多见于自己使用容器保存元素的情况下。
10. JDK为我们提供的工具
jps
列出当前机器上正在运行的虚拟机进程
-p :仅仅显示VM 标示,不显示jar,class, main参数等信息.
-m:输出主函数传入的参数. 下的hello 就是在执行程序时从命令行输入的参数
-l: 输出应用程序主类完整package名称或jar完整名称.
-v: 列出jvm参数, -Xms20m -Xmx50m是启动程序指定的jvm参数jstat
是用于监视虚拟机各种运行状态信息的命令行工具。它可以显示本地或者远程虚拟机进程中的类装载、内存、垃圾收集、JIT编译等运行数据,在没有GUI图形界面,只提供了纯文本控制台环境的服务器上,它将是运行期定位虚拟机性能问题的首选工具。
假设需要每250毫秒查询一次进程2764垃圾收集状况,一共查询20次,那命令应当是:jstat-gc 2764 250 20
常用参数:1
2
3
4
5
6
7
8
9
10
11
12-class (类加载器)
-compiler (JIT)
-gc (GC堆状态)
-gccapacity (各区大小)
-gccause (最近一次GC统计和原因)
-gcnew (新区统计)
-gcnewcapacity (新区大小)
-gcold (老区统计)
-gcoldcapacity (老区大小)
-gcpermcapacity (永久区大小)
-gcutil (GC统计汇总)
-printcompilation (HotSpot编译统计)jinfo
查看和修改虚拟机的参数1
2
3
4
5
6jinfo –sysprops 可以查看由System.getProperties()取得的参数
jinfo –flag 未被显式指定的参数的系统默认值
jinfo –flags(注意s)显示虚拟机的参数
jinfo –flag +[参数] 可以增加参数,但是仅限于由java -XX:+PrintFlagsFinal –version查询出来且
为manageable的参数
jinfo –flag -[参数] 可以去除参数jmap
用于生成堆转储快照(一般称为heapdump或dump文件)。jmap的作用并不仅仅是为了获取dump文件,它还可以查询finalize执行队列、Java堆和永久代的详细信息,如空间使用率、当前用的是哪种收集器等。和jinfo命令一样,jmap有不少功能在Windows平台下都是受限的,除了生成dump文件的-dump选项和用于查看每个类的实例、空间占用统计的-histo选项在所有操作系统都提供之外,其余选项都只能在Linux/Solaris下使用。
jmap -dump:live,format=b,file=heap.bin <pid
Sun JDK提供jhat(JVM Heap Analysis Tool)命令与jmap搭配使用,来分析jmap生成的堆转储快照。jhat
jhat dump文件名
后屏幕显示“Server is ready.”的提示后,用户在浏览器中键入http://localhost:7000/就可以访问详情
jstack
(Stack Trace for Java)命令用于生成虚拟机当前时刻的线程快照。线程快照就是当前虚拟机内每一条线程正在执行的方法堆栈的集合,生成线程快照的主要目的是定位线程出现长时间停顿的原因,如线程间死锁、死循环、请求外部资源导致的长时间等待等都是导致线程长时间停顿的常见原因。
在代码中可以用java.lang.Thread类的getAllStackTraces()方法用于获取虚拟机中所有线程的StackTraceElement对象。使用这个方法可以通过简单的几行代码就完成jstack的大部分功能,在实际项目中不妨调用这个方法做个管理员页面,可以随时使用浏览器来查看线程堆栈。
管理远程进程需要在远程程序的启动参数中增加:
1 | -Djava.rmi.server.hostname=….. |
11. 了解MAT
- 浅堆和深堆
浅堆 :(Shallow Heap)是指一个对象所消耗的内存。例如,在32位系统中,一个对象引用会占据4个字节,一个int类型会占据4个字节,long型变量会占据8个字节,每个对象头需要占用8个字节。
深堆 :这个对象被GC回收后,可以真实释放的内存大小,也就是只能通过对象被直接或间接访问到的所有对象的集合。通俗地说,就是指仅被对象所持有的对象的集合。深堆是指对象的保留集中所有的对象的浅堆大小之和。
__举例__:对象A引用了C和D,对象B引用了C和E。那么对象A的浅堆大小只是A本身,不含C和D,而A的实际大小为A、C、D三者之和。而A的深堆大小为A与D之和,由于对象C还可以通过对象B访问到,因此不在对象A的深堆范围内
12. 垃圾回收器
- 垃圾回收器概览
Serial/Serial Old、ParNew 、Parallel Scavenge(ParallerGC)/Parallel Old、Concurrent Mark Sweep (CMS)、G1 - 垃圾回收器工作详解
- G1详解
- 未来的垃圾回收
ZGC通过技术手段把stw的情况控制在仅有一次,就是第一次的初始标记才会发生,这样也就不难理解为什么GC停顿时间不随着堆增大而上升了,再大我也是通过并发的时间去回收了
关键技术有色指针(Colored Pointers)
加载屏障(Load Barrier)
JVM执行子系统
1. Class类文件本质
- 各种不同平台的虚拟机与所有平台都统一使用的程序存储格式——字节码(ByteCode)是构成平台无关性的基石,也是语言无关性的基础。Java虚拟机不和包括Java在内的任何语言绑定,它只与“Class文件”这种特定的二进制文件格式所关联,Class文件中包含了Java虚拟机指令集和符号表以及若干其他辅助信息。
- 任何一个Class文件都对应着唯一一个类或接口的定义信息,但反过来说,Class文件实际上它并不一定以磁盘文件的形式存在。
Class文件是一组以8位字节为基础单位的二进制流。
2. Class文件格式
各个数据项目严格按照顺序紧凑地排列在Class文件之中,中间没有添加任何分隔符,这使得整个Class文件中存储的内容几乎全部是程序运行的必要数据,没有空隙存在。
Class文件格式采用一种类似于C语言结构体的伪结构来存储数据,这种伪结构中只有两种数据类型:无符号数和表。
无符号数属于基本的数据类型,以u1、u2、u4、u8来分别代表1个字节、2个字节、4个字节和8个字节的无符号数,无符号数可以用来描述数字、索引引用、数量值或者按照UTF-8编码构成字符串值。
表是由多个无符号数或者其他表作为数据项构成的复合数据类型,所有表都习惯性地以“_info”结尾。表用于描述有层次关系的复合结构的数据,整个Class文件本质上就是一张表。
1. 格式详解
Class的结构不像XML等描述语言,由于它没有任何分隔符号,所以在其中的数据项,无论是顺序还是数量,都是被严格限定的,哪个字节代表什么含义,长度是多少,先后顺序如何,都不允许改变。按顺序包括:
- 魔数与Class文件的版本
每个Class文件的头4个字节称为魔数(Magic Number),它的唯一作用是确定这个文件是否为一个能被虚拟机接受的Class文件。使用魔数而不是扩展名来进行识别主要是基于安全方面的考虑,因为文件扩展名可以随意地改动。文件格式的制定者可以自由地选择魔数值,只要这个魔数值还没有被广泛采用过同时又不会引起混淆即可。
紧接着魔数的4个字节存储的是Class文件的版本号:第5和第6个字节是次版本号(MinorVersion),第7和第8个字节是主版本号(Major Version)。Java的版本号是从45开始的,JDK 1.1之后的每个JDK大版本发布主版本号向上加1高版本的JDK能向下兼容以前版本的Class文件,但不能运行以后版本的Class文件,即使文件格式并未发生任何变化,虚拟机也必须拒绝执行超过其版本号的Class文件。
- 常量池
常量池中常量的数量是不固定的,所以在常量池的入口需要放置一项u2类型的数据,代表常量池容量计数值(constant_pool_count)。与Java中语言习惯不一样的是,这个容量计数是从1而不是0开始的
常量池中主要存放两大类常量:字面量(Literal)和符号引用(Symbolic References)。
字面量比较接近于Java语言层面的常量概念,如文本字符串、声明为final的常量值等。
而符号引用则属于编译原理方面的概念,包括了下面三类常量:
类和接口的全限定名(Fully Qualified Name)、字段的名称和描述符(Descriptor)、方法的名称和描述符
- 访问标志
用于识别一些类或者接口层次的访问信息,包括:这个Class是类还是接口;是否定义为public类型;是否定义为abstract类型;如果是类的话,是否被声明为final等
- 类索引、父类索引与接口索引集合
这三项数据来确定这个类的继承关系。类索引用于确定这个类的全限定名,父类索引用于确定这个类的父类的全限定名。由于Java语言不允许多重继承,所以父类索引只有一个,除了java.lang.Object之外,所有的Java类都有父类,因此除了java.lang.Object外,所有Java类的父类索引都不为0。接口索引集合就用来描述这个类实现了哪些接口,这些被实现的接口将按implements语句(如果这个类本身是一个接口,则应当是extends语句)后的接口顺序从左到右排列在接口索引集合中
- 字段表集合
描述接口或者类中声明的变量。字段(field)包括类级变量以及实例级变量。
而字段叫什么名字、字段被定义为什么数据类型,这些都是无法固定的,只能引用常量池中的常量来描述。
字段表集合中不会列出从超类或者父接口中继承而来的字段,但有可能列出原本Java代码之中不存在的字段,譬如在内部类中为了保持对外部类的访问性,会自动添加指向外部类实例的字段。
- 方法表集合
描述了方法的定义,但是方法里的Java代码,经过编译器编译成字节码指令后,存放在属性表集合中的方法属性表集合中一个名为“Code”的属性里面。
与字段表集合相类似的,如果父类方法在子类中没有被重写(Override),方法表集合中就不会出现来自父类的方法信息。但同样的,有可能会出现由编译器自动添加的方法,最典型的便是类构造器“<clinit>”方法和实例构造器“<init>”
- 属性表集合
存储Class文件、字段表、方法表都自己的属性表集合,以用于描述某些场景专有的信息。如方法的代码就存储在Code属性表中。
3. 字节码指令
- 悉知
Java虚拟机的指令由一个字节长度的、代表着某种特定操作含义的数字(称为操作码,Opcode)以及跟随其后的零至多个代表此操作所需参数(称为操作数,Operands)而构成。
由于限制了Java虚拟机操作码的长度为一个字节(即0~255),这意味着指令集的操作码总数不可能超过256条。
大多数的指令都包含了其操作所对应的数据类型信息。例如:
iload指令用于从局部变量表中加载int型的数据到操作数栈中,而fload指令加载的则是float类型的数据。
大部分的指令都没有支持整数类型byte、char和short,甚至没有任何指令支持boolean类型。大多数对于boolean、byte、short和char类型数据的操作,实际上都是使用相应的int类型作为运算类型
阅读字节码作为了解Java虚拟机的基础技能,请熟练掌握。请熟悉并掌握常见指令即可。
- 加载和存储指令
用于将数据在栈帧中的局部变量表和操作数栈之间来回传输,这类指令包括如下内容。
将一个局部变量加载到操作栈:iload、iload_<n>、lload、lload_<n>、fload、fload_<n>、dload、dload_<n>、aload、aload_<n>。
将一个数值从操作数栈存储到局部变量表:istore、istore_<n>、lstore、lstore_<n>、fstore、fstore_<n>、dstore、dstore_<n>、astore、astore_<n>。
将一个常量加载到操作数栈:bipush、sipush、ldc、ldc_w、ldc2_w、aconst_null、iconst_m1、iconst_<i>、lconst_<l>、fconst_<f>、dconst_<d>。
扩充局部变量表的访问索引的指令:wide。
- 运算或算术指令
用于对两个操作数栈上的值进行某种特定运算,并把结果重新存入到操作栈顶。
加法指令:iadd、ladd、fadd、dadd。
减法指令:isub、lsub、fsub、dsub。
乘法指令:imul、lmul、fmul、dmul等等
- 类型转换指令
可以将两种不同的数值类型进行相互转换,
Java虚拟机直接支持以下数值类型的宽化类型转换(即小范围类型向大范围类型的安全转换):
int类型到long、float或者double类型。
long类型到float、double类型。
float类型到double类型。
处理窄化类型转换(Narrowing Numeric Conversions)时,必须显式地使用转换指令来完成,这些转换指令包括:i2b、i2c、i2s、l2i、f2i、f2l、d2i、d2l和d2f。
- 创建类实例的指令
new
- 创建数组的指令
newarray、anewarray、multianewarray
- 访问字段指令
getfield、putfield、getstatic、putstatic
- 数组存取相关指令
把一个数组元素加载到操作数栈的指令:baload、caload、saload、iaload、laload、faload、daload、aaload。
将一个操作数栈的值存储到数组元素中的指令:bastore、castore、sastore、iastore、fastore、dastore、aastore。
取数组长度的指令:arraylength。
- 检查类实例类型的指令
instanceof、checkcast
*操作数栈管理指令
如同操作一个普通数据结构中的堆栈那样,Java虚拟机提供了一些用于直接操作操作数栈的指令,包括:将操作数栈的栈顶一个或两个元素出栈:pop、pop2。
复制栈顶一个或两个数值并将复制值或双份的复制值重新压入栈顶:dup、dup2、dup_x1、dup2_x1、dup_x2、dup2_x2。
将栈最顶端的两个数值互换:swap
- 控制转移指令
控制转移指令可以让Java虚拟机有条件或无条件地从指定的位置指令而不是控制转移指令的下一条指令继续执行程序,从概念模型上理解,可以认为控制转移指令就是在有条件或无条件地修改PC寄存器的值。控制转移指令如下。
条件分支:ifeq、iflt、ifle、ifne、ifgt、ifge、ifnull、ifnonnull、if_icmpeq、if_icmpne、if_icmplt、if_icmpgt、if_icmple、if_icmpge、if_acmpeq和if_acmpne。
复合条件分支:tableswitch、lookupswitch。
无条件分支:goto、goto_w、jsr、jsr_w、ret。
- 方法调用指令
invokevirtual指令用于调用对象的实例方法,根据对象的实际类型进行分派(虚方法分派),这也是Java语言中最常见的方法分派方式。
invokeinterface指令用于调用接口方法,它会在运行时搜索一个实现了这个接口方法的对象,找出适合的方法进行调用。
invokespecial指令用于调用一些需要特殊处理的实例方法,包括实例初始化方法、私有方法和父类方法。
invokestatic指令用于调用类方法(static方法)。
invokedynamic指令用于在运行时动态解析出调用点限定符所引用的方法,并执行该方法,前面4条调用指令的分派逻辑都固化在Java虚拟机内部,而invokedynamic指令的分派逻辑是由用户所设定的引导方法决定的。
方法调用指令与数据类型无关。
- 方法返回指令
是根据返回值的类型区分的,包括ireturn(当返回值是boolean、byte、char、short和int类型时使用)、lreturn、freturn、dreturn和areturn,另外还有一条return指令供声明为void的方法、实例初始化方法以及类和接口的类初始化方法使用。
- 异常处理指令
在Java程序中显式抛出异常的操作(throw语句)都由athrow指令来实现
- 同步指令
有monitorenter和monitorexit两条指令来支持synchronized关键字的语义
4. 类加载机制
1. 加载过程详解
- 概述
类从被加载到虚拟机内存中开始,到卸载出内存为止,它的整个生命周期包括:加载(Loading)、验证(Verification)、准备(Preparation)、解析(Resolution)、初始化(Initialization)、使用(Using)和卸载(Unloading)7个阶段。其中验证、准备、解析3个部分统称为连接(Linking)
对于初始化阶段,虚拟机规范则是严格规定了有且只有5种情况必须立即对类进行“初始化”(而加载、验证、准备自然需要在此之前开始):
- 遇到new、getstatic、putstatic或invokestatic这4条字节码指令时,如果类没有进行过初始化,则需要先触发其初始化。生成这4条指令的最常见的Java代码场景是:使用new关键字实例化对象的时候、读取或设置一个类的静态字段(被final修饰、已在编译期把结果放入常量池的静态字段除外)的时候,以及调用一个类的静态方法的时候。
- 使用java.lang.reflect包的方法对类进行反射调用的时候,如果类没有进行过初始化,则需要先触发其初始化。
- 当初始化一个类的时候,如果发现其父类还没有进行过初始化,则需要先触发其父类的初始化。
- 当虚拟机启动时,用户需要指定一个要执行的主类(包含main()方法的那个类),虚拟机会先初始化这个主类。
- 当使用JDK 1.7的动态语言支持时,如果一个java.lang.invoke.MethodHandle实例最后的解析结果REF_getStatic、REF_putStatic、REF_invokeStatic的方法句柄,并且这个方法句柄所对应的类没有进行过初始化,则需要先触发其初始化。
注意
对于静态字段,只有直接定义这个字段的类才会被初始化,因此通过其子类来引用父类中定义的静态字段,只会触发父类的初始化而不会触发子类的初始化。
常量HELLOWORLD,但其实在编译阶段通过常量传播优化,已经将此常量的值“hello world”存储到了NotInitialization类的常量池中,以后NotInitialization对常量ConstClass.HELLOWORLD的引用实际都被转化为NotInitialization类对自身常量池的引用了。
也就是说,实际上NotInitialization的Class文件之中并没有ConstClass类的符号引用入口,这两个类在编译成Class之后就不存在任何联系了。加载阶段
虚拟机需要完成以下3件事情:- 通过一个类的全限定名来获取定义此类的二进制字节流。
- 将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构。
- 在内存中生成一个代表这个类的java.lang.Class对象,作为方法区这个类的各种数据的访问入口。
验证
是连接阶段的第一步,这一阶段的目的是为了确保Class文件的字节流中包含的信息符合当前虚拟机的要求,并且不会危害虚拟机自身的安全。但从整体上看,验证阶段大致上会完成下面4个阶段的检验动作:文件格式验证、元数据验证、字节码验证、符号引用验证。
准备阶段
是正式为类变量分配内存并设置类变量初始值的阶段,这些变量所使用的内存都将在方法区中进行分配。这个阶段中有两个容易产生混淆的概念需要强调一下,首先,这时候进行内存分配的仅包括类变量(被static修饰的变量),而不包括实例变量,实例变量将会在对象实例化时随着对象一起分配在Java堆中。其次,这里所说的初始值“通常情况”下是数据类型的零值,假设一个类变量的定义为:
public static int value=123;
那变量value在准备阶段过后的初始值为0而不是123,因为这时候尚未开始执行任何Java方法,而把value赋值为123的putstatic指令是程序被编译后,存放于类构造器<clinit>()方法之中,所以把value赋值为123的动作将在初始化阶段才会执行。表7-1列出了Java中所有基本数据类型的零值。
假设上面类变量value的定义变为:public static final int value=123;
编译时Javac将会为value生成ConstantValue属性,在准备阶段虚拟机就会根据ConstantValue的设置将value赋值为123。解析阶段
是虚拟机将常量池内的符号引用替换为直接引用的过程
- 类初始化阶段
是类加载过程的最后一步,前面的类加载过程中,除了在加载阶段用户应用程序可以通过自定义类加载器参与之外,其余动作完全由虚拟机主导和控制。到了初始化阶段,才真正开始执行类中定义的Java程序代码在准备阶段,变量已经赋过一次系统要求的初始值,而在初始化阶段,则根据程序员通过程序制定的主观计划去初始化类变量和其他资源,或者可以从另外一个角度来表达:初始化阶段是执行类构造器<clinit>()方法的过程。<clinit>()方法是由编译器自动收集类中的所有类变量的赋值动作和静态语句块(static{}块)中的语句合并产生的,编译器收集的顺序是由语句在源文件中出现的顺序所决定的。
<clinit>()方法对于类或接口来说并不是必需的,如果一个类中没有静态语句块,也没有对变量的赋值操作,那么编译器可以不为这个类生成<clinit>()方法。
虚拟机会保证一个类的<clinit>()方法在多线程环境中被正确地加锁、同步,如果多个线程同时去初始化一个类,那么只会有一个线程去执行这个类的<clinit>()方法,其他线程都需要阻塞等待,直到活动线程执行<clinit>()方法完毕。如果在一个类的<clinit>()方法中有耗时很长的操作,就可能造成多个进程阻塞。
2. 类加载器
- 自定义类加载对类进行加密和解密
重写findClass方法
- 系统的类加载器
对于任意一个类,都需要由加载它的类加载器和这个类本身一同确立其在Java虚拟机中的唯一性,每一个类加载器,都拥有一个独立的类名称空间。这句话可以表达得更通俗一些:比较两个类是否“相等”,只有在这两个类是由同一个类加载器加载的前提下才有意义,否则,即使这两个类来源于同一个Class文件,被同一个虚拟机加载,只要加载它们的类加载器不同,那这两个类就必定不相等。
这里所指的“相等”,包括代表类的Class对象的equals()方法、isAssignableFrom()方法、isInstance()方法的返回结果,也包括使用instanceof关键字做对象所属关系判定等情况。
在自定义ClassLoader的子类时候,我们常见的会有两种做法,一种是重写loadClass方法,另一种是重写findClass方法。其实这两种方法本质上差不多,毕竟loadClass也会调用findClass,但是从逻辑上讲我们最好不要直接修改loadClass的内部逻辑。我建议的做法是只在findClass里重写自定义类的加载方法。
loadClass这个方法是实现双亲委托模型逻辑的地方,擅自修改这个方法会导致模型被破坏,容易造成问题。因此我们最好是在双亲委托模型框架内进行小范围的改动,不破坏原有的稳定结构。同时,也避免了自己重写loadClass方法的过程中必须写双亲委托的重复代码,从代码的复用性来看,不直接修改这个方法始终是比较好的选择。
- 双亲委派模型
从Java虚拟机的角度来讲,只存在两种不同的类加载器:一种是启动类加载器(Bootstrap ClassLoader),这个类加载器使用C++语言实现,是虚拟机自身的一部分;另一种就是所有其他的类加载器,这些类加载器都由Java语言实现,独立于虚拟机外部,并且全都继承自抽象类java.lang.ClassLoader。
启动类加载器(Bootstrap ClassLoader
):这个类加载器负责将存放在<JAVA_HOME>\lib
目录中的,或者被-Xbootclasspath
参数所指定的路径中的,并且是虚拟机识别的(仅按照文件名识别,如rt.jar,名字不符合的类库即使放在lib目录中也不会被加载)类库加载到虚拟机内存中。启动类加载器无法被Java程序直接引用,用户在编写自定义类加载器时,如果需要把加载请求委派给引导类加载器,那直接使用null代替即可。
扩展类加载器(Extension ClassLoader
):这个加载器由sun.misc.Launcher$ExtClassLoader
实现,它负责加载<JAVA_HOME>\lib\ext
目录中的,或者被java.ext.dirs
系统变量所指定的路径中的所有类库,开发者可以直接使用扩展类加载器。
应用程序类加载器(Application ClassLoader
):这个类加载器由sun.misc.Launcher $App-ClassLoader
实现。由于这个类加载器是ClassLoader
中的getSystemClassLoader()
方法的返回值,所以一般也称它为系统类加载器。它负责加载用户类路径(ClassPath)上所指定的类库,开发者可以直接使用这个类加载器,如果应用程序中没有自定义过自己的类加载器,一般情况下这个就是程序中默认的类加载器。
我们的应用程序都是由这3种类加载器互相配合进行加载的,如果有必要,还可以加入自己定义的类加载器。
双亲委派模型要求除了顶层的启动类加载器外,其余的类加载器都应当有自己的父类加载器。这里类加载器之间的父子关系一般不会以继承(Inheritance)的关系来实现,而是都使用组合(Composition)关系来复用父加载器的代码。
使用双亲委派模型来组织类加载器之间的关系,有一个显而易见的好处就是Java类随着它的类加载器一起具备了一种带有优先级的层次关系。例如类java.lang.Object,它存放在rt.jar之中,无论哪一个类加载器要加载这个类,最终都是委派给处于模型最顶端的启动类加载器进行加载,因此Object类在程序的各种类加载器环境中都是同一个类。相反,如果没有使用双亲委派模型,由各个类加载器自行去加载的话,如果用户自己编写了一个称为java.lang.Object的类,并放在程序的ClassPath中,那系统中将会出现多个不同的Object类,Java类型体系中最基础的行为也就无法保证,应用程序也将会变得一片混乱。
双亲委托机制(谁先加载就用谁作为执行的class)–》热修复的原理
3. Tomcat类加载机制
Tomcat本身也是一个java项目,因此其也需要被JDK的类加载机制加载,也就必然存在引导类加载器、扩展类加载器和应用(系统)类加载器。
Common ClassLoader作为Catalina ClassLoader和Shared ClassLoader的parent,而Shared ClassLoader又可能存在多个children类加载器WebApp ClassLoader,一个WebApp ClassLoader实际上就对应一个Web应用,那Web应用就有可能存在Jsp页面,这些Jsp页面最终会转成class类被加载,因此也需要一个Jsp的类加载器。
需要注意的是,在代码层面Catalina ClassLoader、Shared ClassLoader、Common ClassLoader对应的实体类实际上都是URLClassLoader或者SecureClassLoader,一般我们只是根据加载内容的不同和加载父子顺序的关系,在逻辑上划分为这三个类加载器;而WebApp ClassLoader和JasperLoader都是存在对应的类加载器类的。
当tomcat启动时,会创建几种类加载器:
1 Bootstrap 引导类加载器 加载JVM启动所需的类,以及标准扩展类(位于jre/lib/ext下)
2 System 系统类加载器 加载tomcat启动的类,比如bootstrap.jar,通常在catalina.bat或者catalina.sh中指定。位于CATALINA_HOME/bin下。
3 Common 通用类加载器 加载tomcat使用以及应用通用的一些类,位于CATALINA_HOME/lib下,比如servlet-api.jar
4 webapp 应用类加载器每个应用在部署后,都会创建一个唯一的类加载器。该类加载器会加载位于 WEB-INF/lib下的jar文件中的class 和 WEB-INF/classes下的class文件。
5. 栈帧详解
6. 方法调用详解
调用目标在程序代码写好、编译器进行编译时就必须确定下来。这类方法的调用称为解析。
在Java语言中符合“编译期可知,运行期不可变”这个要求的方法,主要包括静态方法和私有方法两大类,前者与类型直接关联,后者在外部不可被访问,这两种方法各自的特点决定了它们都不可能通过继承或别的方式重写其他版本,因此它们都适合在类加载阶段进行解析。
7. 基于栈的字节码解释执行引擎
- 基于栈的指令集与基于寄存器的指令集
- 分析代码在虚拟机中执行情况
编写高效优雅的Java程序员
1. 构造器参数太多怎么办?
用builder模式,用在
1、5个或者5个以上的成员变量
2、参数不多,但是在未来,参数会增加
2. 不需要实例化的类应该构造器私有
3. 不要创建不必要的对象
避免无意中创建的对象,如自动装箱循环内因为会自动装箱拆箱,创建无用的对象。
可以在类的多个实例之间重用的成员变量,尽量使用static。
4. 避免使用终结方法
finalizer方法,jdk不能保证何时执行,也不能保证一定会执行。如果有确实要释放的资源应该用try/finally。
5. 使类和成员的可访问性最小化
编写程序和设计架构,最重要的目标之一就是模块之间的解耦。使类和成员的可访问性最小化无疑是有效的途径之一。
6. 使可变性最小化
尽量使类不可变,不可变的类比可变的类更加易于设计、实现和使用,而且更不容易出错,更安全。
常用的手段:
不提供任何可以修改对象状态的方法;
使所有的域都是final的。
使所有的域都是私有的。
使用写时复制机制。带来的问题:会导致系统产生大量的对象,而且性能有一定的影响,需要在使用过程中小心权衡。
7. 优先使用复合
继承容易破坏封装性,而且会使子类的实现依赖于父类。
复合则是在类中增加一个私有域,引用类的一个实例,这样的话就避免了依赖类的具体实现。
只有在子类确实是父类的一个子类型时,才比较适合用继承。
8. 接口优于抽象类
9. 可变参数要谨慎使用
可变参数是允许传0个参数的
如果是参数个数在1~多个之间的时候,要做单独的业务控制
10. 返回零长度的数组或集合,不要返回null
11. 优先使用标准的异常
要尽量追求代码的重用,同时减少类加载的数目,提高类装载的性能。
常用的异常:
IlegalAraumentException – 调用者传递的参数不合适
lllegalStateException – 接收的对象状态不对,
NullPointException -空指针异常
UnsupportedOperationException –不支持的操作
12. 用枚举代替int常量
13. 将局部变量的作用域最小化
- 在第一次使用的地方进行声明
- 局部变量都是要自行初始化,初始化条件不满足,就不要声明
最小化的好处,减小局部变量表的大小,提示性能;同时避免局部变量过早声明导致不正确的使用。
14. 精确计算,避免使用float和double
15. 当心字符串连接的性能
在存在大量字符串拼接或者大型字符串拼接的时候,尽量使用StringBuilder和StringBuffer
深入了解性能优化
1. 常用的性能评价/测试指标
1. 响应时间
- 提交请求和返回该请求的响应之间使用的时间,一般比较关注平均响应时间。
常用操作的响应时间列表:
2. 并发数
同一时刻,对服务器有实际交互的请求数。
和网站在线用户数的关联:1000个同时在线用户数,可以估计并发数在5%到15%之间,也就是同时并发数在50~150之间。
3. 吞吐量
对单位时间内完成的工作量(请求)的量度
4. 相互之间的关系
系统吞吐量和系统并发数以及响应时间的关系:
理解为高速公路的通行状况:
吞吐量是每天通过收费站的车辆数目(可以换算成收费站收取的高速费),
并发数是高速公路上的正在行驶的车辆数目,
响应时间是车速。
车辆很少时,车速很快。但是收到的高速费也相应较少;随着高速公路上车辆数目的增多,车速略受影响,但是收到的高速费增加很快;
随着车辆的继续增加,车速变得越来越慢,高速公路越来越堵,收费不增反降;
如果车流量继续增加,超过某个极限后,任务偶然因素都会导致高速全部瘫痪,车走不动,当然后也收不着,而高速公路成了停车场(资源耗尽)。2. 常用的性能优化手段
1. 总原则
避免过早优化
不应该把大量的时间耗费在小的性能改进上,过早考虑优化是所有噩梦的根源。
所以,我们应该编写清晰,直接,易读和易理解的代码,真正的优化应该留到以后,等到性能分析表明优化措施有巨大的收益时再进行。
但是过早优化,不表示我们应该编写已经知道的对性能不好的的代码结构。进行系统性能测试
所有的性能调优,都有应该建立在性能测试的基础上,直觉很重要,但是要用数据说话,可以推测,但是要通过测试求证。寻找系统瓶颈,分而治之,逐步优化
性能测试后,对整个请求经历的各个环节进行分析,排查出现性能瓶颈的地方,定位问题,分析影响性能的的主要因素是什么?内存、磁盘IO、网络、CPU,还是代码问题?架构设计不足?或者确实是系统资源不足?
2. 前端优化手段
浏览器/App
减少请求数;
合并CSS,Js,图片使用客户端缓冲;
静态资源文件缓存在浏览器中,有关的属性Cache-Control和Expires
如果文件发生了变化,需要更新,则通过改变文件名来解决。启用压缩
减少网络传输量,但会给浏览器和服务器带来性能的压力,需要权衡使用。资源文件加载顺序
css放在页面最上面,js放在最下面减少Cookie传输
cookie包含在每次的请求和响应中,因此哪些数据写入cookie需要慎重考虑给用户一个提示
有时候在前端给用户一个提示,就能收到良好的效果。毕竟用户需要的是不要不理他。
CDN加速
CDN,又称内容分发网络,本质仍然是一个缓存,而且是将数据缓存在用户最近的地方。无法自行实现CDN的时候,可以考虑商用CDN服务。
反向代理缓存
将静态资源文件缓存在反向代理服务器上,一般是Nginx。
WEB组件分离
将js,css和图片文件放在不同的域名下。可以提高浏览器在下载web组件的并发数。因为浏览器在下载同一个域名的的数据存在并发数限制。
3. 应用服务性能优化
4. 存储性能优化
选择合适的数据结构
选择ArrayList和LinkedList对我们的程序性能影响很大,为什么?因为ArrayList内部是数组实现,存在着不停的扩容和数据复制。选择更优的算法
举个例子,最大子列和问题:
给定一个整数序列,a0, a1, a2, …… , an(项可以为负数),求其中最大的子序列和。
如果所有整数都是负数,那么最大子序列和为0;
例如(a[1],a[2],a[3],a[4],a[5],a[6])=(-2,11,-4,13,-5,-2)时,
最大子段和为20,子段为a[2],a[3],a[4]。
最坏的算法:穷举法,所需要的的计算时间是O(n^3).
一般的算法:分治法的计算时间复杂度为O(nlogn).
最好的算法:最大子段和的动态规划算法,计算时间复杂度为O(n)
n越大,时间就相差越大,比如10000个元素,最坏的算法和最好的算法之间的差距绝非多线程或者集群化能轻松解决的。编写更少的代码
同样正确的程序,小程序比大程序要快,这点无关乎编程语言。3. 详细了解应用服务性能优化
1. 缓存
缓存的基本原理和本质
缓存是将数据存在访问速度较高的介质中。可以减少数据访问的时间,同时避免重复计算。合理使用缓存的准则
频繁修改的数据,尽量不要缓存,读写比2:1以上才有缓存的价值。
缓存一定是热点数据。
应用需要容忍一定时间的数据不一致。
缓存可用性问题,一般通过热备或者集群来解决。
缓存预热,新启动的缓存系统没有任何数据,可以考虑将一些热点数据提前加载到缓存系统。
解决缓存击穿:
1、布隆过滤器,或者2、把不存在的数据也缓存起来 ,比如有请求总是访问key = 23的数据,但是这个key = 23的数据在系统中不存在,可以考虑在缓存中构建一个( key=23 value = null)的数据。分布式缓存与一致性哈希
- 以集群的方式提供缓存服务,有两种实现;
- 需要更新同步的分布式缓存,所有的服务器保存相同的缓存数据,带来的问题就是,缓存的数据量受限制,其次,数据要在所有的机器上同步,代价很大。
- 每台机器只缓存一部分数据,然后通过一定的算法选择缓存服务器。常见的余数hash算法存在当有服务器上下线的时候,大量缓存数据重建的问题。所以提出了一致性哈希算法。
- 一致性哈希
- 首先求出服务器(节点)的哈希值,并将其配置到0~232的圆(continuum)上。
- 然后采用同样的方法求出存储数据的键的哈希值,并映射到相同的圆上。
- 然后从数据映射到的位置开始顺时针查找,将数据保存到找到的第一个服务器上。如果超过232仍然找不到服务器,就会保存到第一台服务器上。
一致性哈希算法对于节点的增减都只需重定位环空间中的一小部分数据,具有较好的容错性和可扩展性。
一致性哈希算法在服务节点太少时,容易因为节点分部不均匀而造成数据倾斜问题,此时必然造成大量数据集中到Node A上,而只有极少量会定位到Node B上。为了解决这种数据倾斜问题,一致性哈希算法引入了虚拟节点机制,即对每一个服务节点计算多个哈希,每个计算结果位置都放置一个此服务节点,称为虚拟节点。具体做法可以在服务器ip或主机名的后面增加编号来实现。例如,可以为每台服务器计算三个虚拟节点,于是可以分别计算 “Node A#1”、“Node A#2”、“Node A#3”、“Node B#1”、“Node B#2”、“Node B#3”的哈希值,于是形成六个虚拟节点:同时数据定位算法不变,只是多了一步虚拟节点到实际节点的映射,例如定位到“Node A#1”、“Node A#2”、“Node A#3”三个虚拟节点的数据均定位到Node A上。这样就解决了服务节点少时数据倾斜的问题。在实际应用中,通常将虚拟节点数设置为32甚至更大,因此即使很少的服务节点也能做到相对均匀的数据分布。
2. 集群
3. 异步
- 同步和异步,阻塞和非阻塞
同步和异步关注的是结果消息的通信机制
- 同步
同步的意思就是调用方需要主动等待结果的返回 - 异步
异步的意思就是不需要主动等待结果的返回,而是通过其他手段比如,状态通知,回调函数等。
阻塞和非阻塞主要关注的是等待结果返回调用方的状态
- 阻塞
是指结果返回之前,当前线程被挂起,不做任何事 - 非阻塞
是指结果在返回之前,线程可以做一些其他事,不会被挂起。 - 同步阻塞
同步阻塞基本也是编程中最常见的模型,打个比方你去商店买衣服,你去了之后发现衣服卖完了,那你就在店里面一直等,期间不做任何事(包括看手机),等着商家进货,直到有货为止,这个效率很低。jdk里的BIO就属于 同步阻塞 - 同步非阻塞
同步非阻塞在编程中可以抽象为一个轮询模式,你去了商店之后,发现衣服卖完了,这个时候不需要傻傻的等着,你可以去其他地方比如奶茶店,买杯水,但是你还是需要时不时的去商店问老板新衣服到了吗。jdk里的NIO就属于 同步非阻塞 - 异步阻塞
异步阻塞这个编程里面用的较少,有点类似你写了个线程池,submit然后马上future.get(),这样线程其实还是挂起的。有点像你去商店买衣服,这个时候发现衣服没有了,这个时候你就给老板留给电话,说衣服到了就给我打电话,然后你就守着这个电话,一直等着他响什么事也不做。这样感觉的确有点傻,所以这个模式用得比较少。 - 异步非阻塞
好比你去商店买衣服,衣服没了,你只需要给老板说这是我的电话,衣服到了就打。然后你就随心所欲的去玩,也不用操心衣服什么时候到,衣服一到,电话一响就可以去买衣服了。jdk里的AIO就属于异步
- 常见异步的手段
- Servlet异步
servlet3中才有,支持的web容器在tomcat7和jetty8以后。 - 多线程
- 消息队列
- 集群
可以很好的将用户的请求分配到多个机器处理,对总体性能有很大的提升 - 程序代码级别
一个应用的性能归根结底取决于代码是如何编写的。
- Servlet异步
4. 应用相关
- 代码级别
一个应用的性能归根结底取决于代码是如何编写的。
- 选择合适的数据结构
选择ArrayList和LinkedList对我们的程序性能影响很大,为什么?因为ArrayList内部是数组实现,存在着不停的扩容和数据复制。 - 选择更优的算法
举个例子,最大子列和问题:
给定一个整数序列,a0, a1, a2, …… , an(项可以为负数),求其中最大的子序列和。
如果所有整数都是负数,那么最大子序列和为0;
例如(a[1],a[2],a[3],a[4],a[5],a[6])=(-2,11,-4,13,-5,-2)时,
最大子段和为20,子段为a[2],a[3],a[4]。
最坏的算法:穷举法,所需要的的计算时间是O(n^3).
一般的算法:分治法的计算时间复杂度为O(nlogn).
最好的算法:最大子段和的动态规划算法,计算时间复杂度为O(n)
n越大,时间就相差越大,比如10000个元素,最坏的算法和最好的算法之间的差距绝非多线程或者集群化能轻松解决的。 - 编写更少的代码
同样正确的程序,小程序比大程序要快,这点无关乎编程语言。
- 并发编程
- 充分利用CPU多核,
- 实现线程安全的类,避免线程安全问题
- 同步下减少锁的竞争
- 资源的复用
目的是减少开销很大的系统资源的创建和销毁,比如数据库连接,网络通信连接,线程资源等等。 - JVM
- 与JIT编译器相关的优化
- 热点编译的概念
对于程序来说,通常只有一部分代码被经常执行,这些关键代码被称为应用的热点,执行的越多就认为是越热。将这些代码编译为本地机器特定的二进制码,可以有效提高应用性能。 - 选择编译器类型
-server,更晚编译,但是编译后的优化更多,性能更高
-client,很早就开始编译 - 代码缓存相关
在编译后,会有一个代码缓存保存编译后的代码,一旦这个缓存满了,jvm将无法继续编译代码。
当jvm提示: CodeCache is full,就表示需要增加代码缓存大小。
–XX:ReservedCodeCacheSize=N可以用来调整这个大小。 - 编译阈值
代码是否进行编译,取决于代码执行的频度,是否到达编译阈值。
计数器有两种:方法调用计数器和方法里的循环回边计数器
一个方法是否达到编译阈值取决于方法中的两种计数器之和。编译阈值调整的参数为:-XX:CompileThreshold=N
方法调用计数器统计的并不是方法被调用的绝对次数,而是一个相对的执行频率,即一段时间之内方法被调用的次数。当超过一定的时间限度,如果方法的调用次数仍然不足以让它提交给即时编译器编译,那这个方法的调用计数器就会被减少一半,这个过程称为方法调用计数器热度的衰减(Counter Decay),而这段时间就称为此方法统计的半衰周期(Counter Half Life Time)。进行热度衰减的动作是在虚拟机进行垃圾收集时顺便进行的,可以使用虚拟机参数-XX:-UseCounterDecay来关闭热度衰减,让方法计数器统计方法调用的绝对次数,这样,只要系统运行时间足够长,绝大部分方法都会被编译成本地代码。另外,可以使用-XX:CounterHalfLifeTime参数设置半衰周期的时间,单位是秒。
与方法计数器不同,回边计数器没有计数热度衰减的过程,因此这个计数器统计的就是该方法循环执行的绝对次数。 - 编译线程
进行代码编译的时候,是采用多线程进行编译的。 - 方法内联
内联默认开启,-XX:-Inline,可以关闭,但是不要关闭,一旦关闭对性能有巨大影响。
方法是否内联取决于方法有多热和方法的大小,
很热的方法如果方法字节码小于325字节才会内联,这个大小由参数 -XX:MaxFreqInlinesSzie=N 调整,但是这个很热与热点编译不同,没有任何参数可以调整热度。
方法小于35个字节码,一定会内联,这个大小可以通过参数-XX:MaxInlinesSzie=N 调整。
- 热点编译的概念
- 逃逸分析
是JVM所做的最激进的优化,最好不要调整相关的参数。
- GC调优
目的
GC的时间够小
GC的次数够少
发生Full GC的周期足够的长,时间合理,最好是不发生。调优的原则和步骤
- 大多数的java应用不需要GC调优
- 大部分需要GC调优的,不是参数问题,是代码问题
- 在实际使用中,分析GC情况优化代码比优化GC参数要多得多;
- GC调优是最后的手段
GC调优的最重要的三个选项:
第一位:选择合适的GC回收器
第二位:选择合适的堆大小
第三位:选择年轻代在堆中的比重
步骤
- 监控GC的状态
使用各种JVM工具,查看当前日志,分析当前JVM参数设置,并且分析当前堆内存快照和gc日志,根据实际的各区域内存划分和GC执行时间,觉得是否进行优化;
分析结果,判断是否需要优化
如果各项参数设置合理,系统没有超时日志出现,GC频率不高,GC耗时不高,那么没有必要进行GC优化;如果GC时间超过1-3秒,或者频繁GC,则必须优化;
注:如果满足下面的指标,则一般不需要进行GC:
Minor GC执行时间不到50ms;
Minor GC执行不频繁,约10秒一次;
Full GC执行时间不到1s;
Full GC执行频率不算频繁,不低于10分钟1次;调整GC类型和内存分配
如果内存分配过大或过小,或者采用的GC收集器比较慢,则应该优先调整这些参数,并且先找1台或几台机器进行beta,然后比较优化过的机器和没有优化的机器的性能对比,并有针对性的做出最后选择;不断的分析和调整
通过不断的试验和试错,分析并找到最合适的参数全面应用参数
如果找到了最合适的参数,则将这些参数应用到所有服务器,并进行后续跟踪。JVM调优实战
推荐策略
- 年轻代大小选择
- 响应时间优先的应用:尽可能设大,直到接近系统的最低响应时间限制(根据实际情况选择).在此种情况下,年轻代收集发生的频率也是最小的.同时,减少到达年老代的对象.
- 吞吐量优先的应用:尽可能的设置大,可能到达Gbit的程度.因为对响应时间没有要求,垃圾收集可以并行进行,一般适合8CPU以上的应用.
- 避免设置过小.当新生代设置过小时会导致:
- YGC次数更加频繁
- 可能导致YGC对象直接进入旧生代,如果此时旧生代满了,会触发FGC.
- 年老代大小选择
响应时间优先的应用:年老代使用并发收集器,所以其大小需要小心设置,一般要考虑并发会话率和会话持续时间等一些参数.如果堆设置小了,可以会造成内存碎片,高回收频率以及应用暂停而使用传统的标记清除方式;如果堆大了,则需要较长的收集时间.最优化的方案,一般需要参考以下数据获得:
并发垃圾收集信息、持久代并发收集次数、传统GC信息、花在年轻代和年老代回收上的时间比例。吞吐量优先的应用一般都有一个很大的年轻代和一个较小的年老代.原因是,这样可以尽可能回收掉大部分短期对象,减少中期的对象,而年老代尽存放长期存活对象
存储性能优化
尽量使用SSD
定时清理数据或者按数据的性质分开存放
看博文的摘录
一个对象创建的过程:
对象创建过程一般是从 new 指令开始,JVM 首先对符号进行解析,如果找不到对应的符号引用,那么这个类还没有被加载,因此 JVM 会进行类加载过程。符号引用解析完毕之后,JVM 会为对象在堆中分配内存,HopSpot虚拟机实现的 Java 对象包括三个部分:对象头、实例字段和对齐填充字段,需要注意的是,实例字段包括自身定义的和从父类继承(继承是一种逻辑关系,不是简单的“复制”。唯有创建对象时的实例字段可以简单的看成“复制”)下来的(即使父类的实例字段被子类覆盖或者被 private 修饰,都照样为其分配内存)。
为对象分配堆内存后,将该内存(除对象头区域)进行零值初始化,也就是为何 JAVA 的属性字段无须显示初始化就可以被使用的原因(而方法的局部变量却必须显示初始化后才可以访问)。
最后,JVM 会调用对象的构造函数,调用顺序会一直上溯到 Object 类。
对象创建完毕一般会有一个引用指向这个对象。JAVA 中存在基本类型(int、double 等)和引用类型(类、接口、内部类、枚举类、数组类型的引用等)两种数据类型。题外话,C++和 Java 的引用只是“名称”一样,本质没有什么关系,C++中的引用只是给现存变量起了一个别名(引用变量只是一个符号引用而已,编译器并不会给引用分配新的内存),而 Java 的引用变量则是真正地变量,具有自己的内存空间,只是不同的引用变量可以“指向”同一个对象而已。Java 中的引用其实就是对 C++中指针的封装。
对象创建过程
HotSpot 虚拟机对象头
对象引用的两种实现方式
另一篇比较好的博文:深入理解JVM—JVM内存模型
疑问:主存、工作内存与JVM内存模型有没有关系,如果有那么在其中的哪一块