如何在GCC中为函数创建独立序言与尾声，实现ARM模块自动调用？

问题背景 #

我了解GCC的__attribute__((naked))属性，常用于将代码放入无需显式调用的段中，比如AVR平台的这段看门狗初始化代码：

static void __preinit(void) __attribute__((used, naked, section(".init3")));

void __preinit(void) {
    wdt_disable();
    RESET_Flags = MCUSR;
    MCUSR = 0;
}

这段代码被分配到.init3段，会早于RAM（.bss/.data）初始化执行，避免看门狗在RAM初始化阶段触发导致启动循环。

现在我在ARM项目中维护大量模块，每个模块都包含*_init、*_main、*_tick三个核心函数。目前在main.c中手动调用这些函数，不仅代码混乱，还容易遗漏调用，调试成本很高。希望能实现类似自动分配RAM的便捷性：只要将模块C文件加入项目，对应的函数就能自动被调用。

我原本计划将模块函数定义到自定义段中：

static void modX_init() __attribute__((used, naked, section(".mod_init")));
static void modX_main() __attribute__((used, naked, section(".mod_main")));
static void modX_tick() __attribute__((used, naked, section(".mod_tick")));

并在链接器脚本中合并这些段：

.text :
{
    . = ALIGN(4);
    *(.text)
    *(.text*)

    *(.init_epilogue)
    *(.init_epilogue*)
    *(.mod_init)
    *(.mod_init*)
    *(.init_prologue)
    *(.init_prologue*)

    ...
} >ROM

但不清楚如何正确进入这些段执行，是否需要手动编写函数序言/尾声，以及需要保存哪些寄存器，有没有更自动化的实现方式？

最优自动化实现方案：函数指针数组法 #

这种方式无需依赖naked属性，靠链接器收集函数地址并生成数组，再通过遍历数组自动调用所有模块函数，是ARM项目中最常用的自动化调用方案。

1. 定义公共宏（统一段属性） #

在项目公共头文件（比如mod_common.h）中定义宏，让模块函数自动加入对应函数指针数组段：

// 初始化函数宏：将函数指针放入.mod_init_array段
#define MOD_INIT_FUNC(func) \
    static void func(void); \
    __attribute__((used, section(".mod_init_array"))) void (*const func##_ptr)(void) = func

// 主循环函数宏：将函数指针放入.mod_main_array段
#define MOD_MAIN_FUNC(func) \
    static void func(void); \
    __attribute__((used, section(".mod_main_array"))) void (*const func##_ptr)(void) = func

// 定时tick函数宏：将函数指针放入.mod_tick_array段
#define MOD_TICK_FUNC(func) \
    static void func(void); \
    __attribute__((used, section(".mod_tick_array"))) void (*const func##_ptr)(void) = func

2. 模块中使用宏注册函数 #

在任意模块C文件（比如modX.c）中，用宏注册对应函数：

#include "mod_common.h"

// 注册初始化函数
MOD_INIT_FUNC(modX_init)
void modX_init(void) {
    // 模块初始化逻辑，比如外设配置、变量初始化
}

// 注册主循环函数
MOD_MAIN_FUNC(modX_main)
void modX_main(void) {
    // 模块主循环执行逻辑，比如数据处理、状态更新
}

// 注册定时tick函数
MOD_TICK_FUNC(modX_tick)
void modX_tick(void) {
    // 模块定时触发逻辑，比如超时检测、数据采样
}

3. 修改链接器脚本（标记数组首尾） #

在链接器脚本中为函数指针数组分配空间，并定义全局符号标记数组的起始和结束地址，同时用KEEP()确保段不会被编译器优化删除：

SECTIONS {
    ...
    // 初始化函数指针数组段
    .mod_init_array : ALIGN(4) {
        __mod_init_start = .;
        KEEP(*(.mod_init_array))
        __mod_init_end = .;
    } >ROM

    // 主循环函数指针数组段
    .mod_main_array : ALIGN(4) {
        __mod_main_start = .;
        KEEP(*(.mod_main_array))
        __mod_main_end = .;
    } >ROM

    // 定时tick函数指针数组段
    .mod_tick_array : ALIGN(4) {
        __mod_tick_start = .;
        KEEP(*(.mod_tick_array))
        __mod_tick_end = .;
    } >ROM
    ...
}

4. 编写遍历调用函数 #

在main.c或启动文件中，声明链接器定义的全局符号，并编写遍历调用逻辑：

// 声明链接器脚本定义的数组首尾符号
extern void (*__mod_init_start)(void);
extern void (*__mod_init_end)(void);

extern void (*__mod_main_start)(void);
extern void (*__mod_main_end)(void);

extern void (*__mod_tick_start)(void);
extern void (*__mod_tick_end)(void);

// 调用所有模块初始化函数（建议放在RAM初始化后、main函数前执行）
void call_all_mod_init(void) {
    void (**func_ptr)(void);
    for (func_ptr = &__mod_init_start; func_ptr < &__mod_init_end; func_ptr++) {
        (*func_ptr)();
    }
}

// 调用所有模块主循环函数（放在main的死循环中执行）
void call_all_mod_main(void) {
    void (**func_ptr)(void);
    for (func_ptr = &__mod_main_start; func_ptr < &__mod_main_end; func_ptr++) {
        (*func_ptr)();
    }
}

// 调用所有模块定时tick函数（放在定时器中断服务函数中执行）
void call_all_mod_tick(void) {
    void (**func_ptr)(void);
    for (func_ptr = &__mod_tick_start; func_ptr < &__mod_tick_end; func_ptr++) {
        (*func_ptr)();
    }
}

5. 控制调用顺序（可选） #

如果需要指定模块函数的调用顺序，可以给段名加优先级后缀，比如.mod_init_array.001、.mod_init_array.002，链接器会按数字顺序排列数组中的指针：

#define MOD_INIT_FUNC_PRI(func, prio) \
    static void func(void); \
    __attribute__((used, section(".mod_init_array." #prio))) void (*const func##_ptr)(void) = func

// 高优先级初始化函数（先执行）
MOD_INIT_FUNC_PRI(modX_init, 001)
void modX_init(void) { ... }

不推荐的naked函数直接执行方案 #

如果坚持要用naked属性将函数直接放入执行段，需要手动处理ARM调用规范（比如APCS）的栈帧保存，步骤繁琐且容易出错：

1. naked函数必须手动处理栈

static void modX_init() __attribute__((used, naked, section(".mod_init")));
void modX_init(void) {
    // 手动压栈保存调用规范要求的寄存器（R4-R11、LR）
    __asm__ volatile (
        "push {r4-r11, lr}\n"
        ::: "memory"
    );

    // 这里只能写无局部变量的C代码，或用静态变量，避免栈溢出
    static int init_flag = 0;
    if (!init_flag) {
        // 初始化逻辑
        init_flag = 1;
    }

    // 手动弹栈恢复寄存器并返回
    __asm__ volatile (
        "pop {r4-r11, lr}\n"
        "bx lr\n"
        ::: "memory"
    );
}

2. 链接器脚本需添加执行入口
   需要额外编写汇编代码遍历.mod_init段中的所有函数，或手动维护函数地址列表，这种方式灵活性差、维护成本高，不建议在实际项目中使用。

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