作者descent (「雄辩是银，沉默是金」)
看板C_and_CPP
标题Re: [问题] startup code
时间Thu Feb 22 23:17:35 2018
你的理解是正确的, 这个东西为什麽不好理解是因为单从 link,
linker script 还不够, 还需要从 loader 的方向一起看,
才能真的搞懂。
以下面的范例程式码来说明:
int input=88;
int a;
int main()
{
int i=5;
}
input, a, i 都有不同的方式来达成初始化这些值:
input 就是你说的方式。
a 就要用到 bss 初始化的方式, startup code 会有段程式码把 a 设定为 0。
i 最简单, 反组译就知道怎麽做的了, 和 startup code 无关。
假设 input 在执行档 0x2 的位址, 而 input 在记忆体 0x100 的位址, 所以执行档案
会类似这样
00 ee 88
loader 会把执行档 88 复制到记忆体 0x100 的地方, 所以当你写 int b = input 时,
0x100 input 就会是 88, 并把 88 复制给 b。
但有时候只有 loader 是不够的, 也许还要把 input 搬到记忆体 0x2000 的地方, 这时候
startup code 会出动, 把 88 复制到记忆体 0x2000, 这时候
int c = input 时,
是从 0x2000 的地方取得 88, 在复制给 c。
https://goo.gl/SAo5MU
stm32.h 大概示范了这是怎麽做的。
如果你想搞更清楚, 建议写一支 bare-metal 程式, 会比较容易理解
※ 引述《zzss2003 (brotherD)》之铭言：
: 开发平台(Platform): Embedded system
: 编译器: Microchip XC8
: 问题(Question)： https://imgur.com/a/qSul4
: 这份文件是XC8的手册，这个段落说明startup code如何处理initialized objects。
: 以下将打出我对这段落的观念，有错请板友指正，谢谢。
: 文件中的initialized objects指的是有initializer的global variable，此处以input当
: 作例子。
: 以memory的观点，在flash memory的某个address(Linker决定的位址)存放着value为
: 0x0088的"东西"，这个东西对programmer来说只是一个值，不具意义。
: startup code会将这个东西复制一份到RAM上(复制到RAM的哪个address也是由Linker事先
: 决定好的)，这个复本对programmer来说就是programmer所定义的变数input
--
纸上得来终觉浅，绝知此事要躬行。
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 49.219.128.40
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/C_and_CPP/M.1519312663.A.860.html
1F：→ Lipraxde: 区域变数没有固定的位置...应该不会包含在startup里吧 02/23 00:10
2F：→ Lipraxde: ？还是main里的比较特殊？ 02/23 00:10
3F：→ Lipraxde: 抱歉，眼残 02/23 07:34
是我没写清楚。
4F：推 zzss2003: 请问，00 ee 88是指什麽意思? 02/23 16:29
假设是执行档的前 3 个 byte, 88 在第 2 个 byte (从 0 开始算)
5F：→ MOONRAKER: 就是举例而已。你读书方法问题很大。 02/23 16:56
6F：推 zzss2003: 如果是0x2的话应该是0002吧 为什麽是00ee? 02/23 18:05
※ 编辑: descent (113.196.174.254), 02/23/2018 18:34:05
7F：→ phishingphi: 他是指 memory content 02/25 18:37