重入锁定-可能的输出？

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

右侧锁块可以在以下三个位置之一发生：

• 1.1之前
• 在1.3和1.5之间
• 1.7之后

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

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