c++ - boost::intrusive 中的线程安全保证

Question

虽然在boost::intrusive文档的Thread Safety段落中没有明确提到这种情况，但我想知道我是否可以考虑boost::intrusive::list::front() 安全时:

• 可能有一位作者在列表中调用 push_back()
• 列表总是至少有一个元素

列表为自动取消链接类型。我的直觉告诉我，在那种情况下，front() 和 push_back() 没有理由是活泼的。

Answer 1

这绝对是一个竞争条件。

Several threads having read or write access to different instances is safe as long as inserted objects are different.

这里的关键是不同的实例。您正在同时读取和写入同一个实例，规范显然不能保证它的安全性。

实现可能没问题。我认为直觉上，它可能会。但是，规范显然对此没有任何保证，你必须假设竞争条件，因为它不能保证。