1. 缓存一致性
1.1 CPU缓存一致性协议
协议很多,不同CPU的一致性协议不同。Intel采用MESI协议。
CPU中每个缓存行(caceh line)使用4种状态进行标记(使用额外的两位(bit)表示):
- M: 被修改(Modified)
- E: 独享的(Exclusive)
- S: 共享的(Shared)
- I: 无效的(Invalid)
1.2 一致性实现原理
现代CPU的数据一致性实现 = 缓存锁(MESI协议或其他协议) + 总线锁的方式
读取缓存以缓存行(cache line)为基本单位,目前64bytes
位于同一缓存行的两个不同数据,被两个不同CPU锁定,产生互相影响的伪共享问题
使用缓存行的对齐能够提高效率
1.3 乱序执行
CPU为了提高指令执行效率,会在一条指令执行过程中,去同时执行另一条指令,前提是,两条指令没有依赖关系
1.4 合并写操作
参考文章
https://www.cnblogs.com/liushaodong/p/4777308.html
1.5 如何保证特定情况下不乱序
硬件内存屏障 X86
sfence: store| 在sfence指令前的写操作当必须在sfence指令后的写操作前完成。
lfence:load | 在lfence指令前的读操作当必须在lfence指令后的读操作前完成。
mfence:modify/mix | 在mfence指令前的读写操作当必须在mfence指令后的读写操作前完成。
原子指令,如x86上的”lock …” 指令是一个Full Barrier,执行时会锁住内存子系统来确保执行顺序,甚至跨多个CPU。Software Locks通常使用了内存屏障或原子指令来实现变量可见性和保持程序顺序
JVM级别如何规范(JSR133)
LoadLoad屏障:
对于这样的语句Load1; LoadLoad; Load2,
在Load2及后续读取操作要读取的数据被访问前,保证Load1要读取的数据被读取完毕。
StoreStore屏障:
对于这样的语句Store1; StoreStore; Store2,
在Store2及后续写入操作执行前,保证Store1的写入操作对其它处理器可见。
LoadStore屏障:
对于这样的语句Load1; LoadStore; Store2,
在Store2及后续写入操作被刷出前,保证Load1要读取的数据被读取完毕。
StoreLoad屏障:
对于这样的语句Store1; StoreLoad; Load2,
在Load2及后续所有读取操作执行前,保证Store1的写入对所有处理器可见。
2 vlatile 和 synchronized实现细节
2.1 volatile的实现细节
-
字节码层面
ACC_VOLATILE
-
JVM层面
volatile内存区的读写 都加屏障StoreStoreBarrier
volatile 写操作
StoreLoadBarrierLoadLoadBarrier
volatile 读操作
LoadStoreBarrier -
OS和硬件层面
windows lock 指令实现 | MESI实现
2.2 synchronized实现细节
- 字节码层面
方法增加synchronized : ACC_SYNCHRONIZED
synchronized块:monitorenter monitorexit - JVM层面
C/C++ 调用了操作系统提供的同步机制
- OS和硬件层面
X86 : lock cmpxchg / xxx
3. JAVA内存模型
3.1 普通对象
- 对象头:markword 8
- ClassPointer指针:-XX:+UseCompressedClassPointers 为4字节 不开启为8字节
- 实例数据
引用类型:-XX:+UseCompressedOops 为4字节 不开启为8字节- Padding对齐,8的倍数
3.2 数组对象
- 对象头:markword 8
- ClassPointer指针同上
- 数组长度:4字节
- 数组数据
- Padding对齐,8的倍数
3.3 对象头包括哪些内容
以32位为例
3.4 实验
-
新建项目ObjectSize (1.8)
-
创建文件ObjectSizeAgent
package com.xxx.jvm.agent; import java.lang.instrument.Instrumentation; public class ObjectSizeAgent { private static Instrumentation inst; public static void premain(String agentArgs, Instrumentation _inst) { inst = _inst; } public static long sizeOf(Object o) { return inst.getObjectSize(o); } }
-
src目录下创建META-INF/MANIFEST.MF
Manifest-Version: 1.0 Created-By: mashibing.com Premain-Class: com.xxx.jvm.agent.ObjectSizeAgent
注:Premain-Class这行必须是新的一行(回车 + 换行),确认idea不能有任何错误提示
-
打包jar文件
-
在需要使用该Agent Jar的项目中引入该Jar包
project-> structure -> project settings -> library 添加该jar包 -
运行时需要该Agent Jar的类,加入参数:
-javaagent:C:\work\ijprojects\ObjectSize\out\artifacts\ObjectSize_jar\ObjectSize.jar(ObjectSize.jar的路径)
-
如何使用该类:
package com.xxx.jvm.c3_jmm; import com.xxx.jvm.agent.ObjectSizeAgent; public class T03_SizeOfAnObject { public static void main(String[] args) { System.out.println(ObjectSizeAgent.sizeOf(new Object())); System.out.println(ObjectSizeAgent.sizeOf(new int[] {})); System.out.println(ObjectSizeAgent.sizeOf(new P())); } private static class P { //8 _markword //4 _oop指针 int id; //4 String name; //开启oops 4 不开始oops 8 int age; //4 byte b1; //1 byte b2; //1 Object o; //4 byte b3; //1 } }
3.4 Hotspot开启内存压缩的规则(64位)
- 4G以下,直接砍掉高32位
- 4G - 32G,默认开启内存压缩 ClassPointersOops
- 32G,压缩无效,使用64位
4. 其他
4.1观察虚拟机配置
java -XX:+PrintCommandLineFlags -version