小熊派华为物联网操做系统LiteOS内核教程06-内存管理

1. LiteOS内核的内存管理

1.1. 内存管理

在系统运行的过程当中，一些内存空间大小是不肯定的，好比一些数据缓冲区，因此系统须要提供内存空间的管理能力，用户能够在使用的时候申请须要的内存空间，使用完毕释放该空间，以便再次利用。

Huawei LiteOS 的内存管理模块经过对内存的申请/释放操做，来管理用户和OS对内存的使用，使内存的利用率和使用效率达到最优，同时最大限度地解决系统的内存碎片问题。

1.2. 动态内存管理

动态内存管理，即在内存资源充足的状况下，从系统配置的一块比较大的连续内存（内存池），根据用户需求，分配任意大小的内存块。当用户不须要该内存块时，又能够释放回系统供下一次使用。

与静态内存相比，动态内存管理的好处是按需分配，缺点是内存池中容易出现碎片。

LiteOS动态内存支持 DLINK 和 BEST LITTLE 两种标准算法。

1.2.1. DLINK 动态内存管理算法

DLINK动态内存管理结构以下图所示：

• 第一部分

堆内存（也称内存池）的起始地址及堆区域总大小。

• 第二部分

自己是一个数组，每一个元素是一个双向链表，全部free节点的控制头都会被分类挂在这个数组的双向链表中。

• 第三部分

占用内存池极大部分的空间，是用于存放各节点的实际区域。

1.2.2. BEST LITTLE 算法（重点）

LiteOS 的动态内存分配支持最佳适配算法，即 BEST LITTLE，每次分配时选择内存池中最小最适合的内存块进行分配。

LiteOS 动态内存管理在最佳适配算法的基础上加入了 SLAB 机制，用于分配固定大小的内存块，进而减少产生内存碎片的可能性。

LiteOS 内存管理中的 SLAB 机制支持可配置的 SLAB CLASS 数目及每一个 CLASS 的最大空间。

现以 SLAB CLASS 数目为 4，每一个 CLASS 的最大空间为 512 字节为例说明 SLAB 机制：

在内存池中共有 4 个 SLAB CLASS，每一个 SLAB CLASS 的总共可分配大小为 512 字节，第一个 SLAB CLASS 被分为 32 个16 字节的 SLAB 块，第二个 SLAB CLASS 被分为 16 个 3 2字节的 SLAB 块，第三个 SLAB CLASS 被分为 8 个 64 字节的 SLAB 块，第四个 SLAB CLASS 被分为 4 个 128 字节的 SLAB 块。这 4 个 SLAB CLASS 是从内存池中按照最佳适配算法分配出来的。

初始化内存管理时，首先初始化内存池，而后在初始化后的内存池中按照最佳适配算法申请 4 个 SLAB CLASS，再逐个按照 SLAB 内存管理机制初始化 4 个 SLAB CLASS。

每次申请内存时，先在知足申请大小的最佳 SLAB CLASS 中申请，（好比用户申请 20 字节内存，就在 SLAB 块大小为 32 字节的 SLAB CLASS 中申请），若是申请成功，就将 SLAB 内存块整块返回给用户，释放时整块回收。若是知足条件的 SLAB CLASS 中已无能够分配的内存块，则继续向内存池按照最佳适配算法申请。须要注意的是，若是当前的 SLAB CLASS 中无可用 SLAB 块了，则直接向内存池申请，而不会继续向有着更大 SLAB 块空间的 SLAB CLASS 申请。

释放内存时，先检查释放的内存块是否属于 SLAB CLASS，若是是 SLAB CLASS 的内存块，则还回对应的 SLAB CLASS 中，不然还回内存池中。

1.2.3. 两种动态内存管理方法的选择

LiteOS动态内存管理的方法使用宏定义的方法使能，在用户工程目录下的OS_CONFIG中的target_config.h文件中配置。

在该文件中，找到下面这两项宏定义，置为 YES 则表示使能：

• 开启BEST LITTLE 算法

#define LOSCFG_MEMORY_BESTFIT   YES

• 开启SLAB机制

#define LOSCFG_KERNEL_MEM_SLAB  YES

