Linux Kernel編譯和鏈接中的linker script語法詳解
作者：Innost
先要講講這個問題是怎么來的。（咱們在分析一個技術的時候，先要考慮它是想解決什么問題，或者學習新知識的時候，要清楚這個知識的目的是什么）。
先要講講這個問題是怎么來的。（咱們在分析一個技術的時候，先要考慮它是想解決什么問題，或者學習新知識的時候，要清楚這個知識的目的是什么）。
我在編譯內核的時候，發現arch/arm/kernel目錄下有一個這樣的文 件：vmlinux.lds.S。第一眼看上去，想想是不是匯編文件呢？打開一看，好像不是。那它是干嘛的？而且前面已經說過，make V=1的時候，發現這個文件的用處在ld命令中，即ld -T vmlinux.lds.S，好像是鏈接命令用的，如下所示
如arm-linux-ld -EL -p --no-undefined -X --build-id -o vmlinux -T arch/arm/kernel/vmlinux.lds。man ld，得到-T的意思是：為ld指定一個Linker script，意思是ld根據這個文件的內容來生成最終的二進制。
也許上面這個問題，你從沒關注過，但是在研究內核代碼的時候，常常有地方說“ __init宏會在最后的模塊中生成一個特定的section，然后kernel加載的時候，尋找這個section中的函數”，說白了，上面這句話就是 說最后生成的模塊中，有一個特定的section，這又是什么東西？
好吧，希望上面的問題勾起你的好奇心。下面我們來掃盲，最后會給一個鏈接地址，各看官可以去那深造。
一 section是什么？
好吧，我們需要解釋一下平時編譯鏈接生成的二進制可執行程序（比如說ELF，EXE也行），so或者dll，內核（非壓縮的，參加本系列第一節內容、vmlinux），或者ko是怎么組織的。
其實，大家或多或少都知道這些二進制中包括有什么text/bss/data節（也叫section）。text節存儲的是代碼、data存儲的是已經初始化的靜態變量、bss節存儲的是未初始化的什么東西...
上面的東西我就不細究了。反正一點，一個二進制，最終會包含很多section。那么，為什么section叫text/bss/data，能叫別的名字嗎？
OK，可以。但是你得告訴ld，那么這些內容就通過-T選項指定一個linker script就行了。這些內容我們放到后面的實例中來介紹。
（再三強調，咱們在理論上只是拋磚引玉，希望有興趣的看官自己研究，注意和我們分享你的成果就行了。）
二 link script基礎知識介紹
linker script中的語法是linker command language（很簡單的language，大家不用害怕...）。那么LS的目的是什么呢？
- LS描述輸入文件（也就是gcc -c命令產生的.o文件即object文件）中的section最終如何對應到一個輸出文件。這個其實好理解，例如一個elf由三個.o文件構成，每 個.o文件都有text/data/bss段，但最終的那一個elf就會將三個輸入的.o文件的段合并到一起。
好了，下面我們介紹一些基本知識：
- ld的功能是將input文件組裝成一個output文件。這些文件內部的都有特殊 的組織結構，這種結構被叫做object file format。每一個文件叫做object file（這可能就是.o文件的來歷吧。哈哈），輸出文件也叫可執行文件（an executable），但是對于ld來說，它也是一種object文件。那么Object文件有什么特殊的地方呢？恩，它內部組織是按照 section（段、或者節，以后不再區分二者）來組織的。一句話，object文件內部包含段......
- 每個段都有名字和size。另外，段內部還包含一些數據， 這些數據叫做section contents，以后稱段內容。每個段有不同的屬性。例如text段標志為可加載（loadable），表示該段內的contents在運行時候（當然 指輸出文件執行的時候）需要加載到內存中。另外一些段中沒有contents，那么這些段標示為allocatable，即需要分配一些內存（有時候這些 內存會被初始化成0，這里說的應該是BSS段。BSS段在二進制文件中沒有占據空間，即磁盤上二進制文件的大小比較小，但是加載到內存后，需要為BSS段 分配內存空間。），還有一些段屬于debug的，這里包含一些debug信息。
- 既然需要加載到內存中，那么加載到內存的地址是什么 呢？loadable和allocable的段都有兩個地址，VMA:虛擬地址，即程序運行時候的地址，例如把text段的VMA首地址設置為 0x800000000，那么運行時候的首地址就是這個了。另外還有一個LMA，即Load memory address。這個地址是section加載時的地址。暈了吧？二者有啥區別？一般情況下，VMA=LMA。但也有例外。例如設置某數據段的LMA在 ROM中（即加載的時候拷貝到ROM中），運行的時候拷貝到RAM中，這樣LMA和VMA就不同了。---------》很難搞懂不是？這種方法用于初始 化一些全局變量，基于那種ROM based system。（問一個問題，run的時候，怎么根據section中的VMA進行相應設置?。?？以后可能需要研究下內核中關于execve實現方面的內 容了）。關于VMA和LMA，大家通過objdump -h選項可以查看。
三 簡單例子
下面來一個簡單例子，
SECTIONS
{. = 0x10000;
.text : { *(.text) }
. = 0x8000000;
.data : { *(.data) }
.bss : { *(.bss) }
}
- SECTIONS是LS語法中的關鍵command，它用來描述輸出文件的內存布局。例如上例中就含text/data/bss三個部分（實際上text/data/bss才是段，但是SECTIONS這個詞在LS中是一個command，希望各位看官要明白）。
- .=0x10000; 其中的.非常關鍵，它代表location counter（LC）。意思是.text段的開始設置在0x10000處。這個LC應該指的是LMA，但大多數情況下VMA=LMA。
- .text:{*(.text)}，這個表示輸出文件的.text段內容由所有輸入文件(*)的.text段組成。組成順序就是ld命令中輸入文件的順序，例如1.obj,2.obj......
- 此后，由來了一個.=0x800000000;。如果沒有 這個賦值的，那么LC應該等于0x10000+sizeof(text段)，即LC如果不強制指定的話，它默認就是上一次的LC+中間section的長 度。還好，這里強制指定LC=0X800000000.表明后面的.data段的開始位于這個地址。
- .data和后面的.bss表示分別有輸入文件的.data和.bss段構成。
你看，我們從這個LC文件中學到了什么？
恩，我們可以任意設置各個段的LMA值。當然，絕大部分情況，我們不需要有自己的LS來控制輸出文件的內存布局。不過LK（linux kernel）可不一樣了......
四 霸王硬上弓---vmlinux.lds.S分析
OK，有了上面的基礎知識，下面我們霸王硬上弓，直接分析arch/arm/kernel/vmlinux.lds.S.雖然最終鏈接用的是vmlinux.lds，但是那個文件
由vmlinux.lds.S（這是一個匯編文件）得到，
arm-linux-gcc -E -Wp,-MD,arch/arm/kernel/.vmlinux.lds.d -nostdinc ...... -D__KERNEL__ -mlittle-endian ......
-DTEXT_OFFSET=0x00008000 -P -C -Uarm -D__ASSEMBLY__ -o arch/arm/kernel/vmlinux.lds arch/arm/kernel/vmlinux.lds.S
所以，我們直接分析vmlinux.lds好了。
/*
一堆注釋，這里就不再貼上了，另外，增加//號做為注釋標識
* Convert a physical address to a Page Frame Number and back
*/
一堆注釋，這里就不再貼上了，另外，增加//號做為注釋標識
* Convert a physical address to a Page Frame Number and back
*/
//OUTPUT_ARCH是LS語法中的COMMAND，用來指定輸出文件的machine arch。objdump -f可查詢所有支持的machine。另外
//這些東西涉及到一種叫BFD的。各位看官可以自己搜索下BFD的內容。
//下面這 表示輸出文件基于ARM架構
OUTPUT_ARCH(arm)
OUTPUT_ARCH(arm)
//ENTRY也是一個command，用來設置入口點。這里表示入口點是stext 。根據LD的描述，入口點的意思就是程序運行的第一條指令。內核是一個模塊，大家把他想象
//成一個運行在硬件上的大程序就可以了。而我們的程序又是運行在內核至上的。比較下Java虛擬機以及運行在其上的Java程序吧......
ENTRY(stext)
ENTRY(stext)
//設置jiffies為jiffies_64
jiffies = jiffies_64;
jiffies = jiffies_64;
//定義輸出文件的段
SECTIONS
{
SECTIONS
{
//設置location count為0xc0008000，這個好理解吧？內核運行的地址全在C0000000以上
. = 0xC0000000 + 0x00008000;
. = 0xC0000000 + 0x00008000;
//定義一個.text.head段，由輸入文件中所有.text.head段組成
/*
LS語法中，關于seciton的定義如下：
section [address] [(type)] :
[AT(lma)] [ALIGN(section_align)]
[SUBALIGN(subsection_align)]
[constraint]
{
output-section-command
output-section-command
...
} [>region] [AT>lma_region] [:phdr :phdr ...] [=fillexp]
[AT(lma)] [ALIGN(section_align)]
[SUBALIGN(subsection_align)]
[constraint]
{
output-section-command
output-section-command
...
} [>region] [AT>lma_region] [:phdr :phdr ...] [=fillexp]
其中，address為VMA，而AT命令中的為LMA。一般情況，address不會設置，所以它默認等于當前的location counter
*/
.text.head : {
.text.head : {
/*這個非常關鍵，咱們在內核代碼中經常能看到一些變量聲明，例如extern int __stext，但是卻找不到在哪定義的
其實這些都是在lds文件中定義的。這里得說一下編譯鏈接相關的小知識。咱們這知道大概即可，具體內容可以自己深入研究
假設C代碼中定義一個變量 int x = 0;那么
1 編譯器首先會分配一塊內存，用來存儲該變量的值
2 編譯器在程序的symbol表中，創建一項，用來存儲這個變量的地址
例如，上面的 int x = 0,就在symbol表中創建一x項，這個x項指向一塊內存，sizeof(int)大小，存儲的值為0。當有地方使用這個x的時候，編譯器會生成相應的代碼，
首先指向這個x的內存，然后讀取內存中的值。
上面的內容是C中一個變量的定義。但是Linker script中也可以定義變量，這時候只會生成一個symbol項，但是沒有分配內存。。例如_stext=0x100,那么會
創建一個symbol項，指向0x100的內存，但該內存中沒有存儲value。所以，我們在C中使用LS中定義的變量的話，只能取它的地址。下面是一個例子：
start_of_ROM = .ROM; end_of_ROM = .ROM + sizeof (.ROM) - 1; start_of_FLASH = .FLASH;
上面三個變量是在LS中定義的，分別指向.ROM段的開始和結尾，以及FLASH段的開始。現在在C代碼中想把ROM段的內容拷貝到FLASH段中，下面是C代碼：
extern char start_of_ROM, end_of_ROM, start_of_FLASH; memcpy (& start_of_FLASH, & start_of_ROM, & end_of_ROM - & start_of_ROM);
注意其中的取地址符號&。C代碼中只能通過這種方式來使用LS中定義的變量. start_of_ROM這個值本身是沒有意義的，只有它的地址才有意義。因為它的值沒有初始化。
地址就指向.ROM段的開頭。
說白了，LS中定義的變量其實就是地址，即_stext=0x100就是C代碼中的一個地址 int *_stext=0x100。明白了？
最終的ld中會分配一個slot，然后存儲x的地址。也就是說，ld知道這些勾當。那么當然我們在LS中
也可以定義一個變量，然后在C中使用了。所以下面這句話實際上定義了一個_stext變量。在C中通過extern就可以引用了。但是這里有一個
比較關鍵的問題。C中定義的x=0，其值被初始化為0了。也就是slot...待補充
*/
_stext = .;.
_sinittext = .;
*(.text.head)
}
_stext = .;.
_sinittext = .;
*(.text.head)
}
//定義.init段，由所有的.init.text/.cpuinit.text/.meminit.text組成
//這時的LC的值為.init的開始
.init : { /* Init code and data */
*(.init.text) *(.cpuinit.text) *(.meminit.text)
.init : { /* Init code and data */
*(.init.text) *(.cpuinit.text) *(.meminit.text)
//定義一個變量 _einitext，它的值為當前的LC，即.init的初值+*(.init.text) *(.cpuinit.text) *(.meminit.text)的大小。也就是說變量
//_einitext標示一個結尾。
_einittext = .;
_einittext = .;
//下面這個變量 __proc_info_begin標示一個開頭
__proc_info_begin = .;
*(.proc.info.init) //所有.proc.info.init段內容在這
__proc_info_end = .;//下面這個變量 __proc_info_end標示結尾，它和__proc_info_begin變量牢牢得把輸出文件.proc.info.init的內容卡住了。
__proc_info_begin = .;
*(.proc.info.init) //所有.proc.info.init段內容在這
__proc_info_end = .;//下面這個變量 __proc_info_end標示結尾，它和__proc_info_begin變量牢牢得把輸出文件.proc.info.init的內容卡住了。
//有了上面begin和end的介紹，后面就簡單了，大部分都是一個begin+end來卡住一段內容。根據前面的介紹,begin和end又可以在C程序中引用
//也就是我們通過Begin+end，就可以獲得卡住的內容了。例如我們把一些初始化的函數指針放到一個begin和end中。然后通過一個循環，不就是
//可以調用這些函數了么。最后我們就來個例子介紹下。
__arch_info_begin = .;
*(.arch.info.init)
__arch_info_end = .;
__tagtable_begin = .;
*(.taglist.init)
__tagtable_end = .;
. = ALIGN(16);
__setup_start = .;
*(.init.setup)
__setup_end = .;
__early_begin = .;
*(.early_param.init)
__early_end = .;
__initcall_start = .;
*(.initcallearly.init)
__arch_info_begin = .;
*(.arch.info.init)
__arch_info_end = .;
__tagtable_begin = .;
*(.taglist.init)
__tagtable_end = .;
. = ALIGN(16);
__setup_start = .;
*(.init.setup)
__setup_end = .;
__early_begin = .;
*(.early_param.init)
__early_end = .;
__initcall_start = .;
*(.initcallearly.init)
__early_initcall_end = .;
*(.initcall0.init) *(.initcall0s.init) *(.initcall1.init) *(.initcall1s.init) *(.initcall2.init) *(.initcall2s.init) *(.initcall3.init) *(.initcall3s.init) *(.initcall4.init) *(.initcall4s.init) *(.initcall5.init) *(.initcall5s.init) *(.initcallrootfs.init) *(.initcall6.init) *(.initcall6s.init) *(.initcall7.init) *(.initcall7s.init)
__initcall_end = .;
__con_initcall_start = .;
*(.con_initcall.init)
__con_initcall_end = .;
__security_initcall_start = .;
*(.security_initcall.init)
__security_initcall_end = .;
. = ALIGN(32);//ALIGN，表示對齊，即這里的Location Counter的位置必須按32對齊
__initramfs_start = .; //ramfs的位置
usr/built-in.o(.init.ramfs)
__initramfs_end = .;
. = ALIGN(4096); //4K對齊
__per_cpu_load = .;
__per_cpu_start = .;
*(.data.percpu.page_aligned)
*(.data.percpu)
*(.data.percpu.shared_aligned)
__per_cpu_end = .;
__init_begin = _stext;
*(.init.data) *(.cpuinit.data) *(.cpuinit.rodata) *(.meminit.data) *(.meminit.rodata)
. = ALIGN(4096);
__init_end = .;
}
*(.initcall0.init) *(.initcall0s.init) *(.initcall1.init) *(.initcall1s.init) *(.initcall2.init) *(.initcall2s.init) *(.initcall3.init) *(.initcall3s.init) *(.initcall4.init) *(.initcall4s.init) *(.initcall5.init) *(.initcall5s.init) *(.initcallrootfs.init) *(.initcall6.init) *(.initcall6s.init) *(.initcall7.init) *(.initcall7s.init)
__initcall_end = .;
__con_initcall_start = .;
*(.con_initcall.init)
__con_initcall_end = .;
__security_initcall_start = .;
*(.security_initcall.init)
__security_initcall_end = .;
. = ALIGN(32);//ALIGN，表示對齊，即這里的Location Counter的位置必須按32對齊
__initramfs_start = .; //ramfs的位置
usr/built-in.o(.init.ramfs)
__initramfs_end = .;
. = ALIGN(4096); //4K對齊
__per_cpu_load = .;
__per_cpu_start = .;
*(.data.percpu.page_aligned)
*(.data.percpu)
*(.data.percpu.shared_aligned)
__per_cpu_end = .;
__init_begin = _stext;
*(.init.data) *(.cpuinit.data) *(.cpuinit.rodata) *(.meminit.data) *(.meminit.rodata)
. = ALIGN(4096);
__init_end = .;
}
//DISACARD是一個特殊的section，表示符合這個條件的輸入段都不會寫到輸出段中，也就是輸出文件中不包含下列段
/DISCARD/ : { /* Exit code and data */
*(.exit.text) *(.cpuexit.text) *(.memexit.text)
*(.exit.data) *(.cpuexit.data) *(.cpuexit.rodata) *(.memexit.data) *(.memexit.rodata)
*(.exitcall.exit)
*(.ARM.exidx.exit.text)
*(.ARM.extab.exit.text)
}
//省略部分內容
/DISCARD/ : { /* Exit code and data */
*(.exit.text) *(.cpuexit.text) *(.memexit.text)
*(.exit.data) *(.cpuexit.data) *(.cpuexit.rodata) *(.memexit.data) *(.memexit.rodata)
*(.exitcall.exit)
*(.ARM.exidx.exit.text)
*(.ARM.extab.exit.text)
}
//省略部分內容
//ADDR為內置函數，用來返回VMA的
/*
這里舉個小例子，大家看看VMA和LMA到底有什么作用
SECTIONS
{
.text 0x1000 : { *(.text) _etext = . ; } /.text段的VMA為0x1000，而且LMA=VMA
.mdata 0x2000 : //.mdata段的VMA為0x2000,但是它的LMA卻在.text段的結尾
AT ( ADDR (.text) + SIZEOF (.text) )
{ _data = . ; *(.data); _edata = . ; }
.bss 0x3000 :
{ _bstart = . ; *(.bss) *(COMMON) ; _bend = . ;}
}
{
.text 0x1000 : { *(.text) _etext = . ; } /.text段的VMA為0x1000，而且LMA=VMA
.mdata 0x2000 : //.mdata段的VMA為0x2000,但是它的LMA卻在.text段的結尾
AT ( ADDR (.text) + SIZEOF (.text) )
{ _data = . ; *(.data); _edata = . ; }
.bss 0x3000 :
{ _bstart = . ; *(.bss) *(COMMON) ; _bend = . ;}
}
看到了么？.mdata段運行的時候在0x2000，但是數據load地址卻在.text段后，所以運行的時候需要把.mdata段內容拷貝過去。
extern char _etext, _data, _edata, _bstart, _bend;
char *src = &_etext; //_etext為.text端的末尾 VMA地址，但同時也是.mdata段LMA的開始，有LS種的AT指定
char *dst = &_data; //_data為mdata段的VMA，現在需要把LMA地址開始的內容拷貝到VMA開始的地方
/* ROM has data at end of text; copy it. */
while (dst < &_edata)
*dst++ = *src++; //拷貝....明白了？不明白的好好琢磨
/* Zero bss. */
for (dst = &_bstart; dst< &_bend; dst++)
*dst = 0; //初始化數據區域
char *src = &_etext; //_etext為.text端的末尾 VMA地址，但同時也是.mdata段LMA的開始，有LS種的AT指定
char *dst = &_data; //_data為mdata段的VMA，現在需要把LMA地址開始的內容拷貝到VMA開始的地方
/* ROM has data at end of text; copy it. */
while (dst < &_edata)
*dst++ = *src++; //拷貝....明白了？不明白的好好琢磨
/* Zero bss. */
for (dst = &_bstart; dst< &_bend; dst++)
*dst = 0; //初始化數據區域
*/
.rodata : AT(ADDR(.rodata) - 0) {
__start_rodata = .;
*(.rodata) *(.rodata.*) *(__vermagic) *(__markers_strings) *(__tracepoints_strings)
}
.rodata1 : AT(ADDR(.rodata1) - 0) {
*(.rodata1)
}
......//省略部分內容
.rodata : AT(ADDR(.rodata) - 0) {
__start_rodata = .;
*(.rodata) *(.rodata.*) *(__vermagic) *(__markers_strings) *(__tracepoints_strings)
}
.rodata1 : AT(ADDR(.rodata1) - 0) {
*(.rodata1)
}
......//省略部分內容
_edata_loc = __data_loc + SIZEOF(.data);
.bss : {
__bss_start = .; /* BSS */
*(.bss)
*(COMMON)
_end = .;
}
/* Stabs debugging sections. */
.stab 0 : { *(.stab) }
.stabstr 0 : { *(.stabstr) }
.stab.excl 0 : { *(.stab.excl) }
.stab.exclstr 0 : { *(.stab.exclstr) }
.stab.index 0 : { *(.stab.index) }
.stab.indexstr 0 : { *(.stab.indexstr) }
.comment 0 : { *(.comment) }
}
//ASSERT是命令，如果第一個參數為0，則打印第二個參數的信息（也就是錯誤信息），然后ld命令退出。
ASSERT((__proc_info_end - __proc_info_begin), "missing CPU support")
ASSERT((__arch_info_end - __arch_info_begin), "no machine record defined")
.bss : {
__bss_start = .; /* BSS */
*(.bss)
*(COMMON)
_end = .;
}
/* Stabs debugging sections. */
.stab 0 : { *(.stab) }
.stabstr 0 : { *(.stabstr) }
.stab.excl 0 : { *(.stab.excl) }
.stab.exclstr 0 : { *(.stab.exclstr) }
.stab.index 0 : { *(.stab.index) }
.stab.indexstr 0 : { *(.stab.indexstr) }
.comment 0 : { *(.comment) }
}
//ASSERT是命令，如果第一個參數為0，則打印第二個參數的信息（也就是錯誤信息），然后ld命令退出。
ASSERT((__proc_info_end - __proc_info_begin), "missing CPU support")
ASSERT((__arch_info_end - __arch_info_begin), "no machine record defined")
五 內核代碼中使用LS中定義的變量
咱們看一個小例子
[-->init/main.c]
extern initcall_t __initcall_start[], __initcall_end[], __early_initcall_end[]; //這幾個值在LS中定義。大家可以在上面搜索下
static void __init do_initcalls(void)
{
initcall_t *call;
//上面已經定義成數組了，所以下面這些變量直接取的就是指針，和上面例子中使用&一個意思，反正不能用value
for (call = __early_initcall_end; call < __initcall_end; call++)
do_one_initcall(*call);
/* Make sure there is no pending stuff from the initcall sequence */
flush_scheduled_work();
}
{
initcall_t *call;
//上面已經定義成數組了，所以下面這些變量直接取的就是指針，和上面例子中使用&一個意思，反正不能用value
for (call = __early_initcall_end; call < __initcall_end; call++)
do_one_initcall(*call);
/* Make sure there is no pending stuff from the initcall sequence */
flush_scheduled_work();
}
六 總結
關于LS的詳細文檔，見下面的網址：
上面文檔寫得比較粗，但大家知道兩點即可：
- LK源碼中那些找不到來源的變量是怎么來的---》在LS定義。
- VMA和LMA是怎么回事。
責任編輯：張葉青
來源：
博客園
