重入鎖定-可能的輸出？

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