【代码质量】嵌入式编程中节省内存的软件设计技巧
ID:最后一个bug
作者:未知bug
首先聊一聊
大家都知道进行单片机编程和计算机编程有个最大的差别就是单片机的资源非常的有限,并且对于大部分低端单片机而言都没有操作系统。除了一些嵌入式级的芯片用了Linux系统外,其他大部分操作都是比较简单的RTOS,可能还有一些简单的应用或者芯片根本不用系统,直接是裸机程序。
不过大部分单片机编程都与硬件密切的结合,这样工程师能够对当前的项目对象有更多的把控能力和理解能力。但是由于它的简单,我们平时在工作中往往需要控制一个项目的成本,对于单片机的选型和资源的评估都是非常谨慎;同样随着我们项目功能的不断扩展,也会让系统程序逐步变得庞大,这时候资源的使用就更需要节约点用了。
所以当资源受限制(一般的单片机RAM也就Kb级别),比如说单片机RAM不够了,即使你有再牛的算法可能也无法加入到项目中来,那么有些同志们会问,那换芯片不就可以了吗?我只想说这位同志你想多了,对于不怎么热卖产品或者不规范的公司可能还允许你试一试,可是一般的公司项目卡着走的,换了主控芯片,暂且不说软件上的移植工作,换了芯片成本上必定增加,产品的测试都得重新规划,老板领导可不愿意了。
那么主控芯片换不了我们还有什么办法呢?那我们应该从原本的程序中挤出资源来使用了,下面我总结了几种常用方法供大家参考。(具体内容可以网络查找)
共联体-union
union-共联体,是C语言常用的关键字。从字面上的意思就是共同联合在一起的意思,union所有的成员共同维护一段能够内存空间,其内存的大小取决于所有成员中占用空间最大的成员。
union结构体由于是共用同一片内存可以大大节省内存空间,那一般什么情况下使用union?又或者union还有什么特点?下面我将用几点为大家解答。
1)所有的union的成员及本身的地址是一样的。
2)union的存储模型受大小端的影响,我们可以通过下面的代码进行测试。(如果输出结果为1,表示小端模式,否则为大端模式)
大小端小知识
大端模式(Big_endian):一个数据的高字节存储在低地址,低字节存储在高地址。其指针指向的首地址位于低地址。
小端模式(Little_endian):一个数据的高字节存储在高地址,低字节存储在低地址。其指针指向的首地址位于高地址。
3)union不同于结构体struct,union对成员的改变可能会影响到其他成员变量,所以我们要形成一种互斥使用,比如说我们的顺序执行其实就是每个代码都是互斥的,所以我们可以用union进行函数处理缓存等。(个人觉得也可以认为是分时复用,并且是不会受内存初值影响的处理)
#include
typedef union _tag_test
{
char a;
int b;
}uTest;
uTest test;
unsigned char Checktype(void);
int main(void)
{
printf("%x\n",(unsigned int)&test.a);
printf("%x\n",(unsigned int)&test.b);
printf("%x\n",(unsigned int)&test);
printf("%d\n",Checktype());
}
unsigned char Checktype(void)
{
uTest chk;
chk.b = 0x01;
if(chk.a == 0x01)return 1;
return 0;
}
位域
位域可能对于初学者用得比较少,不过对于大部分参加工作的工程师应该屡见不鲜了,确实它也是我们省内存的神器。
因为在我们平时编程过程中,我们使用的变量与实际情况是息息相关的,就比如说开关的状态,我们一般就是0或者是1分别表示打开和关闭,那么我们用一个bit就能表示,假如说我们用一个char来存储就几乎浪费了7个bit,如果以后也有类似的的情况,那么大部分内存都得不到有效的应用。所以C语言的位域就是用来解决这个问题。
不过我们需要注意如下几点:
1)位域是在结构体中实现的,其中位域规定的长度不能超过所定义类型,且一个位域只能定义在同一个存储单元中。
2)无名位域的使用,可以看下面的代码。
3)由于位域与数据类型有关系,那么他的内存占用情况也与平台的位数相关。(相关内容可网络查找)
#include
//结果:编译通过
//原因:常规形式(结构体占用两个字节)
typedef struct _tag_test1
{
char a:1;
char b:1;
char c:1;
char d:6;
}sTest1;
//结果:编译无法通过
//原因:d的位域长度10超过了char类型长度
/*
typedef struct _tag_test2
{
char a:1;
char b:1;
char c:1;
char d:10;
}sTest2;
*/
//结果:编译可通过
//原因:下面使用无名位域,且占8个字节
typedef struct _tag_test3
{
int a:1;
int b:1;
int :0;//无名位域
int c:1;
}sTest3;
int main(void)
{
printf("%d\n",sizeof(sTest1));
printf("%d\n",sizeof(sTest3));
printf("欢迎关注公众号:最后一个bug\n");
}
结构体对齐
结构体对齐问题可能大部分人关注的不是很多,可能在通讯领域进行内存的copy时候接触得比较多。结构体对齐问题也是与平台相关,CPU为了提高访问内存的效率,一次性可能读取2个字节,4个字节,8个字节等,所以编译器会自动对结构体内存进行对齐。
废话不多说,代码说明一切:
#include
#pragma pack(1)
//有字节对齐预编译结果为:12,8
//无字节对齐预编译结果为:6,6
typedef struct _tag_test1{
char a;
int b;
char c;
}STest1;
typedef struct _tag_test2{
int b;
char a;
char c;
}STest2;
int main(void)
{
printf("%d\n",sizeof(STest1));
printf("%d\n",sizeof(STest2));
printf("欢迎关注公众号:最后一个bug\n");
}
算法优化
算法优化其实主要是我们通过修改一些算法的实现一种效率与内存使用的一个平衡,我们都知道我们的算法都存在着复杂度的问题,我们大部分高效率的算法都是通过使用内存来换效率,也就是一种用空间换时间的概念。那么当我们内存使用有限的时候我们可以适当的用时间来换空间的方法,腾出更多的空间来实现更多的功能。
同样我们在进行相关设计的时候可以尽量使用局部变量来减少全局变量的使用!
1
参考demo:
1#include "led.h"
2#include "delay.h"
3#include "usart.h"
4
5#define DEV_NUM_MAX (3)
6#define DEV_PARAM_MAX (2)
7
8typedef struct _tag_DevParam
9{
10 char* Name; //设备名称
11 uint32_t Param[DEV_PARAM_MAX]; //设备参数
12}sDevParam;
13
14
15 const sDevParam stDevParam[DEV_NUM_MAX] = {
16 {"Uart1",57600,0},
17 {"Uart2",57600,1},
18 {"CAN",1000000,0},
19 };
20/***************************************
21 * Fuction:const内存分配测试
22 * Author :bug菌
23 **************************************/
24 int main(void)
25 {
26 uint8_t t = 0;
27 uint8_t devCnt = 0;
28
29 delay_init(); //延时函数初始化
30 uart_init(115200); //串口初始化
31
32 printf("\n*******************const Test*******************\r\n");
33
34 for(devCnt = 0 ;devCnt < DEV_NUM_MAX;devCnt++)
35 {
36 printf("DevName = %s,Param1 = %d,Param2 = %d\r\n",stDevParam[devCnt].Name,\
37 stDevParam[devCnt].Param[0],\
38 stDevParam[devCnt].Param[1]);
39 }
40 printf("stDevParam Size : %d \r\n",sizeof(stDevParam));
41 printf("stDevParam Addr : 0x%X \r\n",stDevParam);
42 printf("\n***********欢迎关注公众号:最后一个bug************\n");
43 while(1)
44 {
45 delay_ms(10);
46 if(++t > 150){LED0=0;}else{LED0=1;}
47 }
48 }
运行结果:
分析一下:
对于stm32的所有存储映像都在对应工程所编译生成的.map文件中,对.map文件(其文件在工程目录中)的熟悉度就在一定程度上彰显你对stm32单片机的熟练程度。
程序编译成功以后,就可以直接在map文件中查找const修饰的数组名,从而得到如下结果:
从上图我们了解到其stDevParam变量位置0x080016b8数据区且位于(.contdata段--只读数据段)并占用了36个字节,与我们串口输出结果是相符合的。
2
3
上图来源于ST官网
关注微信公众号『技术让梦想更伟大』,后台回复“m”查看更多内容,回复“加群”加入技术交流群。 长按前往图中包含的公众号关注