java并发编程学习(六)锁的内存语义和java线程间的通信方式

1. synchronized的并发编程中特性

 synchronized在并发编程中,保证程序互斥执行，并能够保证临界区的代码具有原子性，并且修改的共享变量在锁释放后，对其他线程是可见的,这个依赖于锁释放，锁获取建立的 happens-before原则

    锁的释放-获取建立的happen-before关系

class MonitorExample{
	private int a = 0;
	public synchronized void writer(){//1
		a++;//2
	}//3
	public synchronized void reader(){//4
		int i = a;//5
	}//6
}

假设线程A执行writer()方法，随后线程B执行reader()方法。根据happens-before原则

1>根据程序次序规则，1 happens-before 2,2 happens-before 3; 4 happens-before 5,5 happens-before 6

2>根据监视器锁规则，3 happens-before 4（锁的释放 happens-before 锁的获取）

表示如下：

结果就是：当线程A释放锁后被线程B获取后，线程A执行临界区的结果对线程B执行临界区时候可见

    锁的释放和获取的内存语义

1. 当线程释放锁时，JMM会把线程对应的本地内存中的共享变量刷新到主内存中

2. 当线程获取锁时，JMM会把线程对应的本地内存置为无效，从而使被监视器保护的临界区代码只能从主内存中取值。

这样看来，volatile的读/写和锁的获取/释放具有相同的内存语义

      concurrent包的实现

由于java的CAS同时具有volatile的读和volatile写的内存语义，因此java线程之间的通信有下面四种方式:

1>  A线程写volatile变量，随后B线程读这个volatile变量

2>  A线程写volatile变量，随后B线程用CAS的方式更新这个volatile变量

3>  A线程用CAS更新一个volatile变量，随后B线程CAS更新这个volatile变量

4>  A线程用CAS更新一个volatile变量，随后B线程读这个volatile变量

concurrent包通用的实现方式:

首先，声明共享变量为volatile变量

然后，使用CAS的原子条件更新来实现线程之间的同步

同时，配合以volatile读/写和CAS所具有的volatile读和写的内存语义实现线程间通信

AQS,非阻塞数据结构和原子变量类(java.util.concurrent.atomic包中的类)，这些concurrent包中的基础类都是使用这个模式来实现的，而concurrent中的高层类又是依赖这些类实现