并发java

Question

static ConcurrentHashMap k;

X x; 
//line 3: 
synchronized(k){ x = k.get("LL");}

// line 5 

// line 12: 
synchronized(k){if(x.b){x.b = false;}} 

“k”是一个共享映射。第一个线程通过第三行，第二个线程通过第三行，当线程1在第5行时，线程1将x.b修改为false，线程2看到什么？第5行旨在显示线程2在线程1进入第二个同步块之前获得它的x

Answer 1

您过度指定了术语“第一线程”和“第二线程”；您的问题假设进入第一个synchronized块的第一个线程也将是进入第二个synchronized块的第一个线程，但实际上没有理由期望这一点。

但是，第一个synchronized块并没有做任何非常相关或有趣的事情--代码片段中没有任何东西会改变k，而第一个synchronized块只是访问它--所以我将忽略它是synchronized这一事实。这将稍微简化定义:现在“第一线程”表示进入第二个synchronized块的第一线程，“第二个线程”表示进入第二个synchronized块的第二个线程。(到目前为止还好吗？)这就是定义的问题。。。

假设没有其他线程进入并将x.b设置为true的可能性-或者，就这一点而言，第一个线程在您引用的代码片段之后这样做-类似地，由于在其他地方发生的事情，两个线程不可能得到完全不同的k.get("LL")结果-那么第二个线程将把x.b视为false，就像人们天真地期望的那样。这是因为

如果一个动作发生了-在另一个动作之前，那么第一个动作对第二个动作是可见的，并且排序在第二个动作之前。

和

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

(上面的两句话都来自§17.5.5 of , Java SE 7 Edition；有关更多形式的信息，请参阅该小节及其前面的小节。)

Answer 2

解释不是很清楚，但这是我所理解的。

由于线程1在第5行(已经通过第3行)，并且还没有命中第12行(并且您说线程1在3和12之间的某个位置将x.b设置为false)，所以线程2应该将x.b视为刚刚将其设置为的任何线程(这是false)。虽然我没有看到线程2实际上关心第3行中的x.b，我也不清楚为什么第5行(我没有看到)是不同步的，而将它设置为false的第12行是同步的。