java - 可重入锁 - 可能的输出？

Question

给定锁定情况:

我认为我是对的，但我需要确定，所以我问你们我是否犯了错误。

在此程序中，我得到了变量“x”和“y”的两个可能的输出:

1. Lines 1.1 - 1.7: y = 5,
   Lines 2.1 - 2.3: x = 15.

2. Lines 2.1 - 2.3: x = 11,
   rest             y = 25.

在这种情况下还有其他输出吗？

Answer 1

右侧的锁 block 可能出现在以下三个位置之一:

• 1.1 之前
• 1.3 到 1.5 之间
• 1.7之后

这三种情况的x和y的值为

• x = 11，y = 25
• x = 11，y = 5
• x = 15，y = 5