JAVA内存模型-JMM

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的实现细节

1. 字节码层面

   ACC_VOLATILE

2. JVM层面
   volatile内存区的读写 都加屏障

   StoreStoreBarrier
   volatile 写操作
   StoreLoadBarrier

   LoadLoadBarrier
   volatile 读操作
   LoadStoreBarrier

3. OS和硬件层面
   windows lock 指令实现 | MESI实现

2.2 synchronized实现细节

1. 字节码层面

   方法增加synchronized : ACC_SYNCHRONIZED
   synchronized块：monitorenter monitorexit

2. JVM层面

   C/C++ 调用了操作系统提供的同步机制

3. OS和硬件层面

   X86 : lock cmpxchg / xxx

3. JAVA内存模型

3.1 普通对象

1. 对象头：markword 8
2. ClassPointer指针：-XX:+UseCompressedClassPointers 为4字节 不开启为8字节
3. 实例数据
   引用类型：-XX:+UseCompressedOops 为4字节 不开启为8字节
4. Padding对齐，8的倍数

3.2 数组对象

1. 对象头：markword 8
2. ClassPointer指针同上
3. 数组长度：4字节
4. 数组数据
5. Padding对齐，8的倍数

3.3 对象头包括哪些内容

以32位为例

3.4 实验

1. 新建项目ObjectSize （1.8）

2. 创建文件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);
       }
   }
   

3. src目录下创建META-INF/MANIFEST.MF

   Manifest-Version: 1.0
   Created-By: mashibing.com
   Premain-Class: com.xxx.jvm.agent.ObjectSizeAgent
   

   注：Premain-Class这行必须是新的一行（回车 + 换行），确认idea不能有任何错误提示

4. 打包jar文件

5. 在需要使用该Agent Jar的项目中引入该Jar包
   project-> structure -> project settings -> library 添加该jar包

6. 运行时需要该Agent Jar的类，加入参数：

   -javaagent:C:\work\ijprojects\ObjectSize\out\artifacts\ObjectSize_jar\ObjectSize.jar(ObjectSize.jar的路径)
   

7. 如何使用该类：

      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位）

1. 4G以下，直接砍掉高32位
2. 4G - 32G，默认开启内存压缩 ClassPointersOops
3. 32G，压缩无效，使用64位

4. 其他

4.1观察虚拟机配置

java -XX:+PrintCommandLineFlags -version