1.3. 动态内存管理的应用场景

内存管理的主要工做是动态的划分并管理用户分配好的内存区间。

动态内存管理主要是在用户须要使用大小不等的内存块的场景中使用。当用户须要分配内存时，能够经过操做系统的动态内存申请函数索取指定大小内存块，一旦使用完毕，经过动态内存释放函数归还所占用内存，使之能够重复使用。

2. 动态内存管理API

Huawei LiteOS 系统中的内存管理模块管理系统的内存资源，主要提供内存的初始化、分配以及释放功能。

Huawei LiteOS 系统中提供的内存管理 API 都是以 LOS 开头，可是这些 API 使用起来比较复杂，因此本文中咱们使用 Huawei IoT Link SDK 提供的统一API接口进行实验，这些接口底层已经使用 LiteOS 提供的API实现，对用户而言更为简洁，API列表以下：

osal的api接口声明在<osal.h>中，使用相关的接口须要包含该头文件，关于函数的详细参数请参考该头文件的声明。

相关的接口定义在osal.c中，基于LiteOS的接口实如今 liteos_imp.c文件中：

接口名	功能描述
osal_malloc	按字节申请分配动态内存空间
osal_free	释放已经分配的动态内存空间
osal_zalloc	按字节申请分配动态内存空间，分配成功则初始化这块内存全部值为0
osal_realloc	从新申请分配动态内存空间
osal_calloc	申请分配num个长度为size的动态内存空间

不管选择使用哪一种动态内存管理算法，都使用该API。

2.1. osal_malloc

osal_malloc接口用于按字节申请分配动态内存空间，其接口原型以下：

void *osal_malloc(size_t size)
{
    void *ret = NULL;

    if((NULL != s_os_cb) &&(NULL != s_os_cb->ops) &&(NULL != s_os_cb->ops->malloc))
    {
        ret = s_os_cb->ops->malloc(size);
    }

    return ret;

}

该接口的参数说明以下表：

参数	描述
size	申请分配的内存大小，单位Byte
返回值	分配成功 - 返回内存块指针
	分配失败 - 返回NULL

2.2. osal_free

osal_free接口用于释放已经分配的动态内存空间，其接口原型以下：

void  osal_free(void *addr)
{

    if((NULL != s_os_cb) &&(NULL != s_os_cb->ops) &&(NULL != s_os_cb->ops->free))
    {
        s_os_cb->ops->free(addr);
    }

    return;
}

内存块free以后，记得使内存块指针为NULL，不然会成为野指针！

该接口的参数说明以下表：

参数	描述
addr	动态分配内存空间的指针
返回值	无返回值

2.3. osal_zalloc

osal_zalloc接口用于按字节申请分配动态内存空间，分配成功则初始化这块内存全部值为0，其接口原型以下：

void *osal_zalloc(size_t size)
{
    void *ret = NULL;

    if((NULL != s_os_cb) &&(NULL != s_os_cb->ops) &&(NULL != s_os_cb->ops->malloc))
    {
        ret = s_os_cb->ops->malloc(size);
        if(NULL != ret)
        {
            memset(ret,0,size);
        }
    }

    return ret;

}

该接口的参数说明以下表：

参数	描述
size	申请分配的内存大小，单位Byte
返回值	分配成功 - 返回内存块指针
	分配失败 - 返回NULL

2.4. osal_realloc

osal_realloc接口用于从新申请分配动态内存空间，其接口原型以下：

void *osal_realloc(void *ptr,size_t newsize)
{
    void *ret = NULL;

    if((NULL != s_os_cb) &&(NULL != s_os_cb->ops) &&(NULL != s_os_cb->ops->realloc))
    {
        ret = s_os_cb->ops->realloc(ptr,newsize);
    }

    return ret;
}

该接口的参数说明以下表：

参数	描述
ptr	已经分配了内存空间的指针
newsize	申请分配的新的内存大小，单位Byte
返回值	分配成功 - 返回内存块指针
	分配失败 - 返回NULL

2.5. osal_calloc

osal_calloc接口用于申请分配num个长度为size的动态内存空间，其接口原型以下：

