由并发无序映射查找线程调用的函数是否安全？

Question

假设我有以下代码：

#include<concurrent_unordered_map.h>

struct firstStruct {
<irrelevant code>
}
struct secondStruct {
    void func(){ 
       <CRITICAL CODE>
    }
}

假设我有这个：

concurrent_unordered_map<firstStruct,secondStruct> cmap = ...

让我们假设cmap 已被填充，并且firstStruct f 和secondStruct s 是(key,value) 对(f,s) 存在于cmap 中。

如果我使用下面的代码 sn-p

cmap[f].func();

从secondStruct s 执行func() 中的<CRITICAL CODE> 是否是线程安全的？

另外，如果我有以下代码 sn-ps，可能会在不同线程中同时执行，会发生什么？

cmap[f].func();

和

SecondStruct s2 = ... ;
cmap[f] = s2;

如果(key,value)对(f,s)被一个线程更改为(f,s2)，如果另一个线程恰好正在执行<CRITICAL CODE>会发生什么？

Answer 1

从proposal 到concurrent_unordered_map

对于序列化执行，操作的行为与其当前的 STL 对应项相同。唯一的变化是允许并发。在并发无序容器上同时执行以下任何操作不会引入数据竞争：

get_allocator
empty, size, max_size
begin, end, cbegin, cend
insert
find, count, equal_range, operator[], at
load_factor
max_load_factor() 
operator==, operator!= 

假设对键类型（和 mapped_type，如果适用）的必要操作是并发安全的。

^强调我的

所以，operartor[] 是线程安全的，但您使用它的返回值执行的操作也必须是线程安全的，以保证不会发生数据竞争。这意味着func() 中的<CRITICAL CODE> 本身必须是线程安全的。如果不是，那么类似

cmap[f].func();
SecondStruct s2 = ... ;
cmap[f] = s2;

也不会是线程安全的，因为当您将新对象分配给键时，该函数仍会运行。