我們對每個c或者彙編檔案進行單獨編譯,但是不去連接配接,生成很多.o 的檔案,這些.o檔案首先是分散的,我們首先要考慮的如何組合起來;其次,這些.o檔案存在互相調用的關系;再者,我們最後生成的bin檔案是要在硬體中運作的,每一部分放在什麼位址都要有仔細的說明。我覺得在寫makefile的時候,最為重要的就是ld的了解,下面說說我的經驗:
首先,要确定我們的程式用沒有用到标準的c庫,或者一些系統的庫檔案,這些一般是在作業系統之上開發要注意的問題,這裡并不多說,熟悉在Linux程式設計的人,基本上都會用ld指令;這裡,我們從頭開始,直接進行彙編語言的連接配接。
我們寫一個彙程式設計式,控制GPIO,進而控制外接的LED,代碼如下;
.text
.global _start
_start:
LDR
R0,=0x56000010 @GPBCON寄存器
MOV R1,# 0x00000400
str R1,[R0]
LDR R0,=0x56000014
MOV R1,#0x00000000
STR R1,[R0]
MAIN_LOOP:
B MAIN_LOOP
代碼很簡單,就是一個對io口進行設定然後寫資料。我們看它是如何編譯的,注意我們這裡使用的不是arm-linux-gcc而是arm-elf-gcc,二者之間沒有什麼比較大的差別,arm-linux-gcc可能包含更多的庫檔案,在指令行的編譯上面是沒有差別。我們來看是如何編譯的:
arm-elf-gcc -g -c -o led_On.o led_On.s 首先純編譯不連接配接
arm-elf-ld -Ttext 0x00000000 -g led_On.o -o led_on_elf
用Ttext指明我們程式存儲的地方,這裡生成的是elf檔案,還不是我們真正的bin,但是可以借助一些工具可以進行調試。然後:
arm-elf-objcopy -O binary -S led_on_elf led_on.bin
生成bin檔案。
-T選項是ld指令中比較重要的一個選項,可以用它直接指明代碼的代碼段、資料段、bss段,對于複雜的連接配接,可以專門寫一個腳本來告訴編譯器如何連接配接。
-Ttext addr
-Tdata addr
-Tbss addr
arm-elf-ld -Ttext
0x00000000 -g led_On.o -o led_on_elf ,運作位址為0x00000000,由于沒有指明資料段和bss,他們會預設的依次放在後面。相同的代碼 不同的Ttext,你可以對比一下他們之間會變的差異,ld會自動調整跳轉的位址。
第二個概念:section,section可以了解成一塊,例如像c裡面的一個子函數,就是一個section,連結器ld把object檔案中的每個section都作為一個整體,為其配置設定運作的位址(memory layout),這個過程就是重定位(relocation);最後把所有目标檔案合并為一個目标檔案。
連結通過一個linker
script來控制,這個腳本描述了輸入檔案的sections到輸出檔案的映射,以及輸出檔案的memory layout。
是以,linker總會使用一個linker script,如果不特别指定,則使用預設的script;可以使用‘-T’指令行選項來指定一個linker script。
*映像檔案的輸入段與輸出段
linker把多個輸入檔案合并為一個輸出檔案。輸出檔案和輸入檔案都是目标檔案(object
file),輸出檔案通常被稱為可執行檔案(executable)。
每個目标檔案都有一系列section,輸入檔案的section稱為input section,輸出檔案的section則稱為output section。
一個section可以是loadable的,即輸出檔案運作時需要将這樣的section加載到memory(類似于RO&RW段);也可以是 allocatable的,這樣的section沒有任何内容,某些時候用0對相應的memory區域進行初始化(類似于ZI段);如果一個 section既非loadable也非allocatable,則它通常包含的是調試資訊。
每個loadable或 allocatable的output
section都有兩個位址,一是VMA(virtual
memory address),是該section的運作時域位址;二是LMA(load memory address),是該section的加載時域位址。
可以通過objdump工具附加'-h'選項來檢視目标檔案中的sections。
*簡單的Linker script
(1) SECTIONS指令:
The SECTIONS command tells the
linker how to map input sections into output sections,
and how to place the output sections in memory.
指令格式如下:
SECTIONS
{
sections-command
......
}
其中sections-command可以是ENTRY指令,符号指派,輸出段描述,也可以是overlay描述。
(2)位址計數器‘.’(location counter):
該符号隻能用于SECTIONS指令内部,初始值為‘0’,可以對該符号進行指派,也可以使用該符号進行計算或指派給其他符号。它會自動根據SECTIONS指令内部所描述的輸出段的大小來計算目前的位址。
(3) 輸出段描述(output section description):
前面提到在SECTIONS指令中可以作輸出段描述,描述的格式如下:
section [address] [(type)] : [AT(lma)]
output-section-command
...
} [>region] [AT>lma_region]
[:phdr :phdr ...] [=fillexp]
很多附加選項是用不到的。其中的output-section-command又可以是符号指派,輸入段描述,要直接包含的資料值,或者某一特定的輸出段關鍵字。
*linker script 執行個體
==============================
OUTPUT_ARCH(arm)
ENTRY(_start)
SECTIONS {
. = 0xa3f00000;
__boot_start =
.;
.start ALIGN(4)
: {
*(.text.start)
}
.setup
ALIGN(4) : {
setup_block = .;
*(.setup)
setup_block_end = .;
.text
*(.text)
.rodata
*(.rodata)
.data ALIGN(4)
*(.data)
.got
*(.got)
__boot_end = .;
.bss
ALIGN(16) : {
bss_start = .;
*(.bss)
*(COMMON)
bss_end = .;
.comment
*(.comment)
stack_point =
__boot_start + 0x00100000;
loader_size =
__boot_end - __boot_start;
setup_size =
setup_block_end - setup_block;
=============================
在SECTIONS指令中的類似于下面的描述結構就是輸出段描述:
.start ALIGN(4) : {
*(.text.start)
.start 為output section name,ALIGN(4)傳回一個基于location counter(.)的4位元組對齊的位址值。*(.text.start)是輸入段描述,*為通配符,意思是把所有被連結的object檔案中的.text.start段都連結進這個名為.start的輸出段。
源檔案中所辨別的section及其屬性實際上就是對輸入段的描述,例如.text.start輸入段在源檔案start.S中的代碼如下:
.section .text.start
_start :
b start
arm-elf-ld -Ttimer.lds -o
timer_elf header .o
這裡就必須存在一個timer.lds的檔案。
對于.lds檔案,它定義了整個程式編譯之後的連接配接過程,決定了一個可執行程式的各個段的存儲位置。雖然現在我還沒怎麼用它,但感覺還是挺重要的,有必要了解一下。
先看一下GNU官方網站上對.lds檔案形式的完整描述:
...
secname start BLOCK(align) (NOLOAD) : AT ( ldadr )
{ contents } >region :phdr =fill
}
secname和contents是必須的,其他的都是可選的。下面挑幾個常用的看看:
1、secname:段名
2、contents:決定哪些内容放在本段,可以是整個目标檔案,也可以是目标檔案中的某段(代碼段、資料段等)
3、start:本段連接配接(運作)的位址,如果沒有使用AT(ldadr),本段存儲的位址也是start。GNU網站上說start可以用任意一種描述位址的符号來描述。
4、AT(ldadr):定義本段存儲(加載)的位址。
/* nand.lds */
SECTIONS {
firtst 0x00000000 : { head.o init.o }
second 0x30000000 : AT(4096) { main.o }
以上,head.o放在0x00000000位址開始處,init.o放在head.o後面,他們的運作位址也是0x00000000,即連接配接和存儲位址相同(沒有AT指定);main.o放在4096(0x1000,是AT指定的,存儲位址)開始處,但是它的運作位址在0x30000000,運作之前需要從0x1000(加載處)複制到0x30000000(運作處),此過程也就用到了讀取Nand flash。
這就是存儲位址和連接配接(運作)位址的不同,稱為加載時域和運作時域,可以在.lds連接配接腳本檔案中分别指定。
編寫好的.lds檔案,在用arm-linux-ld連接配接指令時帶-Tfilename來調用執行,如
arm-linux-ld –Tnand.lds x.o y.o –o xy.o。也用-Ttext參數直接指定連接配接位址,如
arm-linux-ld –Ttext 0x30000000 x.o y.o –o xy.o。
既然程式有了兩種位址,就涉及到一些跳轉指令的差別,這裡正好寫下來,以後萬一忘記了也可檢視,以前不少東西沒記下來現在忘得差不多了。
ARM彙編中,常有兩種跳轉方法:b跳轉指令、ldr指令向PC指派。
我自己經過歸納如下:
b step1 :b跳轉指令是相對跳轉,依賴目前PC的值,偏移量是通過該指令本身的bit[23:0]算出來的,這使得使用b指令的程式不依賴于要跳到的代碼的位置,隻看指令本身。
ldr pc, =step1 :該指令是從記憶體中的某個位置(step1)讀出資料并賦給PC,同樣依賴目前PC的值,但是偏移量是那個位置(step1)的連接配接位址(運作時的位址),是以可以用它實作從Flash到RAM的程式跳轉。
此外,有必要回味一下adr僞指令,U-boot中那段relocate代碼就是通過adr實作目前程式是在RAM中還是flash中。仍然用我當時的注釋
adr r0, _start /* r0是代碼的目前位置 */
/* adr僞指令,彙編器自動通過目前PC的值算出 如果執行到_start時PC的值,放到r0中:
當此段在flash中執行時r0 = _start = 0;當此段在RAM中執行時_start = _TEXT_BASE(在board/smdk2410/config.mk中指定的值為0x33F80000,即u-boot在把代碼拷貝到RAM中去執行的代碼段的開始) */
ldr r1, _TEXT_BASE /* 測試判斷是從Flash啟動,還是RAM */
/* 此句執行的結果r1始終是0x33FF80000,因為此值是又編譯器指定的(ads中設定,或-D設定編譯器參數)
*/
cmp r0, r1 /* 比較r0和r1,調試的時候不要執行重定位 */
下面,結合u-boot.lds看看一個正式的連接配接腳本檔案。這個檔案的基本功能還能看明白,雖然上面分析了好多,但其中那些GNU風格的符号還是着實讓我感到迷惑。
OUTPUT_FORMAT("elf32­littlearm",
"elf32­littlearm", "elf32­littlearm")
;指定輸出可執行檔案是elf格式,32位ARM指令,小端
OUTPUT_ARCH(arm)
;指定輸出可執行檔案的平台為ARM
ENTRY(_start)
;指定輸出可執行檔案的起始代碼段為_start.
SECTIONS
{
. = 0x00000000 ; 從0x0位置開始
. = ALIGN(4) ; 代碼以4位元組對齊
.text : ;指定代碼段
{
cpu/arm920t/start.o
(.text) ; 代碼的第一個代碼部分
*(.text) ;其它代碼部分
}
. = ALIGN(4)
.rodata : { *(.rodata) } ;指定隻讀資料段
. = ALIGN(4);
.data : { *(.data) } ;指定讀/寫資料段
.got : { *(.got) } ;指定got段, got段式是uboot自定義的一個段, 非标準段
__u_boot_cmd_start = . ;把__u_boot_cmd_start指派為目前位置, 即起始位置
.u_boot_cmd : { *(.u_boot_cmd) } ;指定u_boot_cmd段, uboot把所有的uboot指令放在該段.
__u_boot_cmd_end = .;把__u_boot_cmd_end指派為目前位置,即結束位置
__bss_start = .; 把__bss_start指派為目前位置,即bss段的開始位置
.bss : { *(.bss) }; 指定bss段
_end = .; 把_end指派為目前位置,即bss段的結束位置