最近我了解到存在StampedLock
吗?
https://docs.oracle.com/javase/10/docs/api/java/util/concurrent/locks/StampedLock.html 我意识到,它通过一些区别改进了ReentrantReadWriteLock:
我也阅读了示例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?什么逻辑?
为什么我们有if (StampedLock.isReadLockStamp(stamp))
才能在解锁之前最终阻止v
答案 0 :(得分:8)
为什么要在tryOptimisticRead失败的情况下先执行tryOptimisticRead并在for循环中执行readLock?什么逻辑?
最理想的情况是,我们无需获取锁即可读取x
和y
。这并不意味着我们没有建立先发生后关系,而是意味着我们不需要调用可能的阻止动作。
tryOptimisticRead
返回一个图章值。对内部状态的volatile
读取可确定在此标记值的易失性写入之前写入的所有内容在随后的读取之后将可见。这意味着,如果在您读取tryOptimisticRead
和x
时y
中返回的标记值没有变化,则不会再进行写操作,因此我们拥有最新的值。但是,如果盖印的值确实发生了变化,则所有投注都将关闭,您需要保护自己,如下所述。
在您执行x
的过程中,y
和distanceFromOrigin
可能会改变,具体取决于您的用例。如果x
和y
发生变化,并且可能经常发生变化,那么您将希望最终获得成功。
readLock
是程序说“好吧,我放弃,让我们以阻塞的方式阅读它”的方式。从理论上讲,您可以在最终调用tryOptimisticRead
之前将代码编写到readLock
几次,但是如果x
和{{1} }不断更新。
为什么在解锁之前,如果里面有(StampedLock.isReadLockStamp(stamp))最终会阻塞v
如果调用y
,则必须在退出前将其释放,以便后续的readLock
可以获取锁。如果您在writeLock
中获得成功,则不必释放tryOptimisticRead
,因为您根本不需要先获得它。