ARM学习(31)编译器对overlay方式的支持
ARM学习(31)编译器对overlay方式的支持
1、overlay介绍
overlay:重叠得意思,就是可以重复利用得空间,一般在内存上使用这种空间。比如以Windows操作系统为例,其存储空间(ROM/FLASH)一般相对较大,但是内存相对较少,内存要加载Flash上面得较多数据,就得空间上面重复使用。
比如一个游侠里面油很多动态链接库dll,内存有限,只能加载一部分dll库,当用到一些库时,就会将一些库覆盖掉,然后调用这些库,当然这里有很多替换得算法,比如LRU,least recently used,最近最少使用得会被替换,由于被替换得库不确定,所以加载得地址不确定,这就要求dll可以动态加载,根据加载得地址进行偏移寻址,这就是PIC,位置无关,dll里面得代码均使用相对寻址,所以加载到任何地址均可以使用(理论上)。
嵌入式系统为了运行效率高,往往会在ram上面执行代码(相对Flash),所以ram既要放代码,也要存放数据,相对比较紧张,就会将内存空间重复使用。
嵌入式系统当中往往使用绝对地址寻址,不采用相对地址,笔者这里以不带Linux操作系统得应用场景为例。所以如果需要这种重复利用内存空间,就需要确定一块重复利用得地址,然后加载到这块得代码都需要采用这块得地址来进行编译,即在链接脚本里面指定绝对地址。

以上图为例,有4个功能代码1-4,都需要运行到动态内存地址,则笔者需要将这4个地址都编译到同一个动态内存的地址,然后需要哪个函数的时候就将哪个函数搬到对应的地址,然后再跳转过去执行。
2、编译器armcc/armclang对overlay的支持
armcc/armclang编译器支持overlay,主要是链接脚本这块的支持,通常情况下,
- 如果两个.o文件放到同一块地址,
- 或者两个函数放到同一块地址,都会报错误
如下:两个overlay区域有重叠,因为链接器的作业就是分配运行地址,当然不能重叠,否则该怎么放置代码和执行code呢?
LR_OVERLAY0 0x30000000 0x1000
{ER_OVERLAY0 0x2001E000 0x1000 {overlay0.o(BANK_SEC, +FIRST)overlay0.o(+RO)overlay0.o(.text)}
}LR_OVERLAY1 0x30001000 0x1000
{ER_OVERLAY1 0x2001E000 0x1000 {overlay1.o(BANK_SEC, +FIRST)overlay1.o(+RO)overlay1.o(.text)}
}LR_OVERLAY2 0x30002000 0x1000
{ER_OVERLAY2 0x2001E000 0x1000 {overlay2.o(BANK_SEC, +FIRST)overlay2.o(+RO)overlay2.o(.text)}
}
"AdvanceClock.sct", line 32 (column 17): Warning: L6329W: Pattern overlay0.o(RO) only matches removed unused sections.
"AdvanceClock.sct", line 33 (column 16): Warning: L6314W: No section matches pattern overlay0.o(.text).
"AdvanceClock.sct", line 42 (column 17): Warning: L6329W: Pattern overlay1.o(RO) only matches removed unused sections.
"AdvanceClock.sct", line 43 (column 16): Warning: L6314W: No section matches pattern overlay1.o(.text).
"AdvanceClock.sct", line 52 (column 17): Warning: L6329W: Pattern overlay2.o(RO) only matches removed unused sections.
"AdvanceClock.sct", line 53 (column 16): Warning: L6314W: No section matches pattern overlay2.o(.text).
Error: L6221E: Execution region ER_OVERLAY0 with Execution range [0x2001e000,0x2001e080) overlaps with Execution region ER_OVERLAY1 with Execution range [0x2001e000,0x2001e074).
Error: L6221E: Execution region ER_OVERLAY0 with Execution range [0x2001e000,0x2001e080) overlaps with Execution region ER_OVERLAY2 with Execution range [0x2001e000,0x2001e074).
Error: L6221E: Execution region ER_OVERLAY1 with Execution range [0x2001e000,0x2001e074) overlaps with Execution region ER_OVERLAY2 with Execution range [0x2001e000,0x2001e074).
Finished: 0 information, 6 warning and 3 error messages.
make: *** [out/AdvancedClock.axf] Error 1
为了让链接器识别这种情况,把相同的地址放置多个函数,就必须加一个关键字,笔者找到手册上面的关键字overlay。
如下面例子所述,只要在多个想要执行地址的域空间描述上面加上overlay的关键字,该错误就不会报,

