CSAPP—动态内存分配

1 引言

针对csapp虚拟内存管理中malloc内存分配器实现后的一些总结，书中是通过隐式链表来进行内存管理，并且采用的是双字对齐（字：4B，双字：8B）

2 隐式链表结构

隐式链表单个节点的结构如下图所示，之所以叫隐式链表就是因为它没有对应的结构体，而是通过一个头结点指针来访问每个分配块，该结构由以下三个部分组成：

• head头，共占一个字，是块的开头，末三位alloc表示该内存块是否已经被分配，高29位size来表示整个块所占的大小（双字对齐，块的大小必定是8B的整数倍）
• tail尾，表示块的结尾，size和alloc的含义和head相同，通过head和tail就构成了一个隐式双向链表
• 中间部分的数据块是实际存储数据的区域

为了操作这个链表，提供了一系列宏函数，如下代码所示（代码包含在mm.c文件中，该文件提供了动态内存分配的一系列函数）

/* 基本常量定义 */
#define WSIZE       4   /* 单字 */
#define DSIZE       8   /* 双字 */
#define CHUNKSIZE   1 << 12 /* 初始分配块和扩展堆的最小字节数 */

#define MAX(a, b) ((a) > (b) ? (a) : (b))

/* 获取块头和块尾的填充数 */
#define PACK(size, alloc)   (size | alloc)

/* 在地址p处读/写一个数 */
#define GET(p)  (*(int32_t *)(p))
#define PUT(p, val)    (*(int32_t *)(p) = (val))

/* 获取p所指块的size和alloc */
#define GET_SIZE(p)     (GET(p) & ~0x7)
#define GET_ALLOC(p)     (GET(p) & 0x7)

/* 获取bp数据块的头部和脚部的指针 */
#define HDRP(bp)    ((char *)bp - WSIZE)
#define FTRP(bp)    ((char *)bp + (GET_SIZE(HDRP(bp)) - DSIZE))

/* 获取bp的prev和next数据块 */
#define NEXT_BLKP(bp)   ((char *)bp + GET_SIZE((char *)bp - WSIZE))
#define PREV_BLKP(bp)   ((char *)bp - GET_SIZE((char *)bp - DSIZE))

3 堆空间管理

在memlib.c文件中提供两个针对堆空间操作的方法，即初始化整个堆最大位置的mem_init()函数和扩展当前堆顶指针的函数mem_sbrk()，mem_lib.h文件如下：

#ifndef CSAPP_MEMLIB_H
#define CSAPP_MEMLIB_H

/* 初始化堆 */
int mem_init(void);

/* 移动堆顶指针 */
void * mem_sbrk(int incr);
#endif //CSAPP_MEMLIB_H

这两个函数的实现如下所示（memlib.c）：

#include <stdio.h>
#include <stdlib.h>
#include <malloc.h>

#include "memlib.h"

#define