如何使用StampedLock乐观锁定？(我无法理解java文档中的代码示例)

Question

最近我了解到StampedLock的存在吗？

https://docs.oracle.com/javase/10/docs/api/java/util/concurrent/locks/StampedLock.html我意识到它改进了ReentrantReadWriteLock，并有一些不同之处：

• 不是重入
• 支撑光学锁
• 支持从readLock升级到writeLock

此外，我还阅读了frpm javadoc示例，但我并不支持该代码：

class Point {
  private double x, y;
  private final StampedLock sl = new StampedLock();
  // a read-only method
  // upgrade from optimistic read to read lock
  double distanceFromOrigin() {
    long stamp = sl.tryOptimisticRead();
    try {
      retryHoldingLock: for (;; stamp = sl.readLock()) {
        if (stamp == 0L)
          continue retryHoldingLock;
        // possibly racy reads
        double currentX = x;
        double currentY = y;
        if (!sl.validate(stamp))
          continue retryHoldingLock;
        return Math.hypot(currentX, currentY);
      }
    } finally {
      if (StampedLock.isReadLockStamp(stamp))
        sl.unlockRead(stamp);
    }
  }
}

possibly racy reads是什么意思？评论中的评论

如果另一个线程读取x或y，这是一个问题吗？评论中的评论

为什么我们首先在for循环中执行tryOptimisticRead和readLock，以防tryOptimisticRead失败？什么逻辑？

为什么我们的if (StampedLock.isReadLockStamp(stamp))在里面终于封锁了block解锁？

Answer 1

为什么我们首先在for循环中执行tryOptimisticRead和readLock，以防tryOptimisticRead失败？什么逻辑？

最好的情况是我们无需获取锁就能够读取x和y。这并不意味着我们不建立一个发生之前的关系，它只是意味着我们不需要调用一个可能的阻塞行动。

tryOptimisticRead返回一个邮票值。内部状态的volatile读取确定，在对此标记值进行易失性写入之前写入的任何内容在后续读取后都是可见的。这意味着，如果在tryOptimisticRead中返回的标记值在读取x和y时不发生更改，则不会发生另一次写入，而且我们有最最新的值。但是，如果加盖邮票的值确实发生了变化，那么所有的赌注都取消了，您需要保护自己，如下所述。

根据用例的不同，x和y有可能在执行distanceFromOrigin的过程中在某个时候发生变化。如果x和y发生了变化，并且可能经常发生变化，那么您将希望最终成功。

readLock是程序的一种表达方式：“好吧，我放弃了，让我们以一种阻塞的方式阅读它”。理论上，在最终调用tryOptimisticRead之前，您可以将代码编写几次到readLock，但如果x和y不断更新，您将需要给自己一个out。

为什么我们有如果(StampedLock.isReadLockStamp(邮票))在里面最后阻止瓦前解锁？

如果调用了readLock，则必须在退出之前释放它，以便后续的writeLock能够获得锁。如果您在tryOptimisticRead中成功，您将不必发布一个readLock，因为从一开始就不需要获得它。