笔者做了尝试果然是这样,
LR_OVERLAY0 0x30000000 0x1000
{ER_OVERLAY0 0x2001E000 OVERLAY 0x1000 { overlay0.o(OVERLAY_SEC, +FIRST)overlay0.o(+RO)overlay0.o(.text)}
}LR_OVERLAY1 0x30001000 0x1000
{ER_OVERLAY1 0x2001E000 OVERLAY 0x1000 {overlay1.o(OVERLAY_SEC, +FIRST)overlay1.o(+RO)overlay1.o(.text)}
}LR_OVERLAY2 0x30002000 0x1000
{ER_OVERLAY2 0x2001E000 OVERLAY 0x1000 {overlay2.o(OVERLAY_SEC, +FIRST)overlay2.o(+RO)overlay2.o(.text)}
}

需要注意两点:
1、如果是独立设置加载域,则需要将入口函数声明为root属性,不然跳转的地址异常,可能跑飞等
2、保证函数声明为used,不然链接器会将overlay里面的函数stripped掉(删除掉),因为没有用到。
3、注意声明的OVERLAY 属性要放在执行域 长度属性的前面,不然会报错
4、因为笔者用的cm4架构,跳转的时候需要注意使用奇地址,不然可能会跑飞。
LR_OVERLAY0 0x30000000 0x1000
{ER_OVERLAY0 0x2001E000 OVERLAY 0x1000 { overlay0.o(+RO)overlay0.o(.text)}
}LR_OVERLAY1 0x30001000 0x1000
{ER_OVERLAY1 0x2001E000 OVERLAY 0x1000 {overlay1.o(+RO)overlay1.o(.text)}
}LR_OVERLAY2 0x30002000 0x1000
{ER_OVERLAY2 0x2001E000 OVERLAY 0x1000 {overlay2.o(+RO)overlay2.o(.text)}
}
overlay1函数实例,没有root属性,只有used属性。
__attribute__((used)) static void overlay_handler(u8 overlay_id, u8 func_id)
{switch(func_id){case 1:{rt_kprintf("this is overlay func,overlay id=%d func id=%d\r\n", overlay_id, func_id);}break;default:rt_kprintf("this is overlay func,func id=%d,err\r\n", func_id);break;}
}
笔者尝试了如果不加root属性,则overlay1和overlay则会入口函数是编译器生成的code,会异常。

编译器生成的code如下:不是压栈所操作,入口地址变成了2001E00C,所以可能导致跑飞

正常的code应该如下所示:

如果不加used以及根区属性,则符号都没有被链接进来,因为overlay的函数本身需要运行态来决定运行哪个函数的,所以静态编译的时候编译器并不知道链接哪个,不过不指定used属性,则就会全部strpped掉。
static void overlay_handler(u8 overlay_id, u8 func_id)
{switch(func_id){case 2:{rt_kprintf("this is overlay func,overlay id=%d func id=%d\r\n", overlay_id, func_id);}break;default:rt_kprintf("this is overlay func,func id=%d,err\r\n", func_id);break;}
}

如果overlay属性位置放错,就会报如下错误。
"AdvanceClock.sct", line 29 (column 36): Error: L6228E: Expected '{', found 'O...'.
"AdvanceClock.sct", line 29 (column 36): Error: L6228E: Expected '}', found 'EOF'.
Not enough information to list the image map.
Finished: 1 information, 0 warning and 2 error messages.
make: *** [out/AdvancedClock.axf] Error 1
关于链接脚本的其他关于overlay的写法如下图所示:
- region1 不是overlay属性,则region2的地址是region1地址的末地址
- region1 是overlay属性,且offset是0,则region2和region1的地址一样
- region1 是overlay属性,且offset不是0,则region2是region1末地址+offset

跳转的时候使用奇地址,不然会报错,因为cm4使用thumb指令,
overlay_handler_fun overlay_handler_func = (overlay_handler_fun)(overlay_EXEC_ADDR+1);

