JVM学习
常见面试问题
-
请你谈谈你对JVM的理解?java8虚拟机和之前的变化更新?
-
什么是OOM,什么事栈溢出StackOverFlowError?怎么分析
-
JVM的常用调优参数有哪些?
-
内存快照如何抓取,怎么分析Dump文件?
-
谈谈JVM中,类加载器你的认识?
1、JVM的位置
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-RrCyJFGc-1599793040695)(/Users/mac/Desktop/截屏2020-08-20 下午12.14.12.png)]
2、JVM的体系结构
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-dRZaTgRk-1599793040698)(/Users/mac/Downloads/未命名文件.png)]
栈、本地方法栈、程序计数器不会有垃圾
JVM调优99%都是在调方法区和堆,基本上都是在调堆
3、类加载器
作用:加载Class文件
- 虚拟机自带的加载器
- 启动类(根)加载器
- 扩展类加载器
- 应用程序加载器
4、双亲委派机制
-
类加载器收到类加载的请求
-
将这个请求向上委托给父类加载器区完成,一直向上委托,直到启动类加载器Boot
-
启动加载器检查是否能够加载当前这个类,能加载就结束,使用当前的加载器,否则,抛出异常,通知子加载器进行加载
-
重复第3步
5、沙箱安全机制 *
Java安全模型的核心就是Java沙箱(sandbox) ,
什么是沙箱?沙箱是一个限制程序运行的环境。沙箱机制就是将Java代码限定在虚拟机(JVM)特定的运行范围中,并且严格限制代码对本地系统资源访问,通过这样的措施来保证对代码的有效隔离,防止对本地系统造成破坏。
沙箱主要限制系统资源访问,那系统资源包括什么? CPU、内存、文件系统、网络。不同级别的沙箱对这些资源访问的限制也可以不一样。
所有的Java程序运行都可以指定沙箱,可以定制安全策略。
在Java中将执行程序分成本地代码和远程代码两种,本地代码默认视为可信任的,而远程代码则被看作是不受信的。对于授信的本地代码,可以访问一切本地资源。而对于非授信的远程代码在早期的Java实现中,安全依赖于沙箱Sandbox)机制。如下图所示JDK1.0安全模型
图 JDK1.0安全模型
但如此严格的安全机制也给程序的功能扩展带来障碍,比如当用户希望远程代码访问本地系统的文件时候,就无法实现。因此在后续的Java1.1版本中,针对安全机制做了改进,增加了安全策略,允许用户指定代码对本地资源的访问权限。如下图所示JDK1.1安全模型
图 JDK1.1安全模型
在Java1.2版本中,再次改进了安全机制,增加了代码签名。不论本地代码或是远程代码,都会按照用户的安全策略设定,由类加载器加载到虚拟机中权限不同的运行空间,来实现差异化的代码执行权限控制。如下图所示
图 JDK1.2安全模型
当前最新的安全机制实现,则引入了域(Domain)的概念。虚拟机会把所有代码加载到不同的系统域和应用域,系统域部分专门负责与关键资源进行交互,而各个应用域部分则通过系统域的部分代理来对各种需要的资源进行访问。虚拟机中不同的受保护域(Protected Domain),对应不一样的权限(Permission)。存在于不同域中的类文件就具有了当前域的全部权限,如下图所示最新的安全模型(jdk 1.6)
图 JDK1.6安全模型
组成沙箱的基本组件
●字节码校验器(bytecode verifier) :确保Java类文件遵循Java语言规范。这样可以帮助Java程序实现内存保护。但并不是所有的类文件都会经过字节码校验,比如核心类。
●类裝载器(class loader) :其中类装载器在3个方面对Java沙箱起作用
它防止恶意代码去干涉善意的代码;
它守护了被信任的类库边界;
它将代码归入保护域,确定了代码可以进行哪些操作。
虚拟机为不同的类加载器载入的类提供不同的命名空间,命名空间由一系列唯一的名称组成, 每一个被装载的类将有一个名字,这个命名空间是由Java虚拟机为每一个类装载器维护的,它们互相之间甚至不可见。
类装载器采用的机制是双亲委派模式。
1.从最内层JVM自带类加载器开始加载,外层恶意同名类得不到加载从而无法使用;
2.由于严格通过包来区分了访问域,外层恶意的类通过内置代码也无法获得权限访问到内层类,破坏代码就自然无法生效。
●存取控制器(access controller) :存取控制器可以控制核心API对操作系统的存取权限,而这个控制的策略设定,可以由用户指定。
●安全管理器(security manager) : 是核心API和操作系统之间的主要接口。实现权限控制,比存取控制器优先级高。
●安全软件包(security package) : java.security下的类和扩展包下的类,允许用户为自己的应用增加新的安全特性,包括:
安全提供者
消息摘要
数字签名
加密
鉴别
6、Native
-
native :凡是带了native关键字的,说明java的作用范围达不到了,回去调用底层c语言的库!
-
会进入本地方法栈
-
调用本地方法本地接口 JNI (Java Native Interface)
-
JNI作用:开拓Java的使用,融合不同的编程语言为Java所用!最初: C、C++
-
Java诞生的时候C、C++横行,想要立足,必须要有调用C、C++的程序
-
它在内存区域中专门开辟了一块标记区域: Native Method Stack,登记native方法
-
在最终执行的时候,加载本地方法库中的方法通过JNI
-
例如:Java程序驱动打印机,管理系统,掌握即可,在企业级应用比较少
-
private native void start0();
-
//调用其他接口:Socket. . WebService~. .http~
7、PC寄存器
程序计数器: Program Counter Register
每个线程都有一个程序计数器,是线程私有的,就是一个指针, 指向方法区中的方法字节码(用来存储指向像一条指令的地址, 也即将要执行的指令代码),在执行引擎读取下一条指令, 是一个非常小的内存空间,几乎可以忽略不计
8、方法区
方法区是被所有线程共享,所有字段和方法字节码,以及一些特殊方法,如构造函数,接口代码也在此定义,简单说,所有定义的方法的信息都保存在该区域,此区域属于共享区间;
静态变量、常量、类信息(构造方法、接口定义)、运行时的常量池存在方法区中,但是实例变量存在堆内存中,和方法区无关
Static, final,Class,常量池
9、栈
栈:先进后出,后进先出
队列:先进先出
栈:栈内存,主管程序的运行,生命周期和线程同步;
线程结束,栈内存也就是释放,对于栈来说,不存在垃圾回收问题
栈里面会放什么:8种基本类型、对象引用、实例方法
10、三种JVM
●Sun公司HotSpot Java Hotspot™ 64-Bit Server VM (build 25.181-b13,mixed mode)
●BEA JRockit
●IBM J9VM
我们学习的事Hotspot
11、堆
Heap,一个JVM只有一个堆,堆内存的大小是可以调节的。
类加载器读取了类文件后,一般会把类、方法、常量、变量放到堆中
堆内存中的三个区域
- 新生区
- 伊甸园
- 幸存区0
- 幸存区1
- …
- 养老区
- 永久区
GC垃圾回收主要是在伊甸园区和养老区
假设内存满了,OOM,堆内存不够! java.lang.OutOfMemoryError:Java heap space
永久存储区里存放的都是Java自带的 例如lang包中的类 如果不存在这些,Java就跑不起来了
在JDK8以后,永久存储区改了个名字(元空间)
新生区
- 类:诞生、成长和死亡的地方
- 伊甸园,所有的对象都是在伊甸园new出来的
- 幸存区(0,1)
伊甸园满了就触发轻GC,经过轻GC存活下来的就到了幸存者区,幸存者区满之后意味着新生区也满了,则触发重GC,经过重GC之后存活下来的就到了养老区。
真理:经过研究,99%的对象都是临时对象!|
永久区
这个区域常驻内存的。用来存放JDK自身携带的Class对象。Interface元数据,存储的是Java运行时的一些环境~ 这个区域不存在垃圾回收,关闭虚拟机就会释放内存
-
jdk1.6之前 :永久代,常量池是在方法区;
-
jdk1.7 :永久代,但是慢慢的退化了,去永久代,常量池在堆中
-
jdk1.8之后 :无永久代,常量池在元空间
元空间:逻辑上存在,物理上不存在 (因为存储在本地磁盘内) 所以最后并不算在JVM虚拟机内存中
堆内存调优
测试代码
@Test
public void test02(){
long max = Runtime.getRuntime().maxMemory();
long total = Runtime.getRuntime().totalMemory();
System.out.println("max=" + max+"字节" + (max/(double)1024/1024) + "MB");
System.out.println("total=" + total+"字节"+(total/(double)1024/1024) + "MB");
}
通过Runtime.getRuntime.maxMemory();可以查看最大内存是多少
通过Runtime.getRuntime().totalMemory();可以查看总内存是多少
通过-Xms1m -Xmx1m -XX:+PrintGCDetails
来调节分配的堆内存大小
在一个项目中,突然出现了OOM故障,那么该如何排除 研究为什么出错~
●能够看到代码第几行出错:内存快照分析工具,MAT, Jprofiler
●Dubug, 一行行分析代码!
MAT, Jprofiler作用
●分析Dump内存文件,快速定位内存泄露;
●获得堆中的数据
●获得大的对象~
Jprofile使用
1.在idea中下载jprofile插件
2.联网下载jprofile客户端
3.在idea中VM参数中写参数 -Xms1m -Xmx8m -XX: +HeapDumpOnOutOfMemoryError
4.运行程序后在jprofile客户端中打开找到错误 告诉哪个位置报错
命令参数详解
// -Xms设置初始化内存分配大小/164
// -Xmx设置最大分配内存,默以1/4
// -XX: +PrintGCDetails // 打印GC垃圾回收信息
// -XX: +HeapDumpOnOutOfMemoryError //oom DUMP
GC
JVM在进行GC时,并不是对这三个区域统一回收。 大部分时候,回收都是新生代~
●新生代
●幸存区(form,to)
●老年区
GC两种类:轻GC (普通的GC), 重GC (全局GC)
GC常见面试题目:
●JVM的内存模型和分区~详细到每个区放什么?
GC常见面试题
●堆里面的分区有哪些?
Eden, form, to, 老年区,说说他们的特点!
●GC的算法有哪些?
标记清除法,标记整理,复制算法,引用计数器
●轻GC和重GC分别在什么时候发生?
GC算法
引用计数器
复制算法
-
好处:没有内存的碎片~
-
坏处:浪费了内存空间~ :多了一半空间永远是空to。假设对象100%存活(极端情况)
复制算法最佳使用场景:对象存活度较低的时候;新生区~
标记清除法
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-l6JOkUq9-1599793040706)(/Users/mac/Library/Application Support/typora-user-images/image-20200820213028938.png)]
优点:不需要额外的空间!
缺点:两次扫描严重浪费时间,会产生内存碎片
标记压缩
对标记清除进行优化
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-ZOZVNgGK-1599793040706)(/Users/mac/Library/Application Support/typora-user-images/image-20200820213438176.png)]
优点:防止内存碎片产生
缺点:需要再次扫描,而且增加了移动成本
再优化:先标记清除5次,再进行压缩
总结
内存效率:复制算法 > 标记清除算法 > 标记压缩算法 > (时间复杂度)
内存整齐度:复制算法 = 标记压缩算法 > 标记清除算法
内存利用率:标记压缩算法 = 标记清除算法 > 复制算法
思考:有没有最优的算法
答案:没有,没有最好的算法,只有最合适的算法—> GC:分代收集算法
年轻代:
- 存活率低
- 复制算法
老年代:
- 区域大:存活率高
- 标记清除+标记压缩 混合实现
JMM
-
什么是JMM?
Java Memory Model(Java内存模型)
-
作用:缓存一致性协议,用于定义数据读写的规则
JMM定义了线程和主内存之间的抽象关系:线程之间的共享变量存储在主内存(Main Memory)中,每个线程都有一个私有的本地内存(Local Memory)
解决共享对象可见性:volatile
-
如何学习
JMM是一个抽象的概念
JMM对这八种指令的使用,制定了如下规则:
-
不允许read和load、store和write操作之一单独出现。即使用了read必须load,使用了store必须write
-
不允许线程丢弃他最近的assign操作,即工作变量的数据改变了之后,必须告知主存
-
不允许一个线程将没有assign的数据从工作内存同步回主内存
-
一个新的变量必须在主内存中诞生,不允许工作内存直接使用一个未被初始化的变量。就是怼变量实施use、store操作之前,必须经过assign和load操作
-
一个变量同一时间只有一个线程能对其进行lock。多次lock后,必须执行相同次数的unlock才能解锁
-
如果对一个变量进行lock操作,会清空所有工作内存中此变量的值,在执行引擎使用这个变量前,必须重新load或assign操作初始化变量的值
-
如果一个变量没有被lock,就不能对其进行unlock操作。也不能unlock一个被其他线程锁住的变量
-
对一个变量进行unlock操作之前,必须把此变量同步回主内存
JMM对这八种操作规则和对volatile的一些特殊规则就能确定哪里操作是线程安全,哪些操作是线程不安全的了。但是这些规则实在复杂,很难在实践中直接分析。所以一般我们也不会通过上述规则进行分析。更多的时候,使用java的happen-before规则来进行分析。