RTOS中动态内存和静态内存管理机制

strongerHuang 2021-12-13 08:30

关注+星标公众,不错过精彩内容

转自 | Mculove666


今天分享一点关于RTOS内存管理方面的内容。

阅读本文之前,建议先了解一下RTOS抢占式调度机制和时间片调度机制等相关内容。


1. 知识点回顾

1.1. 静态内存

uint8_t buffer[128];

当你写下这行代码时,就意味着你使用了128字节的静态内存,buffer的空间由编译器静态分配到栈中,且程序运行过程中,buffer的大小无法改变,这就称之为静态内存。

1.2. 动态内存

void *buffer_ptr = NULL;
buffer_ptr = malloc(128 * sizeof(uint8_t));

当你写下这行代码时,就意味着你使用了128字节的动态内存,buffer在程序运行时从堆中分配指定大小的空间,且不用的时候可以使用free释放,归还给堆空间。

2. RTOS中的动态内存管理

2.1. 为什么需要动态内存管理

静态内存由编译器分配,这个没什么好说的~

一般情况下使用malloc申请分配动态内存有两个缺陷:

① 由于分配算法的复杂度和堆空间的使用情况,分配的时间不定;

② 在不断申请、释放的过程中,容易因为内存对齐而产生碎片化内存;

这两个缺陷在「实时」操作系统中是不允许的,所以操作系统必须提供一套有效、合理、时间可确定的动态内存管理机制。

2.2. 如何进行动态内存管理

既然传统malloc存在两个缺陷,那就抱着解决这两个缺陷的目的出发,去建立一套更适合于嵌入式系统的动态内存管理系统。

目前有两种不同的解决方案:动态内存堆管理算法(mmheap)和静态内存池管理算法(mmblk),两种方法各有优缺点,TencentOS-tiny中两种管理算法都提供,接下来依托具体算法进行讲述。

3. 动态内存堆管理算法

3.1. TLSF算法

TLSF全称Two-Level Segregated Fit memory allocator,两级隔离Fit内存分配器,是一款通用的动态内存分配器,专门设计用于满足实时要求。

https://github.com/mattconte/tlsf

这款TLSF动态内存分配器具有以下特点:

  • malloc,free,realloc,memalign的算法复杂度变为O(1);
  • 每次分配的开销极低(4字节);
  • 低碎片化
  • 支持动态添加和删除内存池区域

TLSF主要采用两级位图(Two-Level Bitmap)与分级空闲块链表(Segregated Free List)的数据结构管理动态内存池(memory pool)以及其中的空闲块(free blocks),用Good-Fit的策略进行分配。

本文不对此算法进行深入讲解(博主太菜~),如果感兴趣可以查找TLSF算法论文阅读,这里我只从应用角度给出一些需要注意的点:

「TLSF算法分配速度不一定快,只是说能保证分配的时间是个常数」(malloc不能保证);

② TLSF也叫多内存堆管理算法,「支持动态增加或者删除多块不连续的内存」,将它们作为一个内存堆使用;

3.2. TencentOS-tiny中的实现

TencentOS-tiny中此算法的实现的动态内存分配器在tos_mmheap.htos_mmheap.c中,其中默认指定最大可管理的不连续内存堆有三个,可以自行修改:

#define K_MMHEAP_POOL_MAX 3

TencentOS-tiny中提供了默认的一个缓冲区作为堆空间,在tos_global.c中定义:


uint8_t k_mmheap_default_pool[TOS_CFG_MMHEAP_DEFAULT_POOL_SIZE] __ALIGNED__(4);

大小在tos_config.h中指定:

#define TOS_CFG_MMHEAP_EN               1u

#define TOS_CFG_MMHEAP_DEFAULT_POOL_SIZE        0x8000

3.3. mmheap使用示例

/**
 *@brief   打印当前mmeheap使用情况
 *@param   none
 *@retval  none
*/

int list_mmheap_info(void)
{
    k_err_t err;
    k_mmheap_info_t mmheap_info;

    err = tos_mmheap_check(&mmheap_info);
    if (err != K_ERR_NONE) {
        printf("current mmheap info check fail, err = %d\r\n", err);
        return -1;
    }
    else {
        printf("current mmheap info:\r\n\tused: %d[0x%08x] free:%d[0x%08x]\r\n\r\n", mmheap_info.used, mmheap_info.used, mmheap_info.free, mmheap_info.free);
        return 0;
    }
}