笔者写了一个参考例子如下:
overlay manager:
set_overlay_id,会请求切换当前的bank,
overlay_process,会处理当前的请求,并执行函数。
#include "main.h"#define overlay_EXEC_ADDR 0x2001E000#define overlay0_SAVE_ADDR 0x08020000
#define overlay1_SAVE_ADDR 0x08020400
#define overlay2_SAVE_ADDR 0x08020800
#define overlay_FLASH_BASE overlay0_SAVE_ADDRtypedef void (*overlay_handler_fun)(u8 overlay_id,u8 func_id);u8 current_overlay_id_g = 0;
u8 set_overlay_id_g = 0;
void overlay_init()
{u32 current_overlay_flash_addr = overlay_FLASH_BASE + current_overlay_id_g*0x400;STMFLASH_Read(current_overlay_flash_addr, (u32*)overlay_EXEC_ADDR, 0x400);overlay_handler_fun overlay_handler_func = (overlay_handler_fun)(overlay_EXEC_ADDR+1);(*overlay_handler_func)(current_overlay_id_g, current_overlay_id_g);
}void set_overlay_id(u8 req_overlay_id)
{set_overlay_id_g = req_overlay_id;
}void overlay_process()
{if(set_overlay_id_g != current_overlay_id_g){current_overlay_id_g = set_overlay_id_g;u32 current_overlay_flash_addr = overlay_FLASH_BASE + current_overlay_id_g*0x400;STMFLASH_Read(current_overlay_flash_addr, (u32*)overlay_EXEC_ADDR, 0x400);overlay_handler_fun overlay_handler_func = (overlay_handler_fun)(overlay_EXEC_ADDR+1);(*overlay_handler_func)(current_overlay_id_g, current_overlay_id_g);}
}
#include "main.h"overlay0.c
__attribute__((section("overlay_SEC"),used)) static void overlay_handler(u8 overlay_id, u8 func_id)
{switch(func_id){case 0:{rt_kprintf("this is overlay func,overlay id=%d func id=%d\r\n", overlay_id, func_id);}break;default:rt_kprintf("this is overlay func,func id=%d,err\r\n", func_id);break;}
}
overlay1.c
__attribute__((section("overlay_SEC"),used)) static void overlay_handler(u8 overlay_id, u8 func_id)
{switch(func_id){case 1:{rt_kprintf("this is overlay func,overlay id=%d func id=%d\r\n", overlay_id, func_id);}break;default:rt_kprintf("this is overlay func,func id=%d,err\r\n", func_id);break;}
}
overlay2.c__attribute__((section("overlay_SEC"),used)) static void overlay_handler(u8 overlay_id, u8 func_id)
{switch(func_id){case 2:{rt_kprintf("this is overlay func,overlay id=%d func id=%d\r\n", overlay_id, func_id);}break;default:rt_kprintf("this is overlay func,func id=%d,err\r\n", func_id);break;}
}
实际效果如下:


如果有Trace32调试器,可以通过Trace32对overlay的支持来进行调试。
trace32 设置指令:
- system.option.ovarlay ON
- symbol.overlay.AUTOID 自动识别ID
- symbol.overlay.list 查看当前处于哪个overlay
由下图可以可以看到笔者的overlay 处于overlay1,根据右边的打印,然后trace32调试器也显示的overlay1.

笔者切到overlay2,则对应的调试器显示overlay2。

