编程范式(斯坦福大学)学习笔记《八》

这节课主要讲解了内存管理函数实现方式。

---

一.Heap（堆）

堆位于低地址空间，通过malloc函数分配堆的地址。关于malloc函数的介绍可参考：C内存管理函数。

int* arr=malloc(40*sizeof(int));

注意：得到的内存块会比160字节大一点，可能是164或168，因为该内存块的开头包含了一段小的空间用来记录有用的信息（例如该块内存的大小，该内存块后面的内存块是空闲等）。执行完这条语句后，会得到一个返回的指针，但这个指针并不是整个内存块的头指针，实际上是头指针后的4个字节或者8个字节的指针。

执行free函数时，指针会机械地回退4个字节或者8个字节获取内存大小信息，并且free掉后面相应大小的内容。例如：

int* arr=malloc(100*sizeof(int));
free(arr+60);
//出错，指针会调到arr+58/59，将这里面的内容解释为内存块大小再释放

int arr[100];//这样静态申请与堆无关，但也有head信息
free(array);
arr[-1]=0;//这样把malloc以及realloc写入分配内存块的大小信息的位置相覆盖，会导致结果出错。

 

空闲的空间组成一个链表，管理器会使用空闲内存块最开始的4个字节存储到下一个空闲块的地址，因此每次调用malloc或者free时的时候内存管理器都会遍历这个链表，并找到某个足够大的内存块来满足请求。

曾经有一种内存管理方式是将堆中已使用的内存块压缩，使这些内存块尽可能的接近最前端，此时就可以产生很大一块可以使用的内存块。在这种内存管理方式中，是通过句柄（二级指针）来管理内存。

void** handle=NewHandle(40);
Handlelock(handle);
//告诉操作系统不要挪动NewHandle指向的内存，它们正在被句柄寻址
HandleUnlock(handle);

---

二.Stack（栈）

栈位于高地址空间。

栈里的指针（栈指针）记录已分配和未分配的边界,每有一个新函数分配局部变量，指针会减小（即，向低地址方向移动），并将移动后的地址作为函数访问变量的基地址。当函数返回后，栈指针回退。

void A()
{
    int a;
    short b[4];
    double c;
    //从栈里分配内存
    B();
    C();
}

​void B()
{
    int x;
    char* y;
    char* z[2];
    C();
}

void C()
{
    double m[3];
    int n;
}