查看class文件ByteCode的方法:
- javap -v class文件路径:java自带,在命令行中使用!
- JBE - 可以直接修改
- jcalsslib - IDEA插件之一
类加载 - 初始化
加载过程:
-
Loading:加载
类加载器:自底向上检查该类是否已经加载 - parent方向,
自顶向下进行实际查找和加载 - child方向(双亲委派:主要是为了安全)
- BootstrapClassLoader:加载lib/rt.jar charset.jar等核心类,C++实现
- ExtentionClassLoader:加载扩展jar包 jre/lib/ext/*.jar,或由-Djava.ext.dirs指定
- APPClassLoader:加载classpath指定内容
- 自定义classLoader
lazyloading 懒加载,lazyInitializing 懒初始化
JVM规范并没有规定何时加载 但是严格规定了什么时候必须初始化:- new getstatic putstatic invokestatic 指令时,访问final变量除外
- java.lang.reflect 对类进行反射调用时
- 初始化子类得时候,父类首先初始化
- 虚拟机启动时,被执行得主类(main方法的类)必须初始化
- 动态语言支持 java.lang.invoke.MethodHandle 解析得结果为 REF_getstatic REF_putstatic REF_invokestatic 的方法句柄时,该类必须初始化
-
Linking:连接
- Verification:验证文件是否符合JVM规定
- Preparation:静态成员变量赋默认值
- Resolution:将类、方法、属性等符号引用解析为直接引用常量池中的各种符号引用解析为指针、偏移量等内存地址的直接引用
-
Initializing:初始化调用类初始化代码 ,给静态成员变量赋初始值
JMM(Java memory model) Java内存模型
存储器的层次结构
硬件层数据一致性
现代CPU的数据一致性实现 = 缓存锁(MESI…协议) + 总线锁
一致性协议
intel 用 MESI:
- M(Modified) :CPU更改
- E(Exclusive) :CPU独享
- S(Shared) :多个CPU共享
- I(Invalid) :其他CPU修改过
伪共享
读取缓存以cache line(缓存行)为基本单位,目前是64bytes
位于同一缓存行的两个不同数据,被两个不同CPU锁定,产生互相影响的伪共享问题。
使用缓存行的对齐能够提高效率
乱序执行
CPU为了提供指令执行效率,会在一条指令 执行过程中(比如去内存读取数据(比CPU慢100倍)),去同时执行另一条指令,前提是,两条指令没有依赖关系!
如何保证特定情况下不乱序
硬件层级保障有序性
sfence :store | 在sfence指令前的写操作当必须在sfence指令后的写操作前完成。
lfence :load | 在lfence指令前的读操作当必须在lfence指令后的读操作前完成。
mfence:memory | 在mfence指令前的读写操作当必须在mfence指令后的读写操作前完成。
原子指令,如x86上的”lock …” 指令是一个Full Barrier,执行时会锁住内存子系统来确保执行顺序,甚至跨多个CPU。Software Locks通常使用了内存屏障或原子指令来实现变量可见性和保持程序顺序
JVM级别如何规范
LoadLoad屏障:
对于这样的语句Load1; LoadLoad; Load2,在Load2及后续读取操作要读取的数据被访问前,保证Load1要读取的数据被读取完毕。StoreStore屏障:
对于这样的语句Store1; StoreStore; Store2,在Store2及后续写入操作执行前,保证Store1的写入操作对其它处理器可见。LoadStore屏障:
对于这样的语句Load1; LoadStore; Store2,在Store2及后续写入操作被刷出前,保证Load1要读取的数据被读取完毕。StoreLoad屏障:
对于这样的语句Store1; StoreLoad; Load2,在Load2及后续所有读取操作执行前,保证Store1的写入对所有处理器可见。
volatile的实现细节
-
字节码层面:
ACC_VOLATILE(0x40) 修饰变量 -
JVM层面:
在 volatile 内存区的读写操作前后添加屏障StoreStoreBarrier
volatile 写操作
StoreLoadBarrierLoadLoadBarrier
volatile 读操作
LoadStoreBarrier -
OS和硬件层面
windows: lock 指令实现 | MESI实现
synchronized实现细节
- 字节码层面
ACC_SYNCHRONIZED
monitorenter monitorexit - JVM层面
C C++ 调用了操作系统提供的同步机制 - OS和硬件层面
X86 : lock cmpxchg / xxx