c++ - jemalloc 未检测到内存损坏

Question

以下程序不会触发断言失败:

int main(int argc, char **argv)
{
  int * n = (int *)malloc(100);
  //malloc_stats_print(nullptr, nullptr, "gablh");
  free(n);
  *n += 1;
  std::cerr << *n << std::endl;
  for (int i = 0; i != 10; ++i) {
    std::cerr << *(n+i) << std::endl;
  }
}

当我运行程序时MALLOC_CONF="quarantine:32,abort:true,stats_print:true"ex_stats_pr

我得到:

1515870811
1515870811
1515870810
1515870810
1515870810
1515870810
1515870810
1515870810
1515870810
1515870810
1515870810

有没有办法用 jemalloc 触发中止失败？

Answer 1

这不是您问题的直接答案，但是...

未定义的行为是未定义的。玩弄被释放的内存属于这个阵营。根据您对内存处理程序的实现，您可能有一个“验证内存”类型的函数，它遍历您的空闲内存列表以查看是否存在某种损坏，但即使这样也不会捕获所有内容(不是熟悉 jemalloc 尤其是我自己)。可能是您的上述代码命中了没人关心的内存，因此不会被捕获。哎呀，你的 std::cerr 语句也在执行未定义的行为，所以你甚至不能相信它的值(想想线程和操作系统获取和更改内存等)

这是您尽可能不在 C++ 中直接使用指针的原因之一。管理生命周期的智能指针和容器自动防止几乎所有这些类型的错误。