程序内存布局详解.ppt

如何使函数满足可重入性 仅使用栈上的变量或const常量； 仅依赖于调用方提供的参数； 不使用任何局部静态变量或全局非const变量； 不返回任何局部静态变量或全局非const变量； 不依赖于任何共享资源的锁； 不调用任何不可重入的函数。 什么是堆内存？ 在需要时主动申请。 堆内存在程序主动放弃之前一直保持有效。 占据了进程地址空间的绝大部分 由C运行时环境(C Runtime Environment )负责管理，管理方法： 批发?零售 关于堆内存的相关C函数 用于零售堆内存的C标准库函数： malloc(size) calloc(n, size) realloc(ptr, size) free(addr) 用于批发堆内存的系统调用： brk(addr) // 将堆尾指针brk调整到指定地址 sbrk(incr) // 将堆尾指针brk增加或较少指定数值 mmap(…) 堆内存管理方法初探 int *p1 = (int*) malloc(sizeof(int)); char *p2 = (char*) malloc(sizeof(char)); …… free(p1) ; free(p2); 1000 大 基地址 长度 1000 100 自由内存区表 基地址 长度 占用内存区表 堆内存管理方法初探 int *p1 = (int*) malloc(sizeof(int)); char *p2 = (char*) malloc(sizeof(char)); …… free(p1) ; free(p2); 1000 大 基地址 长度 1004 96 自由内存区表 基地址 长度 1000 4 占用内存区表 堆内存管理方法初探 int *p1 = (int*) malloc(sizeof(int)); char *p2 = (char*) malloc(sizeof(char)); …… free(p1) ; free(p2); 1000 大 基地址 长度 1004 6 100B 89 自由内存区表 基地址 长度 1000 4 100A 1 占用内存区表 100A 最先适配算法 最佳适配算法 堆内存管理方法初探 int *p1 = (int*) malloc(sizeof(int)); char *p2 = (char*) malloc(sizeof(char)); …… free(p1) ; free(p2); 1000 大 基地址 长度 1000 10 100B 89 自由内存区表 基地址 长度 1000 4 100A 1 占用内存区表 100A 堆的紧缩问题 堆内存管理方法初探 int *p1 = (int*) malloc(sizeof(int)); char *p2 = (char*) malloc(sizeof(char)); …… free(p1) ; free(p2); 1000 大 基地址 长度 1000 100 自由内存区表 基地址 长度 1000 4 100A 1 占用内存区表 100A 空闲链表法 位图分配法 整个堆划分为大量的块(block)，每个块大小相同。 每个块对应位图中的一个基本单元。每个基本单元占2bit 11表示Head，10表示Body，00表示空闲 其他动态内存分配算法 对象池 伙伴关系算法 使用malloc和free的注意事项 刚刚分配的动态内存的初始值是不确定的 不能对同一指针(地址) 连续两次进行free操作 不能对指向静态内存区(全局变量)或栈内存区(局部变量)的指针应用free (但可以对空指针NULL应用free)。 对一个指针应用free之后，它的值不会改变，但它指向了一个无效的内存区，这时称该指针为“悬空指针”。 如果没有及时释放某块动态内存，并且将指向它的指针指向了别处，就会造成“内存泄漏”。 执行malloc和free函数有一定的代价，所以对于较小的变量不应该放在动态内存之中，并且尽量避免频繁地分配和释放动态内存。 使用堆内存时的常见错误 内存分配未成功，却使用了它。 内存分配虽然成功，但是尚未初始化就引用它。(误认为初始值为0) 内存分配成功并且已经初始化，但操作越过了内存的边界。 忘记了释放内存，造成内存泄露。 释放了内存却继续使用它。 关于悬空指针 一个指针变量，如果不为NULL且没有指向有效的内存地址，都称为“悬空指针” 通过悬空指针访问其指向的内存区会使程序产生不可预知的错误。 如何避免悬空指针： 定义指针变量时坚持对其进行正确的初始化 在用free或delete释放内存之后，应及时将相应的指针置为NULL 悬空指针的例子(一) void somefuncion() { int *p; ... … … … *p = 7;