Java内存模型与关系发生

Question

在下面的执行中，

T1

l1.lock

a.write

l1.unlock

      T2 

      l2.lock 

      a.read 

      l2.unlock

T2中的a能读取用T1编写的新值吗？

我有两个相互矛盾的结论：

1. l1在T1中的解锁将a的新值刷新到主存中，而T2中的l2锁将迫使T2更新缓存，而T2中的a可以获得a的新值。
2. 由于l1和l2是不同的锁，所以在与a在T2的读取之间发生关系之前，在T1中写入a是没有发生的。因此，T2中的一个不能被保护来读取新的值。

我不知道哪一个是正确的。有人能帮我吗？非常感谢!

Answer 1

根据Java语言规范..。

1)监视器上的解锁发生--在上的每个后续锁之前，同一个监视器。

2)线程中的所有操作--在任何其他线程成功地从该线程上的join()返回之前。

很明显，答案是2。如果两个线程之间有连接，那么答案是1。

详情请向JLS查询。