博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
《嵌入式Linux与物联网软件开发——C语言内核深度解析》一1.8 内存管理之堆...
阅读量:6085 次
发布时间:2019-06-20

本文共 2513 字,大约阅读时间需要 8 分钟。

本节书摘来自异步社区《嵌入式Linux与物联网软件开发——C语言内核深度解析》一书中的第1章,第1.8节,作者朱有鹏 , 张先凤,更多章节内容可以访问云栖社区“异步社区”公众号查看。

1.8 内存管理之堆

1.8.1 什么是堆

堆(heap)也是一种动态内存管理方式。内存管理对操作系统来说是一件非常复杂的事情,因为首先内存容量很大,其次内存需求在时间和大小块上没有规律(操作系统上运行着的几十、几百、几千个进程随时都会申请或者释放内存,申请或者释放的内存块大小随意)。

堆这种内存管理方式特点就是自由(随时申请、释放,大小块随意)。我们前面就讲过这两个API(malloc和free),那时候我们只是讲了用这两个接口可以申请和释放内存,但并没有说是从什么地方申请,以及通过什么申请。其实它们申请释放的内存来源于堆内存,然后向使用者(用户进程)提供API(malloc和free)来使用堆内存。我们什么时候使用堆内存?需要内存容量比较大时,以及需要反复使用及释放时(动态特性),很多数据结构(譬如链表)的实现都要使用堆内存。

1.8.2 堆管理内存的特点(大块内存、手工分配/使用/释放)

特点一:容量不限,动态分配(常规使用的需求容量都能满足)。当然也并不是完全不限,因为它毕竟建立在内存的基础上,所以在申请堆内存的时候一定要注意malloc函数的返回值,如果返回值是NULL,就是申请空间失败。而所谓动态,就是指程序在运行中取得内存空间,而不是编译时就确定好固定大小的内存空间。

特点二:申请和释放都需要手工进行。手工进行的含义就是需要程序员写代码明确进行申请(malloc)及释放(free)。如果程序员申请内存但使用后并不释放,这段内存就丢失了(在堆管理器的记录中,这段内存仍然属于你这个进程,但是进程会认为这段内存已经被占用,再用的时候又会去申请新的内存块),这称为内存泄漏。在C/C++语言中,内存泄漏是最严重的程序bug,这也是别人认为Java/C#等语言比C/C++优秀的地方。

1.8.3 C语言操作堆内存的接口(malloc/free)

d7f1dcfc9e99aec9098242437ce3a923b55a48f3
堆内存释放时最简单,直接调用free释放,即void free(void *ptr);。

堆内存申请时,有三个可选择的兄弟函数:malloc、calloc和realloc。和malloc相比,它的两个兄弟calloc,realloc在功能上更加强大。二弟calloc会将返回的内存初始化为0,而三弟realloc可以修改原先已经分配的内存块的大小。而malloc只是单纯地从内存中申请固定大小的内存。

void *malloc(size_t size);    void *calloc(size_t nmemb, size_t size);  // nmemb个单元,每个单元size字节    void *realloc(void *ptr, size_t size);    // 改变原来申请的空间的大小的

如要申请10个int元素的内存,如下所示。

malloc(40);            malloc(10*sizeof(int));    calloc(10, 4);         calloc(10, sizeof(int));

数组定义时,必须同时给出数组元素个数(数组的大小),而且一旦定义再无法更改。在Java等高级语言中,有一些语法技巧好像可以更改数组大小,但其实这只是一种障眼法。它的工作原理是:先新建一个新需求大小的数组,再将原数组的所有元素复制进新的数组,然后释放掉原数组,最后返回新的数组给用户。堆内存申请时必须给定大小,然后一旦申请完成则空间大小不变,如果要变,只能通过realloc接口。realloc的实现原理类似于上面介绍的Java中可变大小数组的方式。

1.8.4 堆的优势和劣势(管理大块内存、灵活、容易内存泄漏)

优势:灵活。

劣势:需要程序员去处理各种细节,所以容易出错,严重依赖于程序员的水平。

局部变量存在于栈(stack)中,全局变量存在于静态数据区中,动态申请数据存在于堆(heap)中。

1.8.5 静态存储区

我们现在知道,非静态局部变量存储在栈中,但程序中不仅仅只有非静态局部变量,还有静态局部变量和全局变量。静态局部变量和全局变量存储在静态存储区。编译器在编译程序时就确定了静态存储区的大小,静态存储区随着程序运行而分配空间,直到程序运行结束才释放内存空间,这也正是我们定义静态变量或者全局变量的目的。相比于栈,静态存储区对内存的操作比较简单,就是在编译期分配一块确定大小的内存,用来存储数据。局部变量存在于栈(stack)中,全局变量和静态局部变量存在于静态存储区中,动态申请数据存在于堆(heap)中。这里我们做个比喻,栈、堆、静态存储区相当于程序中的三国,它们的地盘就是内存,它们对各自地盘的施政(对内存的管理)方针也各不相同。

课后题

1.哈佛结构基本的特点是  。(软考题)

  A.采用多指令流单数据流

  B.程序和数据存在不同的存储空间

  C.采用堆栈操作

  D.存储器按照内容选择地址

2.计算机的体系结构一般分为冯·诺伊曼结构和哈佛结构两种,以下对哈佛结构的叙述中,不正确的是  。(软考题)

  A.程序和数据保存在同一物理存储器上

  B.指令和数据可以有不同的宽度

  C.DSP数字信号处理器是哈佛结构

  D.ARM9核是哈佛结构

3.若内存容量为4GB,字长为32,则  。(软考题)

  A.数据总线和地址总线的宽度都为32(bit)

  B.地址总线的宽度为30,数据总线的宽度为32(bit)

  C.地址总线的宽度位30,数总线的宽度为8(bit)

  D.地址总线的宽度为32,数据总线的宽度为8(bit)

4.请描述程序的作用以及计算机运行程序的目的。

5.简单描述内存的管理。

6.简述数组的内存特点。

7.简述数据类型在开辟内存空间时的作用。

本文仅用于学习和交流目的,不代表异步社区观点。非商业转载请注明作译者、出处,并保留本文的原始链接。

你可能感兴趣的文章
(转)使用vs调试的时候,如何知道程序阻塞在哪里?
查看>>
Linux其他:环境变量配置
查看>>
设置防止攻击session(疑惑)
查看>>
PHP 服务器及TP5框架遇到的几个错误
查看>>
用VMware克隆CentOS 6.5如何进行网络设置
查看>>
redis conf文件详解(转)
查看>>
7月心情
查看>>
jsp jsp九个内置对象
查看>>
PHP(六)PHP和HTML混合的一种形式
查看>>
前端Js框架汇总
查看>>
Cooperation.GTST团队第一周项目总结
查看>>
递归遍历二叉树
查看>>
图标网站收藏
查看>>
jquerymobile changepage 无法加载外部js文件解决办法
查看>>
终结2011,吹响2012的号角
查看>>
mysql 免安装版安装(window7)
查看>>
创建可以销毁的对象代码段
查看>>
python链家网高并发异步爬虫asyncio+aiohttp+aiomysql异步存入数据
查看>>
python fabric实现远程操作和部署
查看>>
html实现用户注册页面(表单+表格)——html小练习
查看>>