Java java.util.concurrent.locks.Lock 如何保证线程之间的内存同步？

Question

看看这个java代码sn-p：

 Lock l = ReentrantLock();
 l.lock();
 try {
     counter++;
 } finally {
     l.unlock();
 }

这段代码保证在特定时间只有一个线程会执行try块中的代码。

我的问题是：锁定/解锁机制如何保证线程之间的内存可见性？（确保计数器结果将被线程 X 刷新到主内存的机制是什么？ , 并且会被之后的线程 Y 从主内存中加载？）

Answer 1

http://docs.oracle.com/javase/specs/jls/se7/html/jls-17.html#jls-17.4.5

17.4.5。下单前发生

两个动作可以通过happens-before关系排序。如果一个动作发生在另一个动作之前，那么第一个动作对第二个动作可见并在第二个动作之前排序。

...

从上面的定义可以得出：

监视器上的解锁发生在该监视器上的每个后续锁定之前 监视器。

...

在happens-before一致的操作集中，每次读取都会看到一次写入，而happens-before排序允许它看到。

看见暗示是从不同的线程看见。