在std :: list中没有锁定的并行追加和迭代

Question

我在多线程程序中使用std :: list。 元素仅添加到列表的末尾，并且仅从列表的开头除去。 存在一个写程序锁，以确保相互排斥写操作。 读者无需获取锁即可访问列表。 读者维护着迭代器，而这些迭代器不能被Erase（）无效，因为我保证只有读者通过了这些元素后，它们才会被擦除。 我能想象的唯一可能的数据竞争是是否添加了元素，并且其中一个读取器在插入程序编写元素本身之前访问了该元素。

对于单个编写器，追加（末尾插入）应该是原子的，因为插入单个元素需要单次写入。

std :: list显然不提供任何保证，有人可以确认上述用法应该在没有数据争用的情况下起作用。 如果没有，是否有其他替代方法（例如，助推器）提供这种保证？

Answer 1

如您所写，可能会发生竞争状况：

我能想象的唯一可能的数据竞争是是否添加了元素，并且其中一个读取器在插入程序编写元素本身之前访问了该元素。

另外std :: list是一个双向链接的列表 ，因此在删除第一个元素时，第二个元素将被访问，而在添加新元素时，旧的最后一个元素将被写入。 因此，您的迭代器必须是常量（没有++ iter或--iter）。

您可能想看看boost :: lockfree :: queue －可能正是您想要的。

Answer 2

我使用了boost :: intrusive :: list解决了禁用大小计数器时的问题，该问题在同时删除和插入元素时变得不一致。 没有这个，增强列表会设置四个指针，而在删除/插入元素时没有其他设置。