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 分配器符合正确接口的包装器。

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 只是一个包含垃圾的 chars 数组。 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 << " ";
}

这两个sn-ps的主要区别在于，首先我new将容器放入分配器，然后将分配器传递给容器，依靠分配器的销毁来释放所有的容器的内存（不必实际调用容器本身的析构函数）。在第二个 sn-p 中，我通过在循环的每次迭代结束时超出范围来允许更自然地破坏容器。

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

Answer 1

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

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

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