glibc堆内存管理

glibc堆内存管理

背景

应用出现SIGABRT crash，报错信息为：malloc(): invalid size (unsorted)，即是在应用调用malloc分配内存时出现异常导致的crash。

管理结构

进程虚拟地址空间被划分为代码段、数据段、堆和栈。其中，堆内存从低地址到高地址增长，并通过brk系统调用从系统中分配实际的物理内存空间，同时建立物理内存到虚拟内存的映射。堆内存在应用程序运行过程中存在反复的分配和释放过程，为提高内存的分配效率和减少内存碎片，需要利用相关的策略对堆内存进行管理。

Arena（分配区）

当一个进程中包含多个线程时，线程之间共享同一个堆内存空间（即共享资源）。由于linux中共享资源的申请需要获取对应的资源锁，同一时刻仅有一个线程能过获取到锁并操作共享资源，其他线程只能够等待锁的释放，这样就造成了堆内存分配和释放效率的低下。为解决这个问题，可为每个线程单独划分一片堆内存区域，用于各个线程的堆内存分配。基于这种思想，glibc中引入了Arena的概念，用于多线程的堆内存管理。其中，对于进程中的主线程来说，堆内存空间通过brk系统调用进行扩展，而对于其他线程的堆内存（即Arean）则通过mmap系统调用来扩展。如下图：

heap（堆）

brk和mmap每次以固定大小的size从系统中获取内存，对于主线程来说，每次都是通过brk系统调用申请内存，内存空间地址连续，但是对于其他线程对应的堆内存来说，每次通过mmap获取的内存空间不一定连续，所以为每一次通过mmap获得的内存增加一个heap_info的数据结构，并且通过prev指针将同属于一个Arena的各个heap_info连接起来，所有同属于一个Arena的heap_info的ar_ptr指向同一个Arena数据管理结构malloc_state。如下图：

malloc_struce的结构如下所示：

struct malloc_state
{
   
  /* Serialize access.  */
  __libc_lock_define (, mutex);

  /* Flags (formerly in max_fast).  */
  int flags;

  /* Set if the fastbin chunks contain recently inserted free blocks.  */
  /* Note this is a bool but not all targets support atomics on booleans.  */
  int have_fastchunks;

  /* Fastbins */
  mfastbinptr fastbinsY[NFASTBINS];

  /* Base of the topmost chunk -- not otherwise kept in a bin */
  mchunkptr top;

  /* The remainder from the most recent split of a small request */