c++ - 具有独立读取器和写入器线程的单个队列是否需要锁定？

Question

我有一个共享队列(使用单例队列包装器实现)以及一个读取线程和一个写入线程。我还有一种机制可以在写入线程向队列添加元素(入队)时通知读取线程。读取器线程在收到通知时仅使一个元素出队。在这种情况下是否需要读写锁。

由于写入者只是入队和读取器出队，我觉得如果读取器在出队时检查队列大小，则不需要锁。

Answer 1

Since writer is only enqueing and reader dequeing I feel like there is no need for a lock, if reader checks the queue size when dequeing.

当队列被另一个线程修改时，单独操作已经是不安全的问题之一。在 C++ 中，对非原子共享变量的任何非同步访问(其中至少有一个是写入)都是数据竞争，因此是 UB。