JVM面向对象学习

JVM 面向面试学习
一、JVM 内存区域划分

实际上JVM 实现不一定真的分成这两个栈（图中红线圈出的两个）（局部变量存在栈上，方法之间的调用关系也是保存在栈上）
比如说：new 底下对象， .class 加载到方法区中。
被同一个进程中的多个线程间共享。

比较常见的问题：
1.如何理解基础数据类型和引用数据类型。
基础数据类型就是直接保存了值。引用类型内部存储的是一个地址（整数），这个地址有事对应到堆上的一块内存。
基础类型的访问：报名的时候直接找到了班主任。直接报名即可。
引用类型的访问：报名的时候先找到了其他老师，这个老师再帮你要了班主任的微信。你得再加班主任来报名。

2.引用和对象如何理解。
对象 new 好了之后，是在对上开辟了一个内存。
引用保存了这个堆上内存的地址。（引用不一定是在栈上，得看是不是局部变量）
比如说：每个人的手机号/微信号，这就相当于每个人的“地址”，每个人本身就是对象本体。
另外的人拿着小本本把你的手机号/微信号写到了本子上了。此时这个本子就是引用。

3.局部变量/成员变量/静态变量 如何理解。
变量的形态。
局部变量：栈上
非静态变量：堆上
静态成员变量：方法区

4.递归方法的执行过程：为什么同一个变量名的变量会在递归过程中同时具备多个不同的值呢？
每次方法调用都会创建一个栈帧，每个栈帧中保存了该次方法调用中涉及到的局部变量。
“所谓的名字相同”其实这样的变量不是同一个变量，而是在不同的栈帧中。

5.static 方法和普通方法的区别：static 方法中没有this。

二、GC 机制（垃圾回收机制 GC）
1. GC 是干什么的？
在 C/C++ 中是没有 GC 的，对于内存管理，就比较麻烦，需要手动在合适的时机进行释放。
就拿车来举个例子：没有GC 就像开手动挡车一样（没有GC，谁申请谁释放）。有GC 就像开自动挡的车（有GC，申请了内存就可以不管了，会有专门的人负责善后）。
有了GC 会方便很多~~
C/C++ 一旦申请了内存没有释放，就会导致“内存泄漏”（这是非常严重的问题）有了GC 就可以很大程度上的规避内存泄漏问题。（只能说是很大程度规避，并不能说完全）

C/C++ 为什么不使用 GC ：是因为C/C++追求极致的性能。
GC 虽然比较好，但是也引入了额外的成本~~
（1）资源上付出的成本（CPU,内存…）支持垃圾回收机制能进行工作。
（2）GC 对于内存的回收即时性没那么高。（内存紧张的时候，更容易体现出问题）
（3）GC 中存在一个致命问题：STW问题（stop the world）
STW：当GC 工作的时候，正常的业务代码可能无法执行，必须要等到GC工作完毕之后，才能接着跑。我们可以想象：对服务器来说，一旦服务器触发GC，就可能导致正常代码无法执行（卡顿），卡顿过程中就会造成请求的积压。直接造成用户体验的影响。
通过整体来看，利大于弊（不然那早都被淘汰了）。一般情况下，程序猿的开发效率比程序的运行效率更为重要。虽然GC 付出了一些开销，像Java/Python/Go…这些语言经过多年发展和打磨，优化已经非常好了。整体的效率还是很高的。
（Rust这个语言听说既能避免内存泄漏，又能避免运行时的额外开销。是没有GC的一种语言，这里他引入了一个重要的概念：所有权。某个对象的所有权默认只能被一个引用所拥有。至于没有大火的原因，我想应该是新手入手太难，语法比较不一样吧。有兴趣的小伙伴可以去了解了解。）

2.GC要回收哪些内存？
（1）PC程序计数器/栈 都不需要GC 回收。释放时间很明确，跟随线程的。
（2）常量池/方法区：GC 不太需要关心。占用的空间比较小，数据也很少会失去作用。进行GC，回收内存的性价比不高。（比如说：你有一个小房间，房间本身也很干净，再使劲扫也扫不出多少灰。）
（3）堆：GC 主要回收的区域（重点任务）
堆的内存区域很大，申请又很频繁（new 了对象就会申请）更需要重点关注堆内存的回收。
3.堆上的内存分布。

我们将堆比作是一个餐厅的餐桌区，
黄色：客人正在吃饭（内存还没有用完，不能回收）
蓝色：客人吃完了，但桌子没收拾（GC回收的就是不再使用的内存）。
绿色：桌子是空着的（已经是被回收的状态）。

整个队的内存都是源自于 操作系统。
JVM 一启动，就立刻回从操作系统申请一大块内存，再给整个内存分配一些区域。（好比是 开餐馆，先盘店面，再装修，把店面分割成：后厨，用餐区，前台…）
也是会出现极端情况：两伙客人拼，其中一伙人吃完饭走了，另一伙还在吃，这种情况暂时先不回收，等客人都吃完了，再一起回收。

所谓的“回收内存” =》“回收对象”。GC工作的本质其实就在回收对象。以对象为基本单位（更加简单方便，如果以 字节，内存块为单位，就比较麻烦），把不需要使用的对象找出来，回收掉即可，回收对象就会释放内存。

4.如何回收对象
（1）标记：找出，哪个对象是垃圾
（2）回收：把垃圾对象释放掉。

