这个问题困扰我很久,终于解决了,jsr133之后增强了volatile语义,禁止了volatile变量与普通变量之间的重排序,根据volatile的happens-before原则,释放锁的线程在写volatile变量之前的共享变量(非volatile),在获取锁的线程读取同一个共享变量后将立即对获取锁的线程可见。比如下面一段代码
private static Lock lock = new ReentrantLock();
private static int count = 0;
public static void main(String[] args) throws Exception {
for (int i = 0; i < 10000; i++) {
Thread t1 = new Thread(new Runnable() {
@Override
public void run() {
lock.lock();
System.out.println(count);
count = count + 1;
try {
Thread.sleep(1);
} catch (InterruptedException e) {
e.printStackTrace();
}
lock.unlock();
}
});
t1.start();
}
}
打印的结果是线程安全的,不存在跳过的可能。
而重入锁是通过volatile修饰的state实现的,如果一个普通常量是count,那么就相当于有两个变量:
int count;
volatile int state;
那么根据上面的内存语义释放锁的线程在写volatile变量之前的共享变量(非volatile),在获取锁的线程读取同一个共享变量后将立即对获取锁的线程可见可得count会对其他线程可见,所以lock的可见性是aqs的volatile修饰的state带来的。
----------参照《java并发编程的艺术3.5.3节》