void *osal_calloc(size_t n, size_t size)
{
    void *p = osal_malloc(n * size);
    if(NULL != p)
    {
        memset(p, 0, n * size);
    }

    return p;
}

该接口的参数说明以下表：

参数	描述
n	申请分配内存块的数目
size	申请分配的每一个内存块的内存大小，单位Byte
返回值	分配成功 - 返回内存块指针
	分配失败 - 返回NULL

3. 动手实验 —— 测试动态内存分配的最大字节

实验内容

本实验中将建立一个任务，从最小字节开始，不停的申请分配内存，释放分配的内存，直到申请失败，串口终端中观察能够申请到的最大字节。

实验代码

首先打开上一篇使用的 HelloWorld 工程，基于此工程进行实验。

在Demo文件夹右击，新建文件夹osal_kernel_demo用于存放内核的实验文件（若是已有请忽略这一步）。

接下来在此文件夹中新建一个实验文件 osal_mem_demo.c，开始编写代码：

/* 使用osal接口须要包含该头文件 */
#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);

            /* 释放申请的内存，便于下次申请 */
            osal_free(mem_ptr);

            /* 将内存块指针置为NULL，避免称为野指针 */
            mem_ptr = NULL;

            printf("free memory success!\r\n");
           
        }
        else
        {
            /* 申请失败，打印信息，任务结束 */
            printf("access %d bytes memory failed!\r\n", mem_size);
            return 0;
        }
    }
}

/* 标准demo启动函数，函数名不要修改，不然会影响下一步实验 */
int standard_app_demo_main()
{
    /* 建立任务，任务优先级为11，shell任务的优先级为10 */
    osal_task_create("mem_access_task",mem_access_task_entry,NULL,0x400,NULL,11);
    return 0;
}

编写完成以后，要将咱们编写的 osal_mem_demo.c文件添加到makefile中，加入整个工程的编译：

这里有个较为简单的方法，直接修改Demo文件夹下的user_demo.mk配置文件，添加以下代码：

#example for osal_mem_demo
ifeq ($(CONFIG_USER_DEMO), "osal_mem_demo")    
    user_demo_src  = ${wildcard $(TOP_DIR)/targets/STM32L431_BearPi/Demos/osal_kernel_demo/osal_mem_demo.c}
endif

添加位置如图：

这段代码的意思是：

若是 CONFIG_USER_DEMO 宏定义的值是osal_mem_demo，则将osal_mem_demo.c文件加入到makefile中进行编译。

那么，如何配置 CONFIG_USER_DEMO 宏定义呢？在工程根目录下的.sdkconfig文件中的末尾便可配置：

由于咱们修改了mk配置文件，因此点击从新编译按钮进行编译，编译完成后点击下载按钮烧录程序。

实验现象

程序烧录以后，便可看到程序已经开始运行，在串口终端中可看到实验的输出内容：

linkmain:V1.2.1 AT 11:30:59 ON Nov 28 2019

WELCOME TO IOT_LINK SHELL

LiteOS:/>access 1 bytes memory success!
free memory success!
access 2 bytes memory success!
free memory success!
access 4 bytes memory success!
free memory success!
access 8 bytes memory success!
free memory success!
access 16 bytes memory success!
free memory success!
access 32 bytes memory success!
free memory success!
access 64 bytes memory success!
free memory success!
access 128 bytes memory success!
free memory success!
access 256 bytes memory success!
free memory success!
access 512 bytes memory success!
free memory success!
access 1024 bytes memory success!
free memory success!
access 2048 bytes memory success!
free memory success!
access 4096 bytes memory success!
free memory success!
access 8192 bytes memory success!
free memory success!
access 16384 bytes memory success!
free memory success!
access 32768 bytes memory failed!

能够看到，系统启动后，首先打印版本号,串口shell的优先级为10，最早打印shell信息，接下来内存申请任务建立开始执行，在该芯片上最大能申请的空间为 16384 字节。

关注“小熊派开源社区”微信公众号，回复“LiteOS内核实战”获取实战源代码。

小熊派开源社区，专一于IoT、AI、5G等前沿技术分享，关注“小熊派开源社区”微信公众号，获取更多资料教程。