c++ - TBB task_group 在使用 concurrent_hash_map 时挂起

Question

我正在尝试在正在运行的任务中使用 tbb::concurrent_hash_map，但我遇到了调用 map 的 erase() 导致任务无限锁定的问题。你知道下面的代码片段有什么问题吗？

#include <iostream>
#include <boost/date_time.hpp>
#include <tbb/concurrent_hash_map.h>
#include <tbb/task_group.h>
#include <tbb/task_scheduler_init.h>

class BusyTask
{
public:    
    void operator()() {

        typedef tbb::concurrent_hash_map<unsigned int, int> MyMap;
        MyMap m;
        MyMap::accessor a;
        m.insert(a, 1);
        m.erase(1); // The task will lock up at this point

    }
};

int main(int argc, char* argv[])
{
    std::cout << "Started" << std::endl;

    BusyTask busyTask1;

    tbb::task_group taskGroup;
    taskGroup.run(busyTask1);
    taskGroup.wait();

    std::cout << "Finished" << std::endl;
    return 0;
}

我正在使用 TBB v4.0.5 和 GCC 4.7 进行测试

Answer 1

正如评论中正确指出的那样，这是锁定范围的问题。 erase(1) 需要获取 insert() 操作已获取的相同锁(并且锁不是递归的)。

另请注意散列映射的 erase(by_accessor) 方法，该方法可确保删除受访问器保护的元素，而不是具有相同键的另一个元素。如果并发线程删除它(提供相同的键)并添加具有相同键的新元素，则可能会发生后者。