话说 内存屏障，有序性保证

1、 如何保证不乱序，也就是保证有序性

一、 硬件内存屏障

​ 注意：这是inter X86

1.1 sfence

​ store fence 在sfence指令前面的写操做必须在sfence指令后边的写操做前完成

如图：若是没有sfence ,是不能保证操做1在操做2执行前就执行完的，有了sfence才能保证操做1和操做2的顺序

1.2 lfence

load fence 指令前的读操做必须在lfence指令后边的读操做执行前执行

如图： 若是没有lfence 不能保证读操做1 和 读操做2 的顺序 ，有了lfence就能够保证了

1.3 mfence

mix fence 是集合了sfence和lfence的全部做用于一身,mfence前边的读写操做必须在mfence后边读写操做开始以前完成

如图：mfence能够保证 在执行读操做2和写操做2以前 必须执行完读操做1和写操做1

1.4 其余

除了fence外，还有一些原子指令 ，好比 lock xxx

这些原子指令是一个Full Barrier,执行时会锁住内存子系统来保证执行顺序

甚至跨多个cpu

2.、JVM级别规范

​ 注意：jvm这只是jvm的规范，具体实现要看虚拟机怎么实现

2.1 LoadLoad 屏障

保证读操做的顺序，LoadLoad前边的读操做必须在LoadLoad后边的读操做前完成

如图： LoadLoad能保证 读操做2和者读操做3执行前 必须执行完读操做0 和读操做1

2.2 StoreStore 屏障

对比LoadLoad 保证写操做有序

2.3 LoadStroe 屏障

对比LoadLoad 保证读操做和写操做有序

2.4 StoreLoad 屏障

对比 LoadLoad 保证写操做和读操做有序

三、volatile 实现细节

3.1 字节码层面

这里用到jclasslib 前边文章讲过怎么安装

public class VolatileTest {
    int i;
    volatile int x;
    public static void main(String[] args) {  
    }
}

jclasslib 能够看出来：

i的修饰符是 0x0000[]

x的修饰符是 0x0040[volatile]

很明显，字节码层面就只是给加了volatile的属性加了一个标识

3.2 JVM层面

在写操做 和 读操做先后加了屏障

先后加了屏障，保证了顺序性

volatile类型变量修改以后会当即写回内存 ，也就是从工做内存写回到主内存（JMM知识）

​

3.3 操做系统硬件层面

须要使用hsdis进行反汇编，也就是把class编译成汇编指令。深刻理解Java虚拟机（第三版），448页有个例子，这里就不叙述了， 其实做为了解便可 ，底层也是经过sfence lfence mfence 或者 lock 实现的。

windows x86 是用过lock 实现的

这里须要使用hsdis ，没有太大必要去使用 ，若是有兴趣能够用一下，不是很难，之后有时间写一篇简单应用的文章。

四、synchronize 实现细节

4.1 字节码层面

public class TestSync {
    synchronized  void m(){

    }
    void n(){
        synchronized (this){
            
        }
    }
}

一样使用jclasslib看

能够看出来 方法是用了一个标识符， 代码块使用了monitorenter monitorexit 语句

4.2JVM层面

​ c、c++调用操做系统提供的同步机制

4.3操做系统硬件层面

x86:使用的lock cmpxchg 等 指令

只是做为了解，其实工做中不多能用到，感兴趣的能够根据具体的关键字进行查询

按照字节码、jvm、操做系统硬件层面 这三个层面理解便可

最后写一个面试题你们看看能回答上来吗？

1. 描述一个一个对象的建立过程
2. 对象在内存中的存储布局
3. 对象头具体包含什么
4. 对象是怎么定位的
5. 对象怎么分配的
6. Object o = new Object() 在内存中占用了多少字节

下一篇以这个题为例 写一篇文章

有问题欢迎留言，也可公众号 留言（响应快）：