void task1_entry(void *arg)
{   
    void *ptr = NULL;
    size_t size;
    
    /* 输出块大小的最大值 */
    printf("K_MMHEAP_BLK_SIZE_MAX is %d(0x%08x) bytes\r\n\r\n", K_MMHEAP_BLK_SIZE_MAX, K_MMHEAP_BLK_SIZE_MAX);
    
    /* 打印当前内存使用情况 */
    list_mmheap_info();
    
    /* 申请一块内存使用 */
    size = 128;
    ptr = tos_mmheap_alloc(size);
    if (ptr == NULL) {
        printf("%d bytes mem alloc fail\r\n", size);
    }
    else {
        printf("%d bytes mem alloc success, ptr is 0x%08x\r\n\r\n", size, (uint32_t)ptr);
    }
    
    /* 打印当前内存使用情况 */
    list_mmheap_info();
    
    /* 释放申请的内存 */
    tos_mmheap_free(ptr);
    printf("mem free success\r\n\r\n");
    
    /* 打印当前内存使用情况 */
    list_mmheap_info();
    
    while (1) {
        tos_task_delay(1000);
    }
}

运行结果为:

4. 静态内存池管理算法

4.1. 管理机制

静态内存池就是将一块内存划分为n个大小相等的块,用户可以动态的申请、释放一个块,假装在使用动态内存。

4.2. TencentOS-tiny中的实现

TencentOS-tiny中静态内存池管理算法的实现在tos_mmblk.htos_mmblk.c中。

提供如下四个API:

//创建一个内存池
__API__ k_err_t tos_mmblk_pool_create(k_mmblk_pool_t *mbp, void *pool_start, size_t blk_num, size_t blk_size);

//销毁一个内存池
__API__ k_err_t tos_mmblk_pool_destroy(k_mmblk_pool_t *mbp);

//申请内存池中的一个空闲块
__API__ k_err_t tos_mmblk_alloc(k_mmblk_pool_t *mbp, void **blk);

//释放回内存池一个内存块
__API__ k_err_t tos_mmblk_free(k_mmblk_pool_t *mbp, void *blk);

4.3. 静态内存块使用示例

