我想做个网站怎么做,自己如何创建一个网站,密码管理admin,环评登记表在哪个网站做点击蓝字关注我们内存管理我们需要知道——变量#xff0c;其实是内存地址的一个抽像名字罢了。在静态编译的程序中#xff0c;所有的变量名都会在编译时被转成内存地址。机器是不知道我们取的名字的#xff0c;只知道地址。 内存的使用时程序设计中需要考虑的重要因素之一其实是内存地址的一个抽像名字罢了。在静态编译的程序中所有的变量名都会在编译时被转成内存地址。机器是不知道我们取的名字的只知道地址。 内存的使用时程序设计中需要考虑的重要因素之一这不仅由于系统内存是有限的尤其在嵌入式系统中而且内存分配也会直接影响到程序的效率。因此我们要对C语言中的内存管理有个系统的了解。 在C语言中定义了4个内存区间代码区全局变量和静态变量区局部变量区即栈区动态存储区即堆区具体如下 1栈区stack— 由编译器自动分配释放 存放函数的参数值局部变量的值等。其操作方式类似于数据结构中的栈。 2堆区heap — 一般由程序员分配释放 若程序员不释放程序结束时可能由OS回收 。注意它与数据结构中的堆是两回事分配方式倒是类似于链表。 3全局区静态区static—全局变量和静态变量的存储是放在一块的初始化的全局变量和静态变量在一块区域 未初始化的全局变量和未初始化的静态变量在相邻的 另一块区域。- 程序结束后由系统释放。 4常量区 —常量字符串就是放在这里的。程序结束后由系统释放。 5程序代码区—存放函数体的二进制代码。 我们来看张图 图1首先我们要知道源代码编译成程序程序是放在硬盘上的而非内存里只有执行时才会被调用到内存中我们来看看程序结构ELF是是Linux的主要可执行文件格式。ELF文件由4部分组成分别是ELF头ELF header、程序头表Program header table、节Section和节头表Section header table。具体如下 1Program header描述的是一个段在文件中的位置、大小以及它被放进内存后所在的位置和大小。即要加载的信息 2Sections保存着object 文件的信息从连接角度看包括指令数据符号表重定位信息等等。在图中我们可以看到Sections中包括 text 文本结 存放指令 rodata 数据结 readonly; data 数据结 可读可写 3Section头表section header table包含了描述文件sections的信息。每个section在这个表中有一个入口每个入口给出了该section的名字大小等等信息。相当于 索引 而程序被加载到内存里面又是如何分布的呢我们看看上图中正文和初始化的数据和未初始化的数据就是我们所说的数据段正文即代码段 2正文段上面是常量区常量区上面是全局变量和静态变量区二者占据的就是初始化的数据和未初始化的数据那部分 3再上面就是堆动态存储区这里是上增长 4堆上面是栈存放的是局部变量就是局部变量所在代码块执行完毕后这块内存会被释放这里栈区是下增长 5命令行参数就是001之类的环境变量什么的前面的文章已经讲过有兴趣的可以去看看。 我们知道内存分为动态内存和静态内存我们先讲静态内存。静态内存存储模型决定了一个变量的内存分配方式和访问特性在C语言中主要有三个维度来决定存储时期 、作用域 、链接。 1、存储时期 存储时期变量在内存中的保留时间生命周期 存储时期分为两种情况关键是看变量在程序执行过程中会不会被系统自动回收掉。 1) 静态存储时期 Static 在程序执行过程中一旦分配就不会被自动回收。 通常来说任何不在函数级别代码块内定义的变量。 无论是否在代码块内只要采用static关键字修饰的变量。 2) 自动存储时期 Automatic 除了静态存储以外的变量都是自动存储时期的或者说只要是在代码块内定义的非static的变量系统会肚脐自动非配和释放内存 2、作用域 作用域一个变量在定义该变量的自身文件中的可见性访问或者引用 在C语言中一共有3中作用域 1) 代码块作用域 在代码块中定义的变量都具有该代码的作用域。从这个变量定义地方开始到这个代码块结束该变量是可见的 2) 函数原型作用域 出现在函数原型中的变量都具有函数原型作用域函数原型作用域从变量定义处一直到原型声明的末尾。 3) 文件作用域 一个在所有函数之外定义的变量具有文件作用域具有文件作用域的变量从它的定义处到包含该定义的文件结尾处都是可见的 3、链接 链接一个变量在组成程序的所有文件中的可见性访问或者引用 C语言中一共有三种不同的链接 1) 外部链接 如果一个变量在组成一个程序的所有文件中的任何位置都可以被访问则称该变量支持外部链接 2) 内部链接 如果一个变量只可以在定义其自身的文件中的任何位置被访问则称该变量支持内部链接。 3) 空链接 如果一个变量只是被定义其自身的当前代码块所私有不能被程序的其他部分所访问则成该变量支持空链接 我们来看一个代码示例#include stdio.h int a 0;// 全局初始化区 char *p1; //全局未初始化区 int main() { int b; //b在栈区 char s[] abc; //栈 char *p2; //p2在栈区 char *p3 123456; //123456\0在常量区p3在栈上。 static int c 0 //全局静态初始化区 p1 (char *)malloc(10); p2 (char *)malloc(20); //分配得来得10和20字节的区域就在堆区。 strcpy(p1, 123456); //123456\0放在常量区编译器可能会将它与p3所指向的123456优化成一个地方。 }1.2动态内存当程序运行到需要一个动态分配的变量时必须向系统申请取得堆中的一块所需大小的存储空间用于存储该变量。当不在使用该变量时也就是它的生命结束时要显示释放它所占用的存储空间这样系统就能对该空间 进行再次分配做到重复使用有线的资源。下面介绍动态内存申请和释放的函数。1.2.1 malloc 函数malloc函数原型size是需要动态申请的内存的字节数。若申请成功函数返回申请到的内存的起始地址若申请失败返回NULL。我们看下面这个例子使用该函数时有下面几点要注意 1只关心申请内存的大小 2申请的是一块连续的内存。记得一定要写出错判断 3显示初始化。即我们不知这块内存中有什么东西要对其清零1.2.2 free函数在堆上分配的额内存需要用free函数显示释放函数原型如下使用free(),也有下面几点要注意 1必须提供内存的起始地址 调用该函数时必须提供内存的起始地址不能够提供部分地址释放内存中的一部分是不允许的。 2malloc和free配对使用 编译器不负责动态内存的释放需要程序员显示释放。因此malloc与free是配对使用的避免内存泄漏。p NULL是必须的因为虽然这块内存被释放了但是p仍指向这块内存避免下次对p的误操作 3不允许重复释放 因为这块内存被释放后可能已另分配这块区域被别人占用如果再次释放会造成数据丢失1.2.3 其它相关函数calloc函数分配内存需要考虑存储位置的类型。 realloc函数可以调整一段动态分配内存的大小1.3堆和栈比较1申请方式 stack: 由系统自动分配。例如声明在函数中一个局部变量 int b; 系统自动在栈中为b开辟空间 heap: 需要程序员自己申请并指明大小在c中malloc函数 ,如p1 (char *)malloc(10); 2申请后系统的响应 栈只要栈的剩余空间大于所申请空间系统将为程序提供内存否则将报异常提示栈溢出。 堆首先应该知道操作系统有一个记录空闲内存地址的链表当系统收到程序的申请时会遍历该链表寻找第一个空间大于所申请空间的堆结点然后将该结点从空闲结点链表中删除并将该结点的空间分配给程序另外对于大多数系统会在这块内存空间中的首地址处记录本次分配的大小这样代码中的delete语句才能正确的释放本内存空间。另外由于找到的堆结点的大小不一定正好等于申请的大小系统会自动的将多余的那部分重新放入空闲链表中。 3申请大小的限制 栈栈是向低地址扩展的数据结构是一块连续的内存的区域。这句话的意思是栈顶的地址和栈的最大容量是系统预先规定好的栈的大小是2M也有的说是1M总之是一个编译时就确定的常数如果申请的空间超过栈的剩余空间时将提示overflow。因此能从栈获得的空间较小。 堆堆是向高地址扩展的数据结构是不连续的内存区域。这是由于系统是用链表来存储的空闲内存地址的自然是不连续的而链表的遍历方向是由低地址向高地址。堆的大小受限于计算机系统中有效的虚拟内存。由此可见堆获得的空间比较灵活也比较大。 4申请效率的比较 栈由系统自动分配速度较快。但程序员是无法控制的。 堆是由new分配的内存一般速度比较慢而且容易产生内存碎片,不过用起来最方便。 5堆和栈中的存储内容 栈在函数调用时第一个进栈的是主函数中后的下一条指令函数调用语句的下一条可执行语句的地址然后是函数的各个参数在大多数的C编译器中参数是由右往左入栈的然后是函数中的局部变量。注意静态变量是不入栈的。当本次函数调用结束后局部变量先出栈然后是参数最后栈顶指针指向最开始存的地址也就是主函数中的下一条指令程序由该点继续运行。 堆一般是在堆的头部用一个字节存放堆的大小。堆中的具体内容由程序员安排。 6存取效率的比较char s1[] aaaaaaaaaaaaaaa;char *s2 bbbbbbbbbbbbbbbbb; aaaaaaaaaaa是在运行时刻赋值的 而bbbbbbbbbbb是在编译时就确定的 但是在以后的存取中在栈上的数组比指针所指向的字符串(例如堆)快。 比如对应的汇编代码第一种在读取时直接就把字符串中的元素读到寄存器cl中而第二种则要先把指针值读到edx中再根据edx读取字符显然慢了。 7最后总结 堆和栈的区别可以用如下的比喻来看出 栈就像我们去饭馆里吃饭只管点菜发出申请、付钱、和吃使用吃饱了就走不必理会切菜、洗菜等准备工作和洗碗、刷锅等扫尾工作他的好处是快捷但是自由度小。 堆就象是自己动手做喜欢吃的菜肴比较麻烦但是比较符合自己的口味而且自由度大。2内存对齐2.1 #pragma pack(n) 对齐用法详解1.什么是对齐以及为什么要对齐 现代计算机中内存空间都是按照byte划分的从理论上讲似乎对任何类型的变量的访问可以从任何地址开始但实际情况是在访问特定变量的时候经常在特定的内存地址访问这就需要各类型数据按照一定的规则在空间上排列而不是顺序的一个接一个的排放这就是对齐。 对齐的作用和原因各个硬件平台对存储空间的处理上有很大的不同。一些平台对某些特定类型的数据只能从某些特定地址开始存取。其他平台可能没有这种情况 但是最常见的是如果不按照适合其平台要求对数据存放进行对齐会在存取效率上带来损失。比如有些平台每次读都是从偶地址开始如果一个int型假设为 32位系统如果存放在偶地址开始的地方那么一个读周期就可以读出而如果存放在奇地址开始的地方就可能会需要2个读周期并对两次读出的结果的高低字节进行拼凑才能得到该int数据。显然在读取效率上下降很多。这也是空间和时间的博弈。 2.对齐的实现 通常我们写程序的时候不需要考虑对齐问题。编译器会替我们选择时候目标平台的对齐策略。当然我们也可以通知给编译器传递预编译指令而改变对指定数据的对齐方法。但是正因为我们一般不需要关心这个问题所以因为编辑器对数据存放做了对齐而我们不了解的话常常会对一些问题感到迷惑。最常见的就是struct数据结构的sizeof结果出乎意料。为此我们需要对对齐算法所了解。 作用 指定结构体、联合以及类成员的packing alignment; 语法#pragma pack( [show] | [push | pop] [, identifier], n )说明 1pack提供数据声明级别的控制对定义不起作用 2调用pack时不指定参数n将被设成默认值 3一旦改变数据类型的alignment直接效果就是占用memory的减少但是performance会下降 3.语法具体分析 1show可选参数显示当前packing aligment的字节数以warning message的形式被显示 2push可选参数将当前指定的packing alignment数值进行压栈操作这里的栈是the internal compiler stack同时设置当前的packing alignment为n如果n没有指定则将当前的packing alignment数值压栈 3pop可选参数从internal compiler stack中删除最顶端的record如果没有指定n则当前栈顶record即为新的packing alignment数值如果指定了n则n将成为新的packing aligment数值如果指定了identifier则internal compiler stack中的record都将被pop直到identifier被找到然后pop出identitier同时设置packing alignment数值为当前栈顶的record如果指定的identifier并不存在于internal compiler stack则pop操作被忽略 4identifier可选参数当同push一起使用时赋予当前被压入栈中的record一个名称当同pop一起使用时从internal compiler stack中pop出所有的record直到identifier被pop出如果identifier没有被找到则忽略pop操作 5n可选参数指定packing的数值以字节为单位缺省数值是8合法的数值分别是1、2、4、8、16。 4.重要规则 1复杂类型中各个成员按照它们被声明的顺序在内存中顺序存储第一个成员的地址和整个类型的地址相同 2每个成员分别对齐即每个成员按自己的方式对齐并最小化长度规则就是每个成员按其类型的对齐参数通常是这个类型的大小和指定对齐参数中较小的一个对齐 3结构、联合或者类的数据成员第一个放在偏移为0的地方以后每个数据成员的对齐按照#pragma pack指定的数值和这个数据成员自身长度两个中比较小的那个进行也就是说当#pragma pack指定的值等于或者超过所有数据成员长度的时候这个指定值的大小将不产生任何效果; 4复杂类型如结构整体的对齐注意是“整体”是按照结构体中长度最大的数据成员和#pragma pack指定值之间较小的那个值进行这样在成员是复杂类型时可以最小化长度 5结构整体长度的计算必须取所用过的所有对齐参数的整数倍不够补空字节也就是取所用过的所有对齐参数中最大的那个值的整数倍因为对齐参数都是2的n次方这样在处理数组时可以保证每一项都边界对齐 5.对齐的算法 由于各个平台和编译器的不同现以本人使用的gcc version 3.2.2编译器32位x86平台为例子来讨论编译器对struct数据结构中的各成员如何进行对齐的。 在相同的对齐方式下结构体内部数据定义的顺序不同结构体整体占据内存空间也不同如下 设结构体如下定义结构体A中包含了4字节长度的int一个1字节长度的char一个和2字节长度的short型数据一个。所以A用到的空间应该是7字节。但是因为编译器要对数据成员在空间上进行对齐。所以使用sizeof(strcut A)值为8。 现在把该结构体调整成员变量的顺序。这时候同样是总共7个字节的变量但是sizeof(struct B)的值却是12。 下面我们使用预编译指令#progma pack (value)来告诉编译器使用我们指定的对齐值来取代缺省的。sizeof(struct C)值是8。 修改对齐值为1sizeof(struct D)值为7。对于char型数据其自身对齐值为1对于short型为2对于int,float,double类型其自身对齐值为4单位字节。 6.四个概念值 1数据类型自身的对齐值就是上面交代的基本数据类型的自身对齐值。 2指定对齐值#progma pack (value)时的指定对齐值value。 3结构体或者类的自身对齐值其数据成员中自身对齐值最大的那个值。 4数据成员、结构体和类的有效对齐值自身对齐值和指定对齐值中小的那个值。有了这些值我们就可以很方便的来讨论具体数据结构的成员和其自身的对齐方式。有效对齐值N是最终用来决定数据存放地址方式的值最重要。有效对齐N就是表示“对齐在N上”也就是说该数据的”存放起始地址%N0”. 而数据结构中的数据变量都是按定义的先后顺序来排放的。第一个数据变量的起始地址就是数据结构的起始地址。结构体的成员变量要对齐排放结构体本身也要根 据自身的有效对齐值圆整(就是结构体成员变量占用总长度需要是对结构体有效对齐值的整数倍结合下面例子理解)。这样就不能理解上面的几个例子的值了。 例子分析 分析例子B假设B从地址空间0x0000开始排放。该例子中没有定义指定对齐值在笔者环境下该值默认为4。 第一个成员变量b的自身对齐值是1比指定或者默认指定对齐值4小所以其有效对齐值为1所以其存放地址0x0000符合0x0000%10. 第二个成员变量a其自身对齐值为4所以有效对齐值也为4所以只能存放在起始地址为0x0004到0x0007这四个连续的字节空间中符合0x0004%40, 且紧靠第一个变量。 第三个变量c,自身对齐值为2所以有效对齐值也是2可以存放在0x0008到0x0009 这两个字节空间中符合0x0008%20。所以从0x0000到0x0009存放的都是B内容。再看数据结构B的自身对齐值为其变量中最大对齐值(这里是b所以就是4所以结构体的有效对齐值也是4。根据结构体圆整的要求0x0009到0x000010字节10240。所以0x0000A到0x000B也为结构体B所占用。故B从0x0000到0x000B共有12个字节,sizeof(struct B)12; 同理,分析上面例子C第一个变量b的自身对齐值为1指定对齐值为2所以其有效对齐值为1假设C从0x0000开始那么b存放在0x0000符合0x0000%10; 第二个变量自身对齐值为4指定对齐值为2所以有效对齐值为2所以顺序存放在0x0002、0x0003、0x0004、0x0005四个连续字节中符合0x0002%20。 第三个变量c的自身对齐值为2所以有效对齐值为2顺序存放在0x0006、0x0007中符合0x0006%20。所以从0x0000到0x00007共八字节存放的是C的变量。 又C的自身对齐值为4所以C的有效对齐值为2。又8%20,C只占用0x0000到0x0007的八个字节。所以sizeof(struct C)8.字节对齐对程序的影响先让我们看几个例子吧(32bit,x86环境,gcc编译器): 设结构体如下定义现在已知32位机器上各种数据类型的长度如下: char:1(有符号无符号同) short:2(有符号无符号同) int:4(有符号无符号同) long:4(有符号无符号同) float:4 double:8 那么上面两个结构大小如何呢? 结果是: sizeof(strcut A)值为8 sizeof(struct B)的值却是12 结构体A中包含了4字节长度的int一个1字节长度的char一个和2字节长度的short型数据一个,B也一样;按理说A,B大小应该都是7字节。之所以出现上面的结果是因为编译器要对数据成员在空间上进行对齐。上面是按照编译器的默认设置进行对齐的结果,那么我们是不是可以改变编译器的这种默认对齐设置呢,当然可以.例如:sizeof(struct C)值是8。 修改对齐值为1sizeof(struct D)值为7。 后面我们再讲解#pragma pack()的作用.2.3修改编译器的默认对齐值1在VC IDE中可以这样修改[Project]|[Settings],c/c选项卡Category的Code Generation选项的Struct Member Alignment中修改默认是8字节。 2在编码时可以这样动态修改#pragma pack .注意:是pragma而不是progma.如果在编程的时候要考虑节约空间的话,那么我们只需要假定结构的首地址是0,然后各个变量按照上面的原则进行排列即可,基本的原则就是把结构中的变量按照 类型大小从小到大声明,尽量减少中间的填补空间.还有一种就是为了以空间换取时间的效率,我们显示的进行填补空间进行对齐,比如:有一种使用空间换时间做 法是显式的插入reserved成员reserved成员对我们的程序没有什么意义,它只是起到填补空间以达到字节对齐的目的,当然即使不加这个成员通常编译器也会给我们自动填补对齐,我们自己加上它只是起到显式的提醒作用.2.4字节对齐可能带来的隐患代码中关于对齐的隐患很多是隐式的。比如在强制类型转换的时候。例如:最后两句代码从奇数边界去访问unsignedshort型变量显然不符合对齐的规定。 在x86上类似的操作只会影响效率但是在MIPS或者sparc上可能就是一个error,因为它们要求必须字节对齐. 如果出现对齐或者赋值问题首先查看 1). 编译器的big little端设置 2). 看这种体系本身是否支持非对齐访问 3). 如果支持看设置了对齐与否,如果没有则看访问时需要加某些特殊的修饰来标志其特殊访问操作。 ARM下的对齐处理 from DUI0067D_ADS1_2_CompLib type qulifiers 有部分摘自ARM编译器文档对齐部分对齐的使用: 1.__align(num) 这个用于修改最高级别对象的字节边界。在汇编中使用LDRD或者STRD时就要用到此命令__align(8)进行修饰限制。来保证数据对象是相应对齐。这个修饰对象的命令最大是8个字节限制,可以让2字节的对象进行4字节对齐,但是不能让4字节的对象2字节对齐。__align是存储类修改,他只修饰最高级类型对象不能用于结构或者函数对象。 2.__packed __packed是进行一字节对齐 l 不能对packed的对象进行对齐 l 所有对象的读写访问都进行非对齐访问 l float及包含float的结构联合及未用__packed的对象将不能字节对齐 l __packed对局部整形变量无影响 l 强制由unpacked对象向packed对象转化是未定义,整形指针可以合法定 义为packed。 __packed int* p; //__packed int 则没有意义2.5对齐或非对齐读写访问带来问题__packed struct STRUCT_TEST{char a;int b;char c;} ; //定义如下结构此时b的起始地址一定是不对齐的,在栈中访问b可能有问题,因为栈上数据肯定是对齐访问[from CL]//将下面变量定义成全局静态不在栈上static char* p;static struct STRUCT_TEST a;void Main(){__packed int* q; //此时定义成__packed来修饰当前q指向为非对齐的数据地址下面的访问则可以p (char*)a; q (int*)(p1); *q 0x87654321; /* 得到赋值的汇编指令很清楚ldr r5,0x20001590 ; #0x12345678[0xe1a00005] mov r0,r5[0xeb0000b0] bl __rt_uwrite4 //在此处调用一个写4byte的操作函数[0xe5c10000] strb r0,[r1,#0] //函数进行4次strb操作然后返回保证了数据正确的访问[0xe1a02420] mov r2,r0,lsr #8[0xe5c12001] strb r2,[r1,#1][0xe1a02820] mov r2,r0,lsr #16[0xe5c12002] strb r2,[r1,#2][0xe1a02c20] mov r2,r0,lsr #24[0xe5c12003] strb r2,[r1,#3][0xe1a0f00e] mov pc,r14*/ /*如果q没有加__packed修饰则汇编出来指令是这样直接会导致奇地址处访问失败[0xe59f2018] ldr r2,0x20001594 ; #0x87654321[0xe5812000] str r2,[r1,#0]*///这样可以很清楚的看到非对齐访问是如何产生错误的//以及如何消除非对齐访问带来问题//也可以看到非对齐访问和对齐访问的指令差异导致效率问题}*声明本文于网络整理版权归原作者所有如来源信息有误或侵犯权益请联系我们删除或授权事宜。戳“阅读原文”我们一起进步
