c 语言中自定义 section 段问题请教

[kkkbbb]

看到一个代码自定义段实现如下：

typedef void (*myown_call)(void);

#define func_init(func)                                                        \
  __attribute__((section("myown"), aligned(__alignof__(myown_call))))          \
  myown_call _fn_##func = func
  
extern myown_call __start_myown;
extern myown_call __stop_myown;

void do_initcalls(void) {
  myown_call *pfun = &__start_myown;
  do {
    (*pfun)();
    ++pfun;
  } while (pfun < &__stop_myown);
}

上面的代码是实现初始化逻辑的，我在网上看到要想实现自定义的段数据加载，需要在链接脚本中指定__start_myown 和__stop_myown 的地址位置，但是在代码的编译过程中没有看到相关的设置，不太清楚__start_myown 、__stop_myown 的地址编译器是如何分配的，又懂得大佬可以给解释下么？

[lechain]

__start_myown ，__stop_myown 地址是编译器自动分配的，根据链接脚本里面为自定义的 section 节设置起始和结束地址来决定，如果不设置编译器则会自动按预设的规则选择和调整起始地址，

话说你的需求是在程序开始前只调用一次自定义初始化还是需要为多个函数的进入设置不同的初始化函数，如果是前者的话，其实 gcc 的拓展可以很容易满足需求，使用 __attribute((constructor)) 修饰函数即可。

https://gcc.gnu.org/onlinedocs/gcc-4.1.2/gcc/Function-Attributes.html

没必要重复一遍 gcc 已经做过的工作（除非是出于学习的目的）。

[kkkbbb]

@lechain 编译器就是根据__start_myown 、__stop_myown 这两个变量的先后顺序，把首地址和尾地址进行分配的？变量名也可以随便起？

[kkkbbb]

@lechain 我可能上面没说清楚，我现在没有看到环境里有自定义的链接脚本，但是我看到网上都是先通过自定义链接脚本，定义好首尾地址的位置使用的，所以我才会有疑惑，这个收尾地址编译器可以自动分配？但是它怎么知道分配给那个变量，还有首尾地址的先后顺序如何确定的？

[kkkbbb]

我刚写了个 demo 试了下，变量改变名称就会有问题，感觉应该是利用了编译器编译过程的默认变量处理实现的，有没有大佬懂为啥呢？

[colorglass]

可能它编译使用的链接脚本中主动加了相关 symbol,可以在编译时加上 -Wl,--verbose 看看它编译过程中使用的连接脚本。或者如果这两个 symbol 是 gcc 自动加入的，可以在编译时加上 -v 来看看编译时使用了哪些相关的 flag 。我个人测试使用默认 flag 与链接脚本的情况下 gcc 会在.text 后自动添加自定义的 section,但不会添加对应的头尾 symbol 。

[colorglass]

@colorglass 感觉应该是自定义的链接脚本，gcc 对 section 头尾 symbol 名称的格式一般是 "__section_start, __section_end"，不会用"stop"。

[sbldehanhan]

一只菜鸡纯路过。只想说太硬核了。

[kkkbbb]

@sbldehanhan 一样，看有没有大佬了解

[kkkbbb]

@colorglass 没有，你可以用这段代码自己试下，就是自动生成的 symbol

[kkkbbb]

@colorglass 刚才回的不太准确，如果你只定义了 section ，确实不会自动生成 symbol ，但是如果使用了__start_myown ，就会生成了

[lechain]

在链接脚本导出一下就好了，

```link
SECTIONS
{
/* .... */
.myown : {
PROVIDE(__start_myown = .);
*(.myown)
PROVIDE(__stop_myown = .);
}
/* .... */
}
```

如果一个东西不确定工具软件会不会帮你生成，你就当作不会，然后自己写，这是最快的

[koebehshian]

我看 RT-Thread 　( https://club.rt-thread.org/ask/article/d686458bbba864f4.html) 是用不同的段名表示 start 与 end ，以及执行的初始化函数，也就是有 3 个 section ，按 ASCII 排序的。

[koebehshian]

我测试了一下，是按定义的顺序排的，并不是名称的 ASCII 码，RT-Thread 的链接脚本把段排序了：
https://github.com/RT-Thread/rt-thread/blob/896b1fe2dac161a24281cb0b0de92ede3f462778/bsp/stm32/libraries/templates/stm32f10x/board/linker_scripts/link.lds#L42

[icyalala]

这东西一般叫 linker magic, 由编译器 linker 实现的，有些人会拿来做编译期的注册制。
MSVC： https://devblogs.microsoft.com/oldnewthing/20181107-00/?p=100155
GCC/Clang： https://sourceware.org/binutils/docs/ld/Input-Section-Example.html

[zhdi]

@lechain 正确的，上面的全在不知道说什么东西（

另外题主问这种问题请把所有代码都放出来以供参考，这种底层的东西经常是一个 shit 糊另一个 shit ，并且没有那么明显的糊的痕迹，如果你的能力并不足以锁定代码位置就把相关的全扔出来，起码搞个链接

[kkkbbb]

@zhdi 这个 demo 足以说明问题，为什么这个代码可以正常编过，并且执行：
https://imgur.com/ABhMYYV.png

[kkkbbb]

@kkkbbb

[kkkbbb]

@icyalala 多谢，大概了解了

[zhdi]

@kkkbbb sry 之前看错了 attribute 的名称，如果 attribute 的自定义 sectionname 是不带.的，linker 会自动 PROVIDE 这俩变量，但是生产中很少有人这么用，大家都是自己的 link script 然后去定义更详细的起始位置

[kkkbbb]

@zhdi 嗯嗯 学习了~