作者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/m.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