Java并发02Java内存模型03-锁和final的内存语义

一.锁释放或获取的内存语义

1. 释放：当线程释放锁时，JMM会把该线程对应的本地内存中的共享变量值刷新到主内存。
2. 获取：当线程获取锁时，JMM会把该线程对应的本地内存置为无效。

得出结论： 锁释放与volatile写内存语义相同，锁获取与volatile读内存语义相同。

二.内存语义的实现

1. 原理

锁分为公平锁和非公平锁，基于AQS，而AQS又基于volatile变量加CAS操作。

1. 对加锁：

对公平锁：先判断是否有之前就等待加锁的线程，有那本线程加锁失败，没有就对state进行CAS操作。
对非公平锁：直接对state进行CAS操作。

2. 对解锁：

公平锁和非公平锁的解锁方式一样，直接set state 就行，都不需要CAS操作。

关于AQS，后续还会展开说，现在就开个头。

2.关于CAS的补充

CAS操作的底层实现的关键是一条汇编指令：cmpxchg 。在多CPU环境下，cmpxchg 指令会加上LOCK前缀，Intel 的手册对LOCK前缀的说明如下：

1. Intel使用缓存锁定确保对内存的读-改-写操作原子执行。
2. 禁止改指令，与之前后之后的读和写指令重排序。
3. 把写缓冲区中的所有数据刷新到内存中。

从第二点和第三点可以看出CAS同时具有volatile读和volatile写的内存语义。

补充：final的内存语义

1. 写final域的重排序规则禁止把final域的写重排序到构造函数之外。这个规则的实现包含下面2个方面：

JMM禁止编译器把final域的写重排序到构造函数之外。
编译器会在final域的写之后，构造函数return之前，插入一个StoreStore屏障。这个屏障禁止处理器把final域的写重排序到构造函数之外。

2. 读final域的重排序规则如下：

在一个线程中，初次读对象引用与初次读该对象包含的final域，JMM禁止处理器重排序这两个操作（注意，这个规则仅仅针对处理器）。编译器会在读final域操作的前面插入一个LoadLoad屏障。

3. 如果final域是引用类型:

在构造函数内对一个final引用的对象的成员域的写入，与随后在构造函数外把这个被构造对象的引用赋值给一个引用变量，这两个操作之间不能重排序。