3、参考
armcc官方手册
DUI0472M_armcc_user_guide
DUI0474M_armlink_user_guide
相关文章:
ARM学习(31)编译器对overlay方式的支持
ARM学习(31)编译器对overlay方式的支持 1、overlay介绍 overlay:重叠得意思,就是可以重复利用得空间,一般在内存上使用这种空间。比如以Windows操作系统为例,其存储空间(ROM/FLASH)…...
【YashanDB知识库】yasdb jdbc驱动集成BeetISQL中间件,业务(java)报autoAssignKey failure异常
问题现象 BeetISQL中间件版本:2.13.8.RELEASE 客户在调用BeetISQL提供的api向yashandb的表中执行batch insert并将返回sequence设置到传入的java bean时,报如下异常: 问题的风险及影响 影响业务流程正常执行,无法获得batch ins…...
软件测试——用例篇(上)
概念 什么是测试⽤例? 测试⽤例(Test Case)是为了实施测试⽽向被测试的系统提供的⼀组集合,这组集合包含:测试环境、操作步骤、测试数据、预期结果等要素 设计测试⽤例原则⼀: 测试⽤例中⼀个必需部分是对…...
Flink中三种模式:YARN Session 模式、YARN Per-Job 模式和 YARN Application 模式提交任务命令
在 Apache Flink 中,YARN 提供了多种模式来提交和管理作业,每种模式都有其独特的特点和适用场景。主要有以下三种模式:YARN Session 模式、YARN Per-Job 模式和 YARN Application 模式。 1. YARN Session 模式 在 YARN Session 模式中,一个长时间运行的 Flink 会话(Sess…...
DBMS-1.2 关系运算
本文章的素材与知识均来自于李国良老师的数据库管理系统课程。 关系代数 一.基本关系代数运算 基本关系代数运算包括:选择、投影、并、差、笛卡尔积、重命名。 1.选择(select) 选择运算用于从关系R中获取满足条件的元组。 (1…...
Python——继承
一、继承 1. 什么是继承? 继承是一种面向对象编程的机制,允许一个类(子类)从另一个类(父类)继承属性和方法。子类可以扩展或修改父类的功能。 2. 如何实现继承? 在Python中,实现…...
程序员转型AI大模型好转吗?成功率高吗?
前言 在程序员圈子中,技术转型近年来一直是热门话题。随着AI技术的迅猛发展,优秀人才短缺,程序员向AI大模型转型似乎成为了一条通往职场先机的路径。但是,这条转型之路是否容易走,成功率又如何呢? 一、程…...
关于 Postman 这些你都知道吗?
Postman是接口测试工具,在做接口测试的时候,Postman相当于一个客户端,它可以模拟用户发起的各种http请求,将请求的数据发送到服务端,获取对应的结果,从而测试接口是否能够满足业务功能要求,很直…...
ReentrantLock
ReentrantLock ReentrantLock 是一个可重入的互斥锁,它提供了比 synchronized 关键字更灵活的锁机制。它属于 java.util.concurrent.locks 包。 特点: 可重入性:同一个线程可以多次获取锁而不会造成死锁,锁的计数器会递增。公平…...
python | TypeError: list indices must be integers or slices, not tuple
python | TypeError: list indices must be integers or slices, not tuple 在Python编程中,TypeError: list indices must be integers or slices, not tuple 是一个常见的错误。此错误通常发生在尝试使用非整数(如元组)作为列表索引时。本…...
链码简介及MATLAB提取彩色图像链码
一、链码 链码(又称为freeman code)是一种通过带有给定方向的单位长度的线段序列来描述轮廓边界的方法,常被用来在图像处理、计算机图形学、模式识别等领域中表示曲线和区域边界。在二维图像中,链码可以表示为一系列的方向码,每个…...
二叉树,二叉查找树,平衡二叉树
一.绪论: 二.数据结构(二叉树): 1.简介: 1)每一个节点(也叫结点)都是一个独立的对象-->当中不仅要存数据值,还要存父节点地址值,左子节点地址值,右子 节点地址值 2)没有父节点或者子节点的节点就记为null 2.遍历方…...
《零散知识点 · SpringBoot 整合邮件功能》
📢 大家好,我是 【战神刘玉栋】,有10多年的研发经验,致力于前后端技术栈的知识沉淀和传播。 💗 🌻 CSDN入驻不久,希望大家多多支持,后续会继续提升文章质量,绝不滥竽充数…...
编程小白如何成为大神?大学新生的最佳入门攻略
目录 方向一:选择适合的编程语言 方向二:制定有效的学习计划 方向三:避免常见的学习陷阱 方向四:额外建议 编程已成为当代大学生的必备技能,但面对众多编程语言和学习资源,新生们常常感到迷茫。如何选择…...
使用 PyInstaller 和 Hook 文件打包 APK 解析工具
错误信息如下: Traceback (most recent call last):File "test.py", line 4, in <module>File "<frozen importlib._bootstrap>", line 991, in _find_and_loadFile "<frozen importlib._bootstrap>", line 975, …...
【分布式】分库分表知识点大全
为什么要分库分表 随着业务量的增加导致数据库中数据量的增加,可能拖慢查询的性能,影响业务的可用性;如果数据库采用读写分离,可能会导致从库的延迟较大,主库进行写操作后,从库因为延迟无法及时同步&#…...
FreeRTOS中的定时器:xTimerCreate ,xTimerStart ,xTimerStop
1. 创建定时器 定时器的创建使用 xTimerCreate 函数。该函数有以下参数: pcTimerName:定时器的名字,主要用于调试。xTimerPeriodInTicks:定时器的周期,以系统节拍计时。uxAutoReload:定时器是否自动重载。如…...
【网络安全】文件上传黑白名单及数组绕过技巧
不安全的文件上传(Unsafe FileUpload) 不安全的文件上传是指Web应用程序在处理用户上传的文件时,没有采取足够的安全措施,导致攻击者可能利用这些漏洞上传恶意文件,进而对服务器或用户造成危害。 目录 一、文件上传…...
4.2、存储管理-页式存储
页式存储和段氏存储会考 页式存储几乎必考,段氏存储可能会考 页式存储 页式存储是操作系统的一种存储管理方式。 因为我们的程序往往是远远大于内存的,所以程序在执行的时候,是不会一次性把所有内容都装入到内存中,它会把程序分…...
60个常见的 Linux 指令
常见60个Linux指令 1.ssh 登录到计算机主机2.ls 列出目录内容3.pwd 当前终端会话所在的完整路径4.cd 切换当前工作目录5.touch 创建空文件或更新文件的时间戳6.echo 终端输出文本或变量值7.nano 在终端中编辑文件8.vim 文本编辑器9.cat 查看、连接和创建文件10.shred 安全删除敏…...
【网络】每天掌握一个Linux命令 - iftop
在Linux系统中,iftop是网络管理的得力助手,能实时监控网络流量、连接情况等,帮助排查网络异常。接下来从多方面详细介绍它。 目录 【网络】每天掌握一个Linux命令 - iftop工具概述安装方式核心功能基础用法进阶操作实战案例面试题场景生产场景…...
【Python】 -- 趣味代码 - 小恐龙游戏
文章目录 文章目录 00 小恐龙游戏程序设计框架代码结构和功能游戏流程总结01 小恐龙游戏程序设计02 百度网盘地址00 小恐龙游戏程序设计框架 这段代码是一个基于 Pygame 的简易跑酷游戏的完整实现,玩家控制一个角色(龙)躲避障碍物(仙人掌和乌鸦)。以下是代码的详细介绍:…...
在四层代理中还原真实客户端ngx_stream_realip_module
一、模块原理与价值 PROXY Protocol 回溯 第三方负载均衡(如 HAProxy、AWS NLB、阿里 SLB)发起上游连接时,将真实客户端 IP/Port 写入 PROXY Protocol v1/v2 头。Stream 层接收到头部后,ngx_stream_realip_module 从中提取原始信息…...
Windows安装Miniconda
一、下载 https://www.anaconda.com/download/success 二、安装 三、配置镜像源 Anaconda/Miniconda pip 配置清华镜像源_anaconda配置清华源-CSDN博客 四、常用操作命令 Anaconda/Miniconda 基本操作命令_miniconda创建环境命令-CSDN博客...
DeepSeek源码深度解析 × 华为仓颉语言编程精粹——从MoE架构到全场景开发生态
前言 在人工智能技术飞速发展的今天,深度学习与大模型技术已成为推动行业变革的核心驱动力,而高效、灵活的开发工具与编程语言则为技术创新提供了重要支撑。本书以两大前沿技术领域为核心,系统性地呈现了两部深度技术著作的精华:…...
软件工程 期末复习
瀑布模型:计划 螺旋模型:风险低 原型模型: 用户反馈 喷泉模型:代码复用 高内聚 低耦合:模块内部功能紧密 模块之间依赖程度小 高内聚:指的是一个模块内部的功能应该紧密相关。换句话说,一个模块应当只实现单一的功能…...
Appium下载安装配置保姆教程(图文详解)
目录 一、Appium软件介绍 1.特点 2.工作原理 3.应用场景 二、环境准备 安装 Node.js 安装 Appium 安装 JDK 安装 Android SDK 安装Python及依赖包 三、安装教程 1.Node.js安装 1.1.下载Node 1.2.安装程序 1.3.配置npm仓储和缓存 1.4. 配置环境 1.5.测试Node.j…...
41道Django高频题整理(附答案背诵版)
解释一下 Django 和 Tornado 的关系? Django和Tornado都是Python的web框架,但它们的设计哲学和应用场景有所不同。 Django是一个高级的Python Web框架,鼓励快速开发和干净、实用的设计。它遵循MVC设计,并强调代码复用。Django有…...
大模型真的像人一样“思考”和“理解”吗?
Yann LeCun 新研究的核心探讨:大语言模型(LLM)的“理解”和“思考”方式与人类认知的根本差异。 核心问题:大模型真的像人一样“思考”和“理解”吗? 人类的思考方式: 你的大脑是个超级整理师。面对海量信…...
智警杯备赛--excel模块
数据透视与图表制作 创建步骤 创建 1.在Excel的插入或者数据标签页下找到数据透视表的按钮 2.将数据放进“请选择单元格区域“中,点击确定 这是最终结果,但是由于环境启不了,这里用的是自己的excel,真实的环境中的excel根据实训…...
