《Java 并发编程实战》读书笔记之二：图文讲述同步的另一个重要功能：内存可见性

转载请注明出处：http://blog.csdn.net/ns_code/article/details/17288243

     加锁（synchronized同步）的功能不仅仅局限于互斥行为，同时还存在另外一个重要的方面：内存可见性。我们不仅希望防止某个线程正在使用对象状态而另一个线程在同时修改该状态，而且还希望确保当一个线程修改了对象状态后，其他线程能够看到该变化。而线程的同步恰恰也能够实现这一点。

     内置锁可以用于确保某个线程以一种可预测的方式来查看另一个线程的执行结果。为了确保所有的线程都能看到共享变量的最新值，可以在所有执行读操作或写操作的线程上加上同一把锁。下图示例了同步的可见性保证。

     当线程B执行由锁保护的同步代码块时，可以看到线程A之前在同一个锁保护的同步代码块中的所有操作结果。亦即x在线程A的同步代码块中被赋值为1，在线程A退出同步代码块后，当线程B进入同步代码时，它能看到x的值所发生的变化，在线程B中i所得到的值为1，由于在线程A中，“y=1”不在同步代码块中，不能保证线程B能看到y的变化，因此j所得到的的值不一定为1，有可能是y之前的值。

     现在考虑如下代码：

public class  MutableInteger
{
	private int value;

	public int get(){
		return value;
	}
	public void set(int value){
		this.value = value;
	}
}

     以上代码中，get和set方法都在没有同步的情况下访问value。如果value被多个线程共享，假如某个线程调用了set，那么另一个正在调用get的线程可能会看到更新后的value值，也可能看不到。

     通过对set和get方法进行同步，可以使MutableInteger成为一个线程安全的类，如下：

public class  SynchronizedInteger
{
	private int value;

	public synchronized int get(){
		return value;
	}
	public synchronized void set(int value){
		this.value = value;
	}
}

     对set和get方法进行了同步，加上了同一把对象锁，这样get方法可以看到set方法中value值的变化，从而每次通过get方法取得的value的值都是最新的value值。