JVM结构:
对象头:
运行整体结构:类加载之后进入方法区
(1)保存被加载类型的信息,包括类型信息(Type Information)和方法列表(Method Tables)。
(2)所有线程共享,所以访问方法区信息的方法必须是线程安全的。
(3)在JVM启动的时候创建。
(4)存储了每个类的结构信息,例如运行时常量池(Runtime Constant Pool)、字段和方法数据、构造函数和普通方法的字节码内容、还包括一些在类、实例、接口初始化时用到的特殊方法
作者:lunabird
链接:https://www.jianshu.com/p/80910991b996
- 方法区中的静态变量如果是对象,那么他放的是指向堆中的对象的地址。
线程底层结构:
1、方法区(元空间):
1.1、静态变量+常量+类信息(构造函数和接口定义)+运行时常量池=Non-Heap(非堆)
1.2、堆内的实例对象根据方法区内的class文件创建,虚拟机栈的引用对象根据堆中的实例对象创建
2、堆
新生代(1/3):Eden 4/5 survivor 1/5 (from和to平分)
minorGC(处理游离态对象)survivor区用的复制算法
老年代(2/3):fullGC
GC:
可达性分析法:引用链中不能与根节点相连即可以被回收
- (GC Roots)根节点:虚拟机栈的局部变量表、方法区中静态属性引用的对象、方法区中常量引用的对象、本地方法引用的对象、类加载器、Thread。
jvm线程内存模型:
线程内存数据原子操作列表:
线程内存操作(具体):
卡死:
加volatile:
- 总线加锁(性能差):一个线程cpu从主内存读取数据到高速缓存,这时总线会在这个数据上加锁,这样,其他线程cpu就没办法进行数据读写,直到这个线程完成数据操作,释放锁。
- MESI缓存一致性协议:cpu总线嗅探机制--当其他线程修改了主内存中的变量值,然后就会监听到这个变化,并使得自己线程内的这个变量的值失效,然后从主内存中重新读取。
- 在assign汇编指令前加入lock指令:lock指令会直接执行后续的store和write操作;然后触发MESI缓存一致性协议。
- volatile可以保证可见性和有序性,原子性要靠sychronized的锁机制
并发编程三大特性:可见性、原子性、有序性
原子性:加volatile不能保证原子性