c++ - Malloc 函数中的竞技场

Question

我正在使用 malloc_stats() 来打印与 malloc 相关的统计信息，其中我发现某些程序的“Arena 0”和其他一些程序的“Arena 0 和 Arena 1”。

这些竞技场代表什么？

Answer 1

堆代码驻留在 glibc 组件中，并打包在 libc.so.x 共享库中。堆的当前实现使用多个独立的子堆，称为竞技场。每个 arena 都有自己的互斥量以进行并发保护。因此，如果在一个进程的堆中有足够的竞技场，并且有一种机制可以在它们之间平均分配线程的堆访问，那么争用互斥锁的可能性应该是最小的。事实证明这对分配很有效。在 malloc() 中，进行测试以查看当前线程的当前目标区域的互斥体是否空闲(trylock)。如果是这样，那么竞技场现在被锁定并且分配继续进行。如果互斥体忙，则依次尝试剩余的每个竞技场，如果互斥体不忙，则使用它们。如果没有阻塞就无法锁定任何竞技场，则会创建一个全新的竞技场。根据定义，这个竞技场尚未锁定，因此分配现在可以在不阻塞的情况下继续进行。最后，线程最后使用的竞技场 ID 保留在线程本地存储中，随后用作该线程下次调用 malloc() 时要尝试的第一个竞技场。因此，所有对 malloc() 的调用都将在不阻塞的情况下继续进行。