1、内存管理简介
2、运作机制-动态内存
3、运作机制-静态内存
4、内存的应用场景与开发流程
5、操作系统抽象层简介
6、实现内存管理功能
7、实验结果与扩展实验
内存管理简介
内存的基本概念:内存管理模块管理系统的内存资源,它是操作系统的核心模块之一。主要包括内存的初始化、分配以及释放。
在系统运行过程中,内存管理模块通过对内存的申请/释放操作,来管理用户和OS对内存的使用,使内存的利用率和使用效率达到最优,同时最大限度地解决系统的内存碎片问题。
HuaweiLiteOS的内存管理分为静态内存管理和动态内存管理,提供内存初始化、分配、释放等功能。
运作机制-动态内存
运作机制
动态内存管理,即在内存资源充足的情况下,从系统配置的一块比较大的连续内存(内存池),根据用户需求,分配任意大小的内存块。当用户不需要该内存块时,又可以释放回系统供下一次使用。与静态内存相比,动态内存管理的好处是按需分配,缺点是内存池中容易出现碎片。LiteOS动态内存支持DLINK和BESTLITTLE两种标准算法。
1.DLINK动态内存管理
第一部分:堆内存(也称内存池)的起始地址及堆区域总大小。
第二部分:本身是一个数组,每个元素是一个双向链表,所有free节点的控制头都会被分类挂在这个数组的双向链表中。每次申请内存的时候,会从这个数组检索最合适大小的free节点,进行分配内存。每次释放内存时,会将该片内存作为free节点存储至这个数组,以便下次再利用。
第三部分:占用内存池极大部分的空间,是用于存放各节点的实际区域。
2、BESTLITTLE动态内存管理
1)LiteOS的动态内存分配支持最佳适配算法,即BESTLITTLE,每次分配时选择内存池中最小最适合的内存块进行分配。LiteOS动态内存管理在最佳适配算法的基础上加入了SLAB机制,用于分配固定大小的内存块,进而减小产生内存碎片的可能性。LiteOS内存管理中的SLAB机制支持可配置的SLABCLASS数目及每个CLASS的最大空间。
2)每次申请内存时,先在满足申请大小的最佳SLABCLASS中申请,(比如用户申请20字节内存,就在SLAB块大小为32字节的SLABCLASS中申请),如果申请成功,就将SLAB内存块整块返回给用户,释放时整块回收。如果满足条件的SLABCLASS中已无可以分配的内存块,则继续向内存池按照最佳适配算法申请。需要注意的是,如果当前的SLABCLASS中无可用SLAB块了,则直接向内存池申请,而不会继续向有着更大SLAB块空间的SLABCLASS申请。
3)释放内存时,先检查释放的内存块是否属于SLABCLASS,如果是SLABCLASS的内存块,则还回对应的SLABCLASS中,否则还回内存池中。
运作机制-静态内存
1、静态内存实质上是一块静态数组,静态内存池内的块大小在初始化时设定,初始化后块大小不可变更。
2、静态内存池由一个控制块和若干相同大小的内存块构成。控制块位于内存池头部,用于内存块管理。内存块的申请和释放以块大小为粒度。
内存管理应用场景与开发流程
动态内存使用场景
1、内存管理的主要工作是动态的划分并管理用户分配好的内存区间。
2、动态内存管理主要是在用户需要使用大小不等的内存块的场景中使用。
3、当用户需要分配内存时,可以通过操作系统的动态内存申请函数索取指定大小内存块,一旦使用完毕,通过动态内存释放函数归还所占用内存,使之可以重复使用。
静态内存使用场景
当用户需要使用固定长度的内存时,可以使用静态内存分配的方式获取内存,一旦使用完毕,通过静态内存释放函数归还所占用内存,使之可以重复使用。
动态内存开发流程
主要介绍BESTLITTLE开发流程
1、配置:LOSCFG_MEMORY_BESTFIT:置为YES,选中内存管理算法中的BESTFIT算法。LOSCFG_KERNEL_MEM_SLAB:置为YES,打开内存管理中的SLAB机制。
2、初始化:调用函数初始化用户指定的动态内存池,若用户使能了SLAB机制并且内存池中的可分配内存大于SLAB需要的最小内存,则会进一步初始化SLABCLASS。
3、申请任意大小的动态内存:调用函数从指定的内存池中申请指定大小的内存块,申请时内存管理先向SLABCLASS申请,申请失败后继续向堆内存空间申请,最后将申请结果返回给用户。在向堆内存空间申请时,会存在内存块的切分。
4、释放动态内存:调用函数向指定的动态内存池释放指定的内存块,释放时会先判断该内存块是否属于SLABCLASS,若属于,则将该内存块还回SLABCLASS。否则,向堆内存空间释放内存块。在向堆内存空间释放时,会存在内存块的合并
静态内存开发流程
1、规划一片内存区域作为静态内存池。
2、系统内部将会初始化静态内存池。将入参指定的内存区域分割为N块(N值取决于静态内存总大小和块大小),将所有内存块挂到空闲链表,在内存起始处放置控制头。
3、系统内部将会从空闲链表中获取第一个空闲块,并返回该块的用户空间地址。
4、将该块内存加入空闲块链表。
5、系统内部清零静态内存块,将入参地址对应的内存块清零。
注意事项:静态内存池区域,可以通过定义全局数组或调用动态内存分配接口方式获取。如果使用动态内存分配方式,在不需要静态内存池时,注意要释放该段内存,避免内存泄露。
操作系统抽象层简介
申请动态内存:void*osal_malloc(size_tsize);
释放动态内存:voidosal_free(void*addr);
申请且初始化动态内存为0:void*osal_zalloc(size_tsize);
重新申请分配动态内存:void*osal_realloc(void*ptr,size_tnewsize);
申请分配n个长度为size的动态内存空间:void*osal_calloc(size_tn,size_tsize);
实验结果
#include <osal.h>
static int mem_access_task_entry()
{
uint32_t i = 0;
size_t mem_size;
uint8_t* mem_ptr = NULL;
while (1)
{
mem_size = 1 << i++;
mem_ptr = osal_malloc(mem_size);
if(mem_ptr != NULL)
{
printf("access %d bytes memory success!\r\n", mem_size);
mem_ptr="liteos";
printf("%s",mem_ptr);
osal_free(mem_ptr);
mem_ptr = NULL;
printf("free memory success!\r\n");
}
else
{
printf("BearPi: access %d bytes memory failed!\r\n", mem_size);
return 0;
}
}
}
int standard_app_demo_main()
{
osal_task_create("mem_access_task",mem_access_task_entry,NULL,0x400,NULL,11);
return 0;
}
可以看到,系统启动后,串口shell的优先级为10,最先打印shell信息,接下来内存申请任务创建开始执行,不断增大内存的申请空间,在该芯片上最大能申请的空间为16384字节。