Question

我有concurrent_unordered_map。我使用insert函数（而不是其他函数）尝试同时插入到地图中。但是，很多时候，这会在insert函数内部崩溃。这是一些代码：

class ModuleBase { 
public:
    virtual Wide::Parser::AST* GetAST() = 0;
    virtual ~ModuleBase() {} 
};
struct ModuleContents {
    ModuleContents() {}
    ModuleContents(ModuleContents&& other)
        : access(other.access)
        , base(std::move(other.base)) {}
    Accessibility access;
    std::unique_ptr<ModuleBase> base;
};
class Module : public ModuleBase {
public:
    // Follows Single Static Assignment form. Once it's been written, do not write again. 
    Concurrency::samples::concurrent_unordered_map<Unicode::String, ModuleContents> contents;
    Wide::Parser::AST* GetAST() { return AST; }
    Wide::Parser::NamespaceAST* AST;
};

这是我用来实际插入地图的功能。还有更多，但它没有触及地图，只使用insert的返回值。

void CollateModule(Parser::NamespaceAST* module, Module& root, Accessibility access_level) {
// Build the new module, then try to insert it. If it comes back as existing, then we discard. Else, it was inserted and we can process.
Module* new_module = nullptr;
ModuleContents m;
{
    if (module->dynamic) {
        auto dyn_mod = MakeUnique<DynamicModule>();
        dyn_mod->libname = module->libname->contents;
        new_module = dyn_mod.get();
        m.base = std::move(dyn_mod);     
    } else {
        auto mod = MakeUnique<Module>();
        new_module = mod.get();
        m.base = std::move(mod);
    }
    new_module->AST = module;
    m.access = access_level;
}
auto result = root.contents.insert(std::make_pair(module->name->name, std::move(m)));

这是根函数。它是从不同输入上的许多线程并行调用的，但具有相同的root。

void Collater::Context::operator()(Wide::Parser::NamespaceAST* input, Module& root) {
std::for_each(input->contents.begin(), input->contents.end(), [&](Wide::Parser::AST* ptr) {
    if (auto mod_ptr = dynamic_cast<Wide::Parser::NamespaceAST*>(ptr)) {
        CollateModule(mod_ptr, root, Accessibility::Public);
    }
});
}

我不完全确定wtf正在发生。我有一点共享状态，我只是原子地访问它，为什么我的代码会死？

编辑：这实际上完全是我自己的错。崩溃发生在insert行，我认为这是问题 - 但不是。它根本与并发性无关。我测试了result 错误方式的返回值 - 即，true为value existed，false为value did not exist，而标准为true定义insertion succeeded - 即value did not exist。这显着地破坏了内存管理，导致崩溃 - 尽管它确实是如何导致unordered_map代码崩溃的，我不知道。一旦我插入正确的否定，它就完美无缺。这是因为我在跳过并发栅栏之前没有正确测试单线程版本。

Answer 1

一种可能性是由于移动语义的某些问题而导致崩溃。是否由空指针引用引起崩溃？如果您在移动对象（例如ModuleContents）后无意中访问了该对象，则会发生这种情况。

崩溃也可能是并发错误的结果。 concurrent_unordered_map在插入和检索是原子的意义上是线程安全的。但是，无论您在其中存储什么，都不会自动受到保护。因此，如果多个线程检索相同的ModuleContents对象，它们将共享Module内的AST树。我不确定哪些引用是可修改的，因为我没有看到任何const指针或引用。任何共享和可修改的东西都必须受到某些同步机制（例如，锁）的保护。

使用concurrent_unordered_map崩溃

1 个答案: