具有条件变量的读写锁

Question

我有一个已实现的fifo队列，它有两个方法add()和remove()都对队列执行写操作。 为了使其线程安全，我正在使用ReentrantLock 。 我有两个条件：（i）如果队列为空并尝试删除，则阻塞线程； （ii）如果队列已满并且正在尝试添加，则阻塞线程。 现在，我想实现一个窥视操作，该操作将允许多个线程同时执行窥视，但是没有线程能够写。 如果我使用ReentrantLock我将无法实现，因为我必须获取锁及其互斥。 我可以在ReentrantReadWriteLock进行窥视操作，但是它没有我需要的条件变量。 有什么建议么？

Answer 1

为什么peek()根本需要锁？

这是不可能的peek()给予保证正确的答案。

if (q.peek() != NULL) {
    ... q could be empty at this point because some other consumer
        could have removed the last item after the peek() returned...
} else {
    ... q could be non-empty at this point because a consumer could
        have added new items after the peek() returned...
}

如果只有一个使用者，peek（）方法会更有用。 在这种情况下：

if (q.peek() != NULL) {
    ...q MUST be non-empty here, because there is no other thread that 
       could have removed anything from the queue...
}

---

当然，为什么peek（）可能需要锁定的一个原因是如果您实现了链接队列。 在这种情况下，您可能需要锁定，以防止peek（）方法遵循错误的指针并导致程序崩溃。

Answer 2

如果您只是在寻找解决方案，快速解决方案是在释放锁之前但在每次更新之后创建一个重复的数组（队列）。 该数组可以作为peek（）的参考变量。

我不确定java在线程化期间是否支持此功能，但是您可以创建另一个变量，例如query，它是对原始队列的引用。 这样您就可以立即查看peek（）的更新。 虽然我是Java的新手，但是大多数语言都是通过使用以下内容来实现此目的的：

query = &queue;

＆符号是按引用传递的运算符。