5.如何标记垃圾
（1）引用计数【Python，PHP】是一种机制。
A a1 = new A（）；
A a2 = a1；
a1 和 a2 都指向 A（）对象
当前有一个引用指向A（）对象
有几个引用指向该对象，该对象的引用计数就是几。
有新的引用指向了该对象，引用计数就 +1
如果现有的引用消亡了（例如如果这个引用是个局部变量，并且出了自己的作用域），引用计数就 -1
当引用计数为 0 的时候，说明该对象已经没有引用，此时这个对象就可以被认为是垃圾！就可以被回收了。
引用计数虽然好用，但是有一个缺点，“循环使用” 问题，引起误判。
例：
A a1 = new A（）；
A a2 = new A（）；
a1.ref = a2;
a2.ref = a1;
此时循环引用出现了，
随着 a1 和 a2 这俩局部变量出了作用域范围之后，问题出现了。
a1 和 a2 就没了。
于是两个对象的引用计数，又分别 -1
此时俩对象的引用计数都是 1（不能够被释放）
但是另一方面，这俩对象又无法通过其他途径被找到。也就无法正常使用（按常理是要被回收）
所以引用计数本身是无法应对循环引用的问题的。需要引入额外的开销来解决。

其实所谓“循环引用”可以理解成人类的“私奔”问题。可以把引用理解成“人与人之间的关系”
梁山伯与祝英台各自在各自家族中被很多人认识（这俩对象被很多引用持有者）
后面他们决定私奔（双双变成蝴蝶）这个时候家族中的人想要联系他们，发现电话打不通。
这样与世隔绝的区域，在内存中是否理应存在呢。答案当然是 不应该存在。

（2）可达性分析（Java）

可达性分析：就是从 GC root 开始进行遍历看看那些对象是能够被访问到的。剩下都是垃圾。
root.right = null
本开root.right 指向是C这个节点，吧root.right改成null，c这个节点就不可达了（c就被标记成垃圾）。f只能被c引用到，此时f也成了垃圾。
所谓的GCRoot 是进行可达性分析的起点。就是由代码中能看到的这些局部变量、静态引用、常量池引用这些。通过这些引用可能会进一步的联系出一大串对象。

可达性分析中有一句潜台词：
引用能够决定对象是不是垃圾 ，引用的初心，只是为了能找到这个对象而已，而不应该去决定对象的生死！
java为了解决这问题，引入了很多种引用：
强引用；软引用；弱引用；虚引用。

方法区也需要标记垃圾：
尤其是现在很多框架大量使用到反射。方法区中会被加载很多很多类。
采取的规则和刚才的可达性分析/引用计数都不太一样
方法区回收的是类对象（类的卸载）=》和类的加载对应。
卸载条件：
（1）该类的所有实例都已经报备回收了。
（2）加载该类的类加载器也已经被回收了。
（3）该类的类对象没有在任何地方使用（其他的代码也没有再通过反射来使用这个类对象）

6.回收
当对象已经确认是垃圾了，然后该如何释放
（1）标记 - 清除
把这俩区域清除之后,内存就可以后续被继续分配了.
问题:产生了内存碎片~
被释放的内存和内存之间,很可能是不连续的.万一后面需要分配一个大的连续空间(new byte[1G])所有的零散空间加一块可能比1G要大,由于数组要求得是连续的内存空间.就无法进行刚才的分配内存操作.
（2）标记 - 复制（能够解决内存碎片问题）
如果直接把要回收的区域清除,就会导致内存碎片.
直接把剩余的有用的对象搬运到内存的另外一边，再把刚才的区域统一都释放掉.有用的对象被保留了，没用的对象被释放了.内存碎片没有～~
缺陷:
如果要保留的对象比较少,问题不大;如果要保留的对象很多，复制开销就比较大了.
你的内存得有足够的空间(一分为二)，空间不够，也无法施展复制操作.
（3）标记 - 整理
a)没有内存碎片
b)空间不是很充裕的时候也能进行回收
类似于顺序表删除中间元素～~“搬运”
缺陷:
效率比较低.

以上这三种方式:
标记清除；标记复制；标记整理
没有谁优谁劣，互有胜负.
实际上在进行垃圾回收的时候，会根据不同的场景来分别使用不同的垃圾回收算法.
垃圾分类～~
真实的垃圾回收器不是仅仅使用单一的回收算法，会根据不同的情况来进行综合运用.

垃圾如何分类?(分代回收)
对象的年龄.(单位不是时间)
而是看这个对象能躲过垃圾回收器标记为垃圾的轮次
按照对象的年龄，把对象分成了两代.
新生代(年龄比较小的)
老年代(年龄比较大的)
垃圾回收器会创建一些线程,一直对程序中的对象进行标记.
周期性的～(标记的过程就是上面说过的“可达性分析")
某个对象在遍历之后是否被标记为垃圾,得取决于代码的具体逻辑.
有的对象可能在代码中用完就丢了(很常见的)
接下来下一轮可达性分析，立刻就发现这个对象.
有的对象可能在代码中用的就比较持久.
接下来好几轮可达性分析,都会认为这个对象还挺有用,就会保留下来.
如果一轮可达性分析下来,对象是有用的，就年龄＋1
如果一轮可达性分析下来,对象是没用的,就直接标记成垃圾准备回收.
一轮扫描下来往往大部分的对象都是垃圾,只有少数会留下来.
大部分对象是"朝生夕死”.经验规律.