stl映射查找线程安全

Question

stl map 上的 find 调用线程安全吗？

Answer 1

不，C++ 规范不保证规范中对任何 STL 容器上的操作的线程安全性。如果线程安全很重要，那么您应该提供自己的锁定。

话虽这么说，不同的实现似乎提供了不同的保证。例如，大多数似乎允许多个并发读取器，只要没有同时执行写入即可。如果您不关心可移植性，您可以研究您的实现文档。例如，来自此处的 SGI STL：

STL 的 SGI 实现是
线程安全仅在以下意义上
同时访问不同的
容器是安全的，并且同时
对共享容器的读访问
是安全的。如果多个线程访问一个
单个容器，并且至少一个
线程可能会写，然后
用户有责任确保
线程之间的互斥
在容器访问期间。

从这个答案来看，类似的保证似乎是由 Dinkumware 制作（他们制作了 Microsoft 的 STL 实现）。

多线程可以安全地读取
相同的容器对象。 （有
内不受保护的可变子对象
一个容器对象。）

两个线程可以安全地操作
的不同容器对象
相同类型。 （没有不受保护的
内部共享静态对象
容器类型。）

您必须防止同时发生
访问容器对象如果在
至少有一个线程正在修改
目的。 （明显的同步
原语，例如
Dinkum 线程库，不会
被容器对象颠覆。）

Answer 2

否：当另一个线程与您的查找同时更新地图时，行为是未定义的。

Answer 3

我试图找到问题的答案。

https://gcc.gnu.org/onlinedocs /libstdc++/libstdc++-html-USERS-3.4/stl__map_8h-source.html

可以看到stl地图源。

---

搜索find()。发现于497行、524行。代码写为 _M_t.find(__x);

---

然后搜索_M_t。

它位于 124 行。
它被写为_Rep_type _M_t;

---

如果属性_M_t是为每个线程创建的，它可能是线程安全的。
但我不这么认为。
如果 2 个线程同时使用 find，它们将同时使用 _M_t。
_Rep_type 连接到 _Rb_tree。

您可以在下面的源代码中看到_Rb_tree。

https://gcc.gnu.org/onlinedocs /libstdc++/libstdc++-html-USERS-4.1/stl__tree_8h-source.html

find() 进行树旅行（见下面的代码）。
__x 和 __y 会发生意外的变化。

01307   template<typename _Key, typename _Val, typename _KeyOfValue,
01308            typename _Compare, typename _Alloc>
01309     typename _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::iterator
01310     _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::
01311     find(const _Key& __k)
01312     {
01313       _Link_type __x = _M_begin(); // Current node.
01314       _Link_type __y = _M_end(); // Last node which is not less than __k.
01315 
01316       while (__x != 0)
01317     if (!_M_impl._M_key_compare(_S_key(__x), __k))
01318       __y = __x, __x = _S_left(__x);
01319     else
01320       __x = _S_right(__x);
01321 
01322       iterator __j = iterator(__y);
01323       return (__j == end()
01324           || _M_impl._M_key_compare(__k,
01325                     _S_key(__j._M_node))) ? end() : __j;
01326     }

Answer 4

实际上，Microsoft Visual Studio 2008 附带的 STL 似乎对修改映射的操作有一些锁定（我假设它对于 set 是相同的）。这是相当烦人的，因为我正在多个线程中构建更多地图，这会影响我的性能。