本文深入探讨了程序运行为何需要内存，冯诺依曼结构与哈佛结构的区别，以及内存的分类和管理。在C语言中，内存通过变量、数据类型和函数名进行操作，栈和堆作为两种主要的内存管理方式，各有优缺点。此外，文章还介绍了复杂数据结构如链表、哈希表和二叉树在实际问题解决中的作用，强调了数据结构和算法的相互关系及其在编程实践中的重要性。
1.1 程序运行为什么需要内存①
1.2 程序运行为什么需要内存②
- 冯诺依曼结构和哈佛结构
冯诺依曼结构是：数据和代码放在一起。
哈佛结构是：数据和代码分开存在。
什么是代码：函数
什么是数据：全局变量、局部变量
在S5PV210中运行的Linux系统上，运行应用程序时所有的应用程序的代码和数据都在DRAM，这种结构就是冯诺依曼结构；在单片机中，我们把程序代码烧写到Flash（NorFlash）中，然后程序在Flash中原地运行，程序中所涉及到的数据（全局变量、局部变量）必须放在RAM（SRAM）中，这种就叫哈佛结构。 - 为什么需要内存
内存是用来存储可变数据的，数据在程序中表现为全局变量、局部变量等（在gcc中，其实常量也是存储在内存中的）（大部分单片机中，常量是存储在flash中的，也就是在代码段）。
所以内存对程序来说几乎是本质需求。越简单的程序需要越少的内存，而越庞大越复杂的程序需要更多的内存。内存管理是我们写程序时很重要的话题。我们以前学过的了解过的很多编程的关键其实都是为了内存，譬如说数据结构（数据结构是研究数据如何组织的）和算法（算法是为了用更优秀更有效的方法来加工数据）。 - 如何管理内存（无OS时，有OS时）
对于计算机来说，大家都希望自己的电脑内存更大。如果内存管理不善，可能会造成程序运行消耗过多的内存，当没有内存可用时程序就会崩溃。所以管理内存对程序来说是一个重要技术和话题。
（1） 先从操作系统角度讲：
操作系统掌握所有的硬件内存，因为内存很大，所以操作系统把内存分成一个一个的页面（其实就是一块，一般是4KB），然后以页面为单位来管理。页面内用更细小的方式来以字节为单位管理。操作系统内存管理的原理非常麻烦、非常复杂、非常不人性化。那么对我们这些使用操作系统的人来说，其实不需要了解这些细节。操作系统给我们提供了内存管理的一些接口，我们只需要用API即可管理内存。譬如在C语言中使用malloc、free这些接口来管理内存（分配、释放内存）。
没有操作系统时：在没有操作系统（其实就是裸机程序）中，程序需要直接操作内存，编程者需要自己计算内存的使用和安排。如果编程者不小心把内存用错了，错误结果需要自己承担。
（2） 再从语言角度来讲：
不同的语言提供了不同的操作内存的接口。
譬如汇编：根本没有任何内存管理，内存管理全靠程序员自己，汇编中操作内存时直接使用内存地址（譬如0xd0020010），非常麻烦；
譬如C语言：C语言中编译器帮我们管理直接内存地址，我们都是通过编译器提供的变量名等来访问内存的（如int a），操作系统下如果需要大块内存，可以通过API（malloc free）来访问系统内存。裸机程序中需要大块的内存需要自己来定义数组等来解决。
譬如C++语言：C++语言对内存的使用进一步封装。我们可以用new来创建对象（其实就是为对象分配内存），然后使用完了用delete来删除对象（其实就是释放内存）。所以C++语言对内存的管理比C要高级一些，容易一些。但是C++中内存的管理还是靠程序员自己来做。如果程序员new了一个对象，但是用完了忘记delete就会造成这个对象占用的内存不能释放，这就是内存泄漏。
Java/C#等语言：这些语言不直接操作内存，而是通过虚拟机来操作内存。这样虚拟机作为我们程序员的代理，来帮我们处理内存的释放工作。如果我的程序申请了内存，使用完成后忘记释放，则虚拟机会帮我释放掉这些内存。听起来似乎C#/ java等语言比C/C++有优势，但是其实他这个虚拟机回收内存是需要付出一定代价的，所以说语言没有好坏，只有适应不适应。当我们程序对性能非常在乎的时候（譬如操作系统内核）就会用C/C++语言；当我们对开发程序的速度非常在乎的时候，就会用Java/C#等语言。
1.3 位、字节、半字、字的概念和内存位宽
- 什么是内存？（硬件和逻辑两个角度）
从硬件角度：内存实际上是电脑的一个配件（一般叫内存条）。根据不同的硬件实现原理还可以把内存分成SRAM和DRAM（DRAM又有好多代，譬如最早的SDRAM，后来的DDR1、DDR2、……、LPDDR）
从逻辑角度：内存是可以随机访问的（随机访问的意思是只要给一个地址，就可以访问这个内存地址）、并且可以读写（当然了逻辑上也可以限制其为只读或者只写）；内存在编程中天然是用来存放变量的（就是因为有了内存，所以C语言才能定义变量，C语言中的一个变量实际就对应内存中的一个单元）。 - 内存的逻辑抽象图（内存的编程模型）
从逻辑角度来讲，内存实际上是由无限多个内存单元格组成的，每个单元格对应一个固定的内存地址。逻辑上内存可以有无限大，但是现实中实际的内存大小是有限制的，譬如32位的系统（32位系统指的是32位数据线，但是一般地址线也是32位，这个地址线32位决定了内存地址只能有32位二进制，所以逻辑上的大小为2^32）内存限制就为4G。所以实际上32位的系统中的内存是小于等于4G的（譬如我32位CPU装32位windows，但实际电脑只有512M内存） - 位、字节、半字、字
内存单元的大小单位有4个：位（1bit），字节（8bit），半字（一般是16bit），字（一般是32bit）。不管是16位、32位还是64位系统，位永远都是1bit，字节永远都是8bit。
历史上曾经出现过16位系统、32位系统、64位系统三种，而且操作系统还有windows、Linux、iOS等很多，所以很多关于字的位数概念在历史上曾经被混乱的定义过。建议对字、半字、双字这些概念不要详细区分，只要知道这些是取决于具体平台的。实际工作中在具体平台上搞清楚其上的定义即可（字是多少位，半字永远是字的一半，双字永远是字的2倍大小）。不过编程时一般用不到字这个概念。在Linux+ARM这个软硬件平台上，字是32位的。 - 内存位宽（硬件和逻辑两个角度）
从硬件角度讲：硬件内存的实现本身是有宽度的，也就是说有些内存条就是8位的，而有些就是16位的。那么需要强调的是内存芯片之间是可以并联的，通过并联后即使8位的内存芯片也可以做出来16位或32位的硬件内存（210中就是把两个16位拼成32位）。
从逻辑角度讲：内存位宽在逻辑上是任意的，甚至逻辑上存在内存位宽是24位的内存（但是实际上这种硬件是买不到的，也没有实际意义）。从逻辑角度来讲不管内存位宽是多少，对我的操作不构成影响。但是因为你的操作不是纯逻辑而是需要硬件去执行的，所以实际的很多操作都是受限于硬件的特性的。譬如24位的内存逻辑上和32位的内存没有任何区别，但实际硬件都是32位的，都要按照32位硬件的特性和限制来干活。
1.4 内存编址和寻址、内存对齐
- 内存编址方法
内存地址和这个内存格子的空间是一一对应且永久绑定的，这就是内存的编址方法。在程序运行时，计算机中CPU实际只认识内存地址，而不关心这个地址所代表的空间在哪里。因为硬件设计保证了按照这个地址就一定能找到这个内存格子，所以说内存单元的2个概念：地址和空间是内存单元的两个方面。 - 关键：内存编址是以字节为单位的
我随便给一个数字（譬如说7），然后说这个数字是一个内存地址，然后问你这个内存地址对应的空间多大？这个大小是固定式，就是一个字节（8bit）。
如果把内存比喻位一栋大楼，那么这个楼里面的一个一个房间就是一个一个内存格子，这个格子的大小是固定的8bit，就好象这个大楼里面所有的房间户型是一样的。 - 内存和数据类型的关系
C语言中的基本数据类型有：char short int long float double
int 整形（整数类型，这个整就体现在它和CPU本身的数据位宽是一样的）譬如32位的CPU，整形就是32位，int就是32位。
数据类型和内存的关系就在于：数据类型是用来定义变量的，而这些变量需要存储、运算在内存中。所以数据类型必须和内存相匹配才能获得最好的性能，否则可能不工作或者效率低下。在32位系统中定义变量最好用int，因为这样效率高。原因就在于32位的系统本身配合内存的也是32位，这样的硬件配置天生适合定义32位的int类型变量，效率最高。也能定义8位的char类型变量或者16位的short类型变量，但是实际上访问效率不高。
比如在很多32位环境下，我们实际定义bool类型变量（实际只需要1个bit就够了）都是用int来实现bool的。也就是说我们定义一个bool b1;时，编译器实际帮我们分配了32位的内存来存储这个bool变量b1。编译器这么做实际上浪费了31位的内存，但是好处是效率高。
问题：实际编程时要以省内存为大还是要以运行效率为重？很多年前内存很贵机器上内存都很少，那时候写代码以省内存为主。现在随着半导体技术的发展内存变得很便宜了，从而效率和用户体验变成了关键。所以现在写程序大部分都是以效率为重。 - 内存对齐
我们在C中int a;定义一个int类型变量，在内存中就必须分配4个字节来存储这个a。有这么2种不同内存分配思路和策略：
① 0 1 2 3 对齐访问
② 1 2 3 4 或者 2 3 4 5 或者 3 4 5 6 非对齐访问
内存的对齐访问不是逻辑的问题，是硬件的问题。从硬件角度来说，32位的内存它 0 1 2 3四个单元本身逻辑上就有相关性，这4个字节组合起来当作一个int，硬件上效率就高。非对齐访问因为和硬件本身不搭配，所以效率不高（以前内存太小的时候需要非对齐访问）。
1.5 C语言如何操作内存
- C语言对内存地址的封装（用变量名来访问内存、数据类型的含义、函数名的含义）
（1） 用变量名来访问内存
在C语言中， int a; a = 5; a += 4; // a == 9;
结合内存来解析C语言语句的本质：
int a; // 编译器自动申请了1个int类型的内存格子（长度是4字节，地址是确定的，但是只有编译器知道，我们不知道，也不需要知道。），并且把符号a和这个格子绑定。
a = 5; // 编译器把这个值5丢到符号a绑定的那个内存格子中。
a += 4; //编译器会先把a原来的值读出来，然后加4，把加之后的和写入a中。
（2） 数据类型的含义
C语言中数据类型的本质含义是：表示一个内存格子的长度和解析方法。
数据类型决定长度：我们一个内存地址（0x30000000），本来这个地址只代表从该地址开始的1个字节的长度，但是实际上我们可以通过给他一个类型(int)，让他有了长度(4字节)，这样这个代表内存地址的数字(0x30000000)就能表示从这个地址开始的连续的4个字节的内存格子了(0x30000000-0x30000003)，共32位。
数据类型决定解析方法：譬如我有一个内存地址（0x30000000），我们可以通过给这个内存地址不同的类型来指定这个内存单元格子中的二进制数的解析方法。譬如我 (int)0x30000000，含义就是(0x30000000-0x30000003)这4个字节连起来共同存储的是一个int型数据，解析时按int格式解析；那么我(float)0x30000000，含义就是(0x30000000-0x30000003)这4个字节连起来共同存储的是一个float型数据，解析时按float的格式解析；
之前讲过一个很重要的概念：内存单元格子的编址单位是字节。
(int *)0; //把内存地址0强制类型转换为int *类型，认为地址0中存的是int *类型//的指针，指向一个int类型的数。
(float *)0;
(short)0; //0是一个变量，变量类型是short类型。
(char)0;
（3） 函数名的含义
int a; //编译器会自动给a分配一个内存地址，譬如说是0x12345678
(int *)a; //等价于(int *)0x12345678
(float *)a;
C语言中，函数就是一段代码的封装。函数名的实质就是这一段代码的首地址。所以说函数名的本质也是一个内存地址。 - 用指针来间接访问内存、指针类型的含义
关于类型（不管是普通变量类型int float等，还是指针类型int *、float *等），只要记住：类型只是对后面数字或者符号（代表的是内存地址）所表征的内存的一种长度规定和解析方法规定而已。
C语言中的指针，全名叫指针变量，指针变量其实和普通变量没有什么区别，只是对内存的解析方法不同。譬如int a和int *p，a和p都代表一个内存地址（譬如是0x20000000），但是这个内存地址（0x20000000）的长度和解析方法不同。a是int型所以a的长度是4字节，解析方法是按照int的规定来的；p是int *类型，所以长度是4字节，解析方法是int *的规定来的（0x20000000开头的连续4字节中存储了1个地址，这个地址所代表的内存单元中存放的是一个int类型的数）。 - 用数组来管理内存
数组管理内存和变量其实也没有本质区别，只是符号的解析方法不同。
int a; // 编译器分配4字节长度给a，并且把首地址和符号a绑定起来。
int b[10]; // 编译器分配40个字节长度给b，并且把首元素的首地址和符号b绑定起来。
数组中第一个元素（b[0]）就称为首元素；每一个元素类型都是int，所以长度都是4，其中b[0]的4个字节中的第1个字节的地址就称为首地址。
1.6 内存管理之结构体
- 数据结构这门学问的意义
数据结构就是研究数据如何组织（在内存中排布），如何加工的学问。 - 最简单的数据结构：数组
为什么要有数组？因为程序中有好多个类型相同、意义相关的变量需要管理，这时候如果用单独的变量来做程序看起来比较乱，用数组来管理会更好管理。
譬如 int ages[20]; - 数组的优势和缺陷
优势：数组比较简单，访问用下标，可以随机访问。
缺陷：①数组中所有元素类型必须相同；②数组大小必须定义时给出，而且一旦确定不能再改。 - 结构体隆重登场
结构体发明出来就是为了解决数组的第一个缺陷：数组中所有元素类型必须相同
当元素类型单一时，比如要管理3个学生的年龄（int类型）。
第一种解法：用数组 int ages[3];
第二种解法：用结构体
struct ages
{
Int age1;
Int age2;
Int age3;
};
struct ages age;
分析总结：在这个示例中，数组要比结构体好。但是在元素类型不同时就只能用结构体而不能用数组了。如下所示。
struct people
{
int age; // 人的年龄
char name[20]; // 人的姓名
int height; // 人的身高
};
因为people的各个元素类型不完全相同，所以必须用结构体，没法用数组。 - 题外话：结构体内嵌指针实现面向对象
面向过程与面向对象。
总的来说：C语言是面向过程的，但是C语言写出的linux系统是面向对象的。非面向对象的语言，不一定不能实现面向对象的代码。只是说用面向对象的语言来实现面向对象要更加简单一些、直观一些、无脑一些。
用C++、Java等面向对象的语言来实现面向对象简单一些，因为语言本身帮我们做了很多事情；但是用C来实现面向对象很麻烦，看起来也不容易理解，这就是为什么大多数人学过C语言却看不懂linux内核代码的原因（很多是面向对象的）。
struct s
{
int age; // 普通变量
void (*pFunc)(void); // 函数指针，指向void func(void)这类的函数
};
使用这样的结构体就可以实现面向对象（不能定义函数，但是可以定义函数指针来调用函数）。这样包含了函数指针的结构体就类似于面向对象中的class，结构体中的变量类似于class中的成员变量，结构体中的函数指针类似于class中的成员方法。
1.7 内存管理之栈（stack）
- 什么是栈
栈是一种数据结构，C语言中使用栈来保存局部变量。栈是被发明出来管理内存的。 - 栈管理内存的特点（小内存、自动化）
先进后出 FILO first in last out 栈
先进先出 FIFO first in first out 队列
栈的特点是入口即出口，只有一个口，另一个口是堵死的。所以先进去的必须后出来。队列的特点是入口和出口都有，必须从入口进去，从出口出来，所以先进去的必须先出来，否则就堵住后面的。 - 栈的应用举例：局部变量
C语言中的局部变量是用栈来实现的。
我们在C中定义一个局部变量时（int a），编译器会在栈中分配一段空间（4字节）给这个局部变量用（分配时栈顶指针会移动给出空间，给局部变量a用的意思就是，将这4字节的栈内存的内存地址和我们定义的局部变量名a给关联起来），对应栈的操作是入栈。
注意：这里栈指针的移动和内存分配是自动的（栈自己完成，不用我们写代码去操作）。
然后等我们函数退出的时候，局部变量要灭亡。对应栈的操作是弹栈（出栈）。出栈时也是栈顶指针移动将栈空间中与a关联的那4个字节空间释放。这个动作也是自动的，也不用人写代码干预。
栈的优点：栈管理内存，好处是方便，分配和最后回收都不用程序员操心，C语言自动完成。分析一个细节：C语言中，定义局部变量时如果未初始化，则值是随机的，为什么？定义局部变量，其实就是在栈中通过移动栈指针来给程序提供一个内存空间和这个局部变量名绑定。因为这段内存空间在栈上，而栈内存是反复使用的（脏的，上次用完没清零的），所以说使用栈来实现的局部变量定义时如果不显式初始化，值就是脏的。如果你显式初始化怎么样？C语言是通过一个小手段来实现局部变量的初始化的。
int a = 15; // 局部变量定义时初始化
C语言编译器会自动把这行转成：
int a; // 局部变量定义
a = 15; // 普通的赋值语句 - 栈的约束（预定栈大小不灵活，怕溢出）
首先，栈是有大小的。所以栈内存大小不好设置。如果太小怕溢出，太大怕浪费内存（这个缺点有点像数组）。其次，栈的溢出危害很大，一定要避免。所以我们在C语言中定义局部变量时不能定义太多或者太大（譬如不能定义局部变量时 int a[10000]; 使用递归来解决问题时一定要注意递归收敛）
1.8 内存管理之堆
-
什么是堆
堆（heap）也是一种内存管理方式。内存管理对操作系统来说是一件很复杂的事情，因为首先内存容量很大，其次内存需求在时间和大小块上没有规律（操作系统上运行着几十、几百、几千个进程，随时都可能申请或释放任意大小的内存）。堆这种内存管理方式的特点是自由（随时申请、释放；大小块随意）。堆内存是操作系统划归给堆管理器（操作系统中的一段代码，属于操作系统的内存管理单一）来管理的，向使用者（用户进程）提供API（malloc和free）来使用堆内存。
什么时候适合用堆内存？需要内存容量比较大，需要反复使用及释放。很多数据结构（比如链表）的实现都要使用堆内存。堆内存和栈分配情况如图。
-
堆管理内存的特点（大块内存、手工分配&使用&释放）
特点一：容量不限（常规使用的需求容量都能满足）。
特点二：申请及释放都需要手工进行，手工进行的含义就是需要程序员写代码明确进行申请malloc及释放free。如果程序员申请内存并使用后未释放，这段内存就丢失了（在堆管理器记录中，这段内存仍然属于你这个进程，但是进程自己又以为这段内存已经不用了，再用的适合又会去申请新的内存块，这就叫吃内存），称为内存泄漏。在C/C++语言中，内存泄漏是最严重的bug，这也是别人认为Java/C#等语言比C/C++优秀的地方。如果内存泄漏的话，程序直到内存被用完就会死掉。（栈分配和回收都不用程序员操心，是C语言自动完成的） -
C语言操作堆内存的接口（malloc free）
堆内存释放时最简单，直接调用free释放即可。 void free（void *ptr）;
堆内存申请时，有3给可选择的类似功能的函数：malloc、calloc、realloc
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(10sizeof(int));
calloc(10, 4); calloc(10, sizeof(int));
数组定义时必须同时给出数组元素个数（数组大小），而且一旦定义再无法更改。在Java等高级语言中，有一些语法技巧可以在功能上实现更改数组大小，但其实这只是一种障眼法。它的工作原理是：先重新创建一个新的数组大小为要更改后的数组，然后将原数组的所有元素复制进新的数组，然后释放掉原数组，最后返回新的数组给用户。所以在C语言中其实也可以通过写一个函数来实现这个Java中更改数组大小的功能，即函数参数是接收一个数组，返回是一个需要的新的数组。
堆内存申请时必须给定大小，然后一旦申请完成大小不变，如果要变只能通过realloc接口。realloc的实现原理类似于上面说的Java中的可变大小的数组的方式。 -
堆的优势和劣势
优势：灵活（堆相对于栈，栈需要预定分配，堆大小足够不怕溢出）
劣势：需要程序员处理各种细节，所以容易出错，严重依赖于程序员水平。
1.9 复杂数据结构
- 链表、哈希表、二叉树、图等
链表是最重要的，链表在Linux内核中使用非常多，驱动、应用编写很多时候都需要使用链表。所以对链表必须掌握。掌握到：会自己定义结构体来实现链表、会写链表的节点插入（前插、后插）、节点删除、节点查找、节点遍历等。至于像逆序这些很少用，掌握了前面那几个这个也不难）。
哈希表不是很常用，一般不需要自己写实现，而直接用别人实现的哈希表比较多。对我们来说要明白哈希表的原理、知道哈希表的特点、知道什么时候该用哈希表、看到别人用哈希表的时候要明白为什么要用哈希表、合不合适，有没有更好的选择。
二叉树、图等。对于这些复杂数据结构，不要太当回事，在嵌入式开发中用到的概率很小。这些数据结构被发明出来就是为了解决特定问题的，不处理特定问题根本用不到这些，没必要去研究。 - 为什么需要更复杂的数据结构
因为现实中的实际问题是多种多样的，问题的复杂度不同，所以需要解决的问题的算法和数据结构也不同。所以当你处理什么复杂度的问题，就去研究针对性解决的数据结构和算法，当你没有遇到此类问题时就不要去管了。. - 数据结构和算法的关系
数据结构的发明都是为了配合一定的算法：算法是为了处理具体问题，算法的实现依赖于相应的数据结构。当前我们说的算法和纯数学是不同的（算法是基于数学的，大学计算机系研究生博士生很多都是数学相关专业的），因为计算机算法要求以数学算法为指导，并且结合计算机本身的特点来改进，最终实现一个在计算机上可以运行的算法（意思就是用代码可以表示的算法）。 - 应该如何学习这部分
（1） 数据结构和算法是相辅相成的，要一起研究
（2） 数据结构和算法对嵌入式来说不全是重点，不要盲目的跑去研究这个。
（3） 一般在实际应用中，实现数据结构和算法的人和使用数据结构和算法的人是分开的。实际中有一部分人的工作就是研究数据结构和算法，并且试图用代码来实现这些算法（表现为库）；其他做真正工作的人要做的就是理解、明白这些算法和数据结构的意义、优劣、特征，然后在合适的时候选择合适的数据结构和算法来解决自己碰到的实际问题。
举个例子：Linux内核在字符设备驱动管理时，使用了哈希表（hash table，散列表）。所以字符驱动的很多特点都和哈希表的特点有关。
扫一扫
2011
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
