运行FreeRTOS的开发板如何链接Ada语言编写的应用程序

对接Ada应用需要完成的配置与操作 #

• 先匹配对应工具链：安装和开发板架构一致的GNAT裸机交叉编译版本，比如Cortex-M系列用gnat-arm-elf，RISC-V架构用gnat-riscv32-elf，必须保证GNAT的目标架构、浮点ABI、指令集参数和你现有FreeRTOS固件的编译参数完全一致，不然链接阶段直接报重定位错误，就算勉强链接成功跑起来也会立刻硬Fault。
• 定制适配的Ada最小运行时：针对目标板裁剪ZFP（Zero Foot Print，零占用）运行时，不要用带完整操作系统抽象的运行时版本；写Ada包声明绑定FreeRTOS的C接口，对应API的参数类型、结构体内存布局要1:1对齐，通过pragma Convention (C, xxx)指定C调用约定，避免编译器名称修饰导致符号找不到。
• 对齐链接配置：把现有FreeRTOS工程的链接脚本同步到Ada工程配置中，明确划分Flash、RAM中Ada代码段、数据段、栈区的地址范围，算FreeRTOS任务栈大小的时候要把Ada程序的栈开销算进去，别留太小导致栈溢出。
• 对接启动流程：不要用Ada默认的main入口，保留原有FreeRTOS的硬件初始化、内核初始化流程，Ada侧通过adainit完成运行时初始化，把Ada的业务逻辑封装成符合FreeRTOS任务入口格式的C兼容函数，在FreeRTOS启动调度器后创建对应任务运行即可。
• 整合编译产物：把Ada代码编译生成的目标文件、裁剪后的Ada运行时静态库，和现有FreeRTOS的内核、板级支持包的目标文件/静态库一起丢给链接器统一解析符号，最终生成的固件按原有方式烧录到开发板就能运行。

链接Ada应用是否需要用GNAT重新编译FreeRTOS SDK源码 #

绝大多数场景下完全不需要。

• GNAT本质是GCC的Ada语言前端，和同版本arm-none-eabi-gcc、riscv-none-elf-gcc这类C交叉编译器生成的目标文件二进制兼容，只要你现有FreeRTOS SDK的编译参数（架构、ABI、指令集、浮点模式）和GNAT工具链匹配，直接拿现成的编译产物链接就行，没必要全量重编SDK。
• 只有两种特殊情况需要重编：一是现有SDK的编译参数和GNAT不匹配，链接时报重定位错误、运行时触发硬Fault，这时候要么换参数匹配的GNAT版本，要么用GNAT自带的同目标架构GCC重新编译FreeRTOS SDK；二是你需要在FreeRTOS内核源码里直接调用Ada导出的函数，这种情况也不需要全量重编，只需要把涉及Ada调用的那部分内核源码用同参数的GCC编译一遍即可。
• 别信网上说必须用GNAT重编整个RTOS的说法，纯纯浪费时间。

Ada应用静态链接、动态链接的实现方式 #

静态链接（量产场景99%用这种方式） #

静态链接就是把Ada程序、Ada最小运行时、FreeRTOS内核、板级支持包所有代码全部编译成目标文件，最后统一链接成一个完整的独立固件镜像，烧录到Flash里直接运行，没有额外加载开销，稳定性最高。
具体操作：

• 编译Ada代码时加-static参数，强制静态链接所有依赖，禁止引用动态库；
• 把Ada编译生成的.o目标文件、裁剪后的ZFP运行时静态库libgnat.a，和FreeRTOS编译出的所有目标文件、静态库一起传给链接器，沿用原有FreeRTOS的链接脚本做地址布局；
• 最终生成的bin/hex固件直接按原有流程烧录即可。
  这种方式的额外开销很小，裁剪到位的ZFP运行时只会占几KB到几十KB的Flash，对资源紧张的MCU很友好。

动态链接（仅适合调试、模块化升级这类特殊场景，量产不推荐） #

跑FreeRTOS的MCU绝大多数不带MMU，没法做完整的地址空间隔离，所谓的动态链接本质是位置无关代码的加载，没法做到像Linux下动态库那样的隔离效果，稳定性差。
具体操作：

• 先给FreeRTOS加一个简易动态加载器，实现镜像拷贝到RAM、符号重定位、API地址映射的功能；
• 编译Ada应用时加-fPIC参数生成位置无关代码，链接阶段不要把FreeRTOS的库编进应用镜像，只保留FreeRTOS API的未解析符号，生成独立的可加载镜像；
• 系统运行时，加载器把Ada应用镜像读到预留的RAM区域，把镜像里用到的所有FreeRTOS API地址填充到重定位表中，再创建一个FreeRTOS任务跳转到Ada应用的入口函数运行。
  用这种方式要提前给动态应用预留独立的RAM空间，单独分配任务栈，而且因为没有内存保护，应用一旦越界会直接搞挂整个系统，非必要别用。

内容的提问来源于stack exchange，提问作者Jane