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

时间:2019-04-19 18:51:59

标签: java multithreading concurrency locking stampedlock

最近我了解到存在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是什么意思? [评论中回答]

如果另一个线程读取xy是否有问题? [评论中回答]

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

为什么我们有if (StampedLock.isReadLockStamp(stamp))才能在解锁之前最终阻止v

1 个答案:

答案 0 :(得分:8)

  

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

最理想的情况是,我们无需获取锁即可读取xy。这并不意味着我们没有建立先发生后关系,而是意味着我们不需要调用可能的阻止动作。

tryOptimisticRead返回一个图章值。对内部状态的volatile读取可确定在此标记值的易失性写入之前写入的所有内容在随后的读取之后将可见。这意味着,如果在您读取tryOptimisticReadxy中返回的标记值没有变化,则不会再进行写操作,因此我们拥有最新的值。但是,如果盖印的值确实发生了变化,则所有投注都将关闭,您需要保护自己,如下所述。

在您执行x的过程中,ydistanceFromOrigin可能会改变,具体取决于您的用例。如果xy发生变化,并且可能经常发生变化,那么您将希望最终获得成功。

readLock是程序说“好吧,我放弃,让我们以阻塞的方式阅读它”的方式。从理论上讲,您可以在最终调用tryOptimisticRead之前将代码编写到readLock几次,但是如果x和{{1} }不断更新。

  

为什么在解锁之前,如果里面有(StampedLock.isReadLockStamp(stamp))最终会阻塞v

如果调用y,则必须在退出前将其释放,以便后续的readLock可以获取锁。如果您在writeLock中获得成功,则不必释放tryOptimisticRead,因为您根本不需要先获得它。