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

最近我了解到存在 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 是否有问题？ [在评论中回答]

为什么我们在 tryOptimisticRead 失败的情况下先执行 tryOptimisticRead 并在 for 循环中执行 readLock ？什么逻辑？

为什么我们在 finally 块 vbefore unlock 中有 if (StampedLock.isReadLockStamp(stamp)) ？

最佳答案

最好的情况是我们能够读取 x 和 y 而无需获取锁。这并不意味着我们不建立一个happens-before 关系，它只是意味着我们不需要调用一个可能的阻塞操作。
tryOptimisticRead 返回一个邮票值。这个内部状态的 volatile 读取确定在此标记值的 volatile 写入之前写入的任何内容在后续读取后都将可见。这意味着，如果在您读取 tryOptimisticRead 和 x 时 y 中返回的标记值没有改变，则不会发生另一次写入，并且我们拥有最新的值。但是，如果标记的值确实发生了变化，则所有赌注都将取消，您需要保护自己，如下所述。

有可能，并且根据您的用例， x 和 y 可能会在整个 distanceFromOrigin 执行过程中的某个时刻发生变化。如果 x 和 y 发生变化，并且可能经常发生变化，那么您将希望最终成功。
readLock 是程序说“好吧，我放弃了，让我们以阻塞方式阅读它”的方式。从理论上讲，在最终调用 tryOptimisticRead 之前，您可以将代码写入 readLock 几次，但是如果 x 和 y 不断更新，您将希望自己退出。



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