C++ 程序无错退出。如何调试？

Question

我有一个程序(完整代码 here)在第 46000 次迭代时退出:

{
    PROCESSER<MONO_CONT> processer;
    c_start = std::clock();
    for (unsigned long long i = 0; i < iterations; i++) {
        BloombergLP::bdlma::BufferedSequentialAllocatoralloc(pool, sizeof(pool));
        MONO_CONT* container = new(alloc) MONO_CONT(&alloc);
        container->reserve(elements);
        processer(container, elements);
    }
    c_end = std::clock();
    std::cout << (c_end - c_start) * 1.0 / CLOCKS_PER_SEC << " ";
}

在这种情况下，MONO_CONT是 vector<string, scoped_allocator_adaptor<alloc_adaptor<BloombergLP::bdlma::BufferedSequentialAllocator>>> .我的理解是 scoped_allocator_adaptor将确保提供的分配器将用于分配传入的字符串，从而确保在每次循环迭代结束时释放字符串(避免@1201ProgramAlarm 对问题的建议)。 alloc_adapter只是使 Bloomberg 分配器符合正确接口(interface)的包装器。

PROCESSER是下面的模板仿函数，它只对模板容器执行一些基本操作，MONO_CONT :

template<typename DS2>
struct process_DS2 {
    void operator() (DS2 *ds2, size_t elements) {
        escape(ds2);
        for (size_t i = 0; i < elements; i++) {
            ds2->emplace_back(&random_data[random_positions[i]], random_lengths[i]);
        }
        clobber();
    }
}; 

请注意 escape和 clobber只是一些魔法，除了打败优化器之外什么都不做(如果您有兴趣，请参阅 this talk)。 random_data只是一个 char 的数组含有垃圾。 random_positions将有效索引定义为 random_data . random_lengths从 random_positions 中的相应位置开始定义一个有效的字符串长度(不超出垃圾数据的末尾) .

我有类似的代码，运行完全相同的迭代次数，并且不会失败:

{
    PROCESSER<MONO_CONT> processer;
    c_start = std::clock();
    for (unsigned long long i = 0; i < iterations; i++) {
        BloombergLP::bdlma::BufferedSequentialAllocator alloc(pool, sizeof(pool));
        MONO_CONT container(&alloc);
        container.reserve(elements);
        processer(&container, elements);
    }
    c_end = std::clock();
    std::cout << (c_end - c_start) * 1.0 / CLOCKS_PER_SEC << " ";
}

这两个片段的主要区别在于，在第一个片段中，我是 new将容器放入分配器，然后将分配器传递给容器，依靠分配器的销毁来释放容器的所有内存(无需实际调用容器本身的析构函数)。在第二个片段中，我通过在循环的每次迭代结束时超出范围来允许更自然地破坏容器。

我正在使用 Clang 构建它，在 Debian 上的 Docker 容器中运行。关于问题可能是什么或我如何开始调试它的建议？

Answer 1

虽然您依靠分配器的销毁来释放为 container 分配的内存，但这不会释放所包含的 string 使用的内存，这不会正在为 vector 使用分配器，但将使用全局堆 (new)。当程序内存不足时，它会退出而不报告任何内容，可能是因为它没有足够的可用内存来执行此操作。

在您的第二个版本中，container 被销毁，这将在 vector 被销毁时释放分配的字符串。

至于如何调试这样的东西，通常的建议是“尝试在调试器中单步执行它”。如果您在调试器中附加运行，它可能会在创建或抛出 std::bad_alloc 异常时中断。并且您可以监控进程的内存使用情况。