typedef struct blk_st {
    int   id;
    char* payload;
blk_t;

#define BLK_NUM 10

k_mmblk_pool_t mmblk_pool;
uint8_t mmblk_pool_buffer[BLK_NUM * sizeof(blk_t)];

void task1_entry(void *arg)
{   
    blk_t *ptr = NULL;
    k_err_t err;
    
    /* 打印出一个块的大小 */
    printf("block size is %d bytes\r\n"sizeof(blk_t));
    
    /* 申请一个块 */
    err = tos_mmblk_alloc(&mmblk_pool, (void*)&ptr);
    if (err != K_ERR_NONE) {
        printf("a mmblk alloc fail, err = %d\r\n", err);
        return;
    }
    else {
        printf("a mmblk alloc success\r\n");
    }
    
    /* 使用该块 */
    ptr->id = 1;
    ptr->payload = "hello";
    printf("mmblk id:%d payload:%s\r\n", ptr->id, ptr->payload);
    
    /* 使用完毕之后释放 */
    err = tos_mmblk_free(&mmblk_pool, ptr);
    if (err != K_ERR_NONE) {
        printf("a mmblk free fail, err = %d\r\n", err);
        return;
    }
    else {
        printf("a mmblk free success\r\n");
    }
    
    while (1) {
        tos_task_delay(1000);
    }
}

运行结果如图:

5. 总结

本节主要讲述了使用malloc和free的缺点:申请时间未知,内存容易产生碎片。

所以在实时操作系统中诞生了动态堆管理机制和静态内存池管理机制,两种比较如下:

① 内存堆(mmheap)管理机制,每次可以申请和释放「不定大小的内存」,分配时间虽然不快,但是能保证已知;

② 静态内存池(mmblk)管理机制,每次只能申请和释放一个块(「固定大小的内存」),分配时间最快,没有碎片。

------------ END ------------


后台回复RTOSMCU阅读更多相关文章。


欢迎关注我的公众号回复“加群”按规则加入技术交流群,回复“1024”查看更多内容。



欢迎关注我的视频号:


点击“阅读原文”查看更多分享,欢迎点分享、收藏、点赞、在看。

strongerHuang 作者黄工,高级嵌入式软件工程师,分享嵌入式软硬件、物联网、单片机、开发工具、电子等内容。
评论 (1)
游客_528972021-12-13 12:12
TLSF基本没有内存碎片,并且level确保是best fi
  • 文/Leon编辑/cc孙聪颖‍蛇年春晚最有意思的节目,一定非机器人跳舞莫属。就算是遥控或预编程,机器人能够做出如此复杂的动作,在五年前都是不敢想象的事情,其制造商宇树科技也因此火爆全网。就在春节过后不到一个月,会骑自行车的人形机器人诞生了。这背后,是近年来“具身智能”概念的迅猛发展。“我们造了一个跟人一样灵动的机器人!”3月11日,智元机器人联合创始人兼首席技术官彭志辉在微博上说道。在视频中,灵犀X2会骑自行车、能跳《科目三》,还可以与人促膝长谈,甚至拿起葡萄“穿针引线”。在全球人形机器人领域,
    华尔街科技眼 2025-03-17 12:38 78浏览
  • esp32s3使用platformio 点亮1.69寸TFT历程之LVGL移植 继上一篇我历经很久的时间点亮了1.69寸TFT之后。我开始进行LVGL的移植。开始LVGL的学习。用platformio 开发esp32s3真的好方便。按照上一节的环境。本次由于需要使用LVGL。打开platformio lib界面搜索LVGL。目前里面的版本是9.2.2。我使用的8.3.6。然后按照下图加载到自己的工程项目。待加载完毕后。我们会看到libdeps下面会出现LVGL库好了,这一步完成后。我们就开始移植
    zhusx123 2025-03-15 20:58 104浏览
  • 工艺工程师(Process Engineer)在工业生产中扮演着重要的角色,负责设计、优化和管理各种工业流程。这些流程通常涉及化学、物理或生物转化,旨在将原材料和能源转化为有用的产品。以下是关于工艺工程师角色、职责、技能和行业应用的详细分析,旨在为读者提供全面的理解。定义与范围根据 Wikipedia 的定义,工艺工程(Process Engineering)是理解和应用自然基本原理和定律,将原材料和能源在工业层面转化为有用产品的过程。它涵盖了化学、物理和生物流程的设计、操作
    优思学院 2025-03-14 12:26 50浏览
  • 近日,2025年GTI国际产业大会成功举办,活动上GTI Awards 2025获奖名单正式揭晓,紫光展锐连续三年斩获国际权威机构GTI颁发的大奖。此次,T8300凭借在5G技术创新和娱乐体验方面的卓越表现,荣获GTI“移动技术创新突破奖”(Innovative Breakthrough in Mobile Technology Award)。GTI是由中国移动、软银、沃达丰等运营商于2011年发起成立的国际产业合作平台。GTI Awards作为全球通信行业最具影响力的奖项之一,旨在表彰为行业
    紫光展锐 2025-03-14 17:35 66浏览
  •        在工业物联网的世界里,设备之间的“语言不通”曾让无数工厂陷入效率泥潭。想象一个汽车制造车间:1980年代的老式PLC控制器用Modbus RTU协议“说话”,2020年的智能机械臂支持OPC UA协议,而散布在角落的电表和传感器则操着DLT645等不同“方言”。这种协议碎片化让数据互通成为奢望,直到广和通4G模块化身“工业翻译官”,用多协议兼容和边缘计算能力打破僵局。一、从“铁皮盒子”到“边缘大脑”的技术蜕变    &nb
    中科领创 2025-03-14 14:14 50浏览
  • 宠物饮水机是专为宠物设计的自动供水设备,它能够持续提供新鲜流动的水,刺激宠物饮水欲望,保持宠物健康。智能水位监测功能可确保宠物始终有水可饮,同时避免溢水和干烧,是现代宠物家庭的理想选择。那么,宠物饮水机水箱是如何实现低水位提醒功能的呢?ICMAN液位检测芯片轻松实现宠物饮水机的水箱低液位提醒功能!工作原理 :基于双通道电容式单点液位检测原理方案特点:液位检测精度高达±1mm,超强抗干扰,动态CS 10V 为家用电器水位提醒的应用提供了一种简单而又有效的实现方式<iframe height=
    ICMAN 2025-03-14 16:46 72浏览
  • 在求职路上,一直没能拿到理想的录用通知,真的要放低要求吗?对很多人来说,这个问题往往让人进退两难。期待中那个能够激发自我潜能又能带来丰厚回报的职位,似乎离自己遥不可及。可是眼看着账单越压越重,生活在缓缓拖累前行。在这种局面下,究竟该不该向现实妥协,先找一份工作再说?有些人会觉得,先就业意味着放弃理想,觉得一旦走上这条路,就难以回到最初的目标。但事实上,这种担忧常常让人陷入犹豫与停滞。路走不通时,不代表必须原地不动。有时选择一份尚可接受的工作,也能带来意想不到的机会。公司内部的人脉、行业的历练,乃
    优思学院 2025-03-14 17:12 64浏览
  • 在安防监控领域,图像信号处理芯片的性能直接决定了摄像机的成像质量与应用效果。今天,为大家重磅介绍一款专为专业安防摄像机精心打造的图像信号处理芯片——XS5037C,它以全方位的卓越性能与显著优势,成为安防监控领域的得力之选,尤其是其出色的低功耗特性,更为产品增色不少。低功耗设计 节能典范在能耗方面,XS5037C 展现出了卓越的优势。其内核电压仅为 1.1V,普通 IO 电压设定为 3.3V,PSRAM IO 和 PSRAM 电压为 1.8V,Sensor DVP IO 电压同样为 1.8V,D
    芯片徐15652902508 2025-03-14 09:49 44浏览
  • 在现代机械传动系统中,电机与传动轴的连接至关重要。正确的连接方式不仅能提高传动效率,还能延长设备的使用寿命。本文将探讨电机传动轴的几种常见连接方式及其优缺点。1.直接连接直接连接是将电机的输出轴与传动轴直接相连,通常采用联轴器进行连接。这种方式的优点是结构简单,传动效率高,适合于高转速和高精度的应用场合。然而,直接连接对对中精度要求较高,稍有偏差就可能导致振动和磨损。2.齿轮连接齿轮连接通过齿轮传动将电机的动力传递到传动轴。该方式的优点在于能够实现较大的转速变化和扭矩增益,适合于需要大功率和高扭
    博扬智能 2025-03-14 16:32 65浏览
  • 万物互联时代,全屋智能正从概念走向现实,而蓝牙低功耗(BLE)技术凭借独特优势,已成为构建智慧家庭生态的核心驱动力之一。作为一项成熟且持续创新的无线通信协议,BLE技术不仅以“低功耗”定义行业标准,更凭借Mesh组网能力打破场景疆界,为智能家居设备提供了灵活、可靠、可扩展的解决方案,有力推动了全屋智能的落地应用。据中商产业研究院整理数据显示,2023年我国智能家居市场规模为7257亿元,预计到2024年将达7848亿元,到2025年将达到8526亿元,同比增长率约为10%。随着未来新房建设和老房
    华普微HOPERF 2025-03-14 17:08 60浏览
  • 一、引言:语音芯片的智能化浪潮在万物互联的智能化时代,语音交互技术已成为人机交互的重要纽带。从智能家电的提示音到儿童玩具的趣味互动,从工业设备的语音告警到公共服务设施的自动播报,语音播放芯片IC作为核心硬件支撑,正在重塑各行各业的用户体验。在众多解决方案中,WTN6、WT588、WT2003H、WTV四大系列产品,凭借差异化的技术特性构建了完整的语音芯片产品矩阵。本文将深度解析这四大主流芯片的技术特点与应用场景,为开发者提供选型参考。二、主流语音芯片技术特性全解析2.1 WTN6系列:高性价比的
    广州唯创电子 2025-03-17 09:04 122浏览
  • 失效模式与影响分析(FMEA)失效模式与影响分析(FMEA)是一种系统方法,用于识别和分析系统或过程中的潜在失效,广泛应用于工程和制造领域,以提高产品可靠性和安全性。最新标准由 2019 年发布的 AIAG-VDA FMEA 手册(第一版) 定义,该手册结合了美国和欧洲汽车行业的最佳实践,并引入了 七步法,确保分析全面且结构化。图:优思学院六西格玛新版 FMEA 失效分析的七个步骤1. 规划与准备确定 FMEA 研究的 范围、边界和目标。组建跨职能团队(设
    优思学院 2025-03-17 14:43 77浏览
  • 一、问题现象:语音播放异常的典型表现在使用WT588F(E)系列语音芯片的开发过程中,工程师常会遇到以下两类典型异常现象:播放不全:语音仅播放前段内容后突然中断,或特定段落无法触发播放断续:音频输出存在明显卡顿、爆音或波形畸变某智能门锁项目实测数据显示,在首批样机中有2%的设备出现语音提示突然中断的情况,经排查发现电源电压在播放瞬间跌落至2.0V(低于芯片工作阈值)。这类问题的根源往往隐藏于硬件设计与系统协同的细节之中。二、核心机理:电压稳定性对语音芯片的影响2.1 电源系统的动态响应特性WT5
    广州唯创电子 2025-03-17 09:18 108浏览
  • 随着智能家居的普及,扫地机器人、擦窗机器人、洗地机等清洁设备正从“功能型”向“智能交互型”跃迁。用户不仅需要高效的清洁能力,更期待直观的语音提示、多传感器协同以及稳定可靠的性能。WTV380-8S语音芯片凭借SOP8超小封装(5mm×6mm)、380秒语音容量、强大扩展性及超高性价比,成为清洁设备语音交互与智能控制的核心解决方案,助力厂商打造差异化产品。一、微型封装,极致节省PCB空间WTV380-8S采用SOP8封装设计(5mm×6mm),体积小巧,可无缝嵌入清洁设备紧凑的电路板中,为电池、电
    广州唯创电子 2025-03-14 09:14 48浏览
我要评论
1
0
点击右上角,分享到朋友圈 我知道啦
请使用浏览器分享功能 我知道啦