双ELF文件间共享内存的可行性及符号地址一致性咨询

我有一个裸机项目，内存中加载了两个ELF可执行文件，希望在二者之间共享包含代码与数据的内存。请问是否可通过在两个ELF的链接脚本中添加相同的特定段（如下所示），将目标文件放入该段来实现共享？是否能保证两个ELF文件的同名符号拥有相同的地址？

.my_section 0x10000 :
{
    my_object_file.o(.data)
}

关于共享内存段的实现 #

可以通过这种方式实现共享，但需要满足几个关键前提：

• 必须确保0x10000对应的物理内存区域是两个ELF都能访问的共享区域，且该地址未被硬件外设、其他内存区域占用，内存属性（可执行/可读写）要匹配段内内容（代码段需可执行，数据段需可读写）。
• 两个ELF的链接脚本必须完全一致地指定.my_section的地址0x10000，不能有任何偏移或差异。
• 两个ELF构建时使用的my_object_file.o必须是完全相同的编译产物，否则共享段的内容会不一致，导致运行错误。

关于同名符号的地址一致性 #

如果满足以下条件，可以保证同名符号拥有相同地址：

• 符号定义在固定地址的.my_section段内，且两个ELF的链接脚本都将该段映射到同一物理地址0x10000。
• 符号在my_object_file.o中的偏移是固定的（同一编译产物自然满足这一点）。
• 符号是强定义符号，没有在其他段出现重复定义，避免链接器选择其他地址。

需要注意的例外情况：

• 如果符号是弱符号，链接器可能优先选择ELF内部的其他定义，导致地址不一致。
• 裸机环境无OS内存管理，需确保该共享内存区域在两个ELF运行过程中不会被意外覆盖或修改，否则会破坏共享数据的一致性。

内容的提问来源于stack exchange，提问作者Maksim S.