嵌入式軟件開發(fā)之： 映像文件存儲器映射調整

圖13.10顯示一個典型的分散載入描述文件的內容和組織結構。

圖13.10 典型的分散載入描述文件的內容和組織結構

3．加載域描述

一個加載域具有以下屬性：

· 名稱：鏈接程序使用它識別不同的加載域；

· 基址：載入視圖中的代碼和數據的起始地址；

· 屬性：可選；

· 最大尺寸：可選；

· 執(zhí)行區(qū)列表：這些執(zhí)行區(qū)標識執(zhí)行視圖中模塊的類型和位置。

圖13.11顯示了加載域的描述。

BNF語法為：

load_region_description ::=

load_region_name (base_address | (+ offset)) [attribute_list] [ max_size

]

{

execution_region_description+

}

語法說明如下。

① load_region_name為加載域的名稱。只有前31個字符有效。該名稱僅用于識別每個域。

② base_address是區(qū)中對象的鏈接地址。base_address必須是一個字對齊數值。

③ +offset描述基址，它從前一個加載域的末尾偏移offset個字節(jié)。offset的值必須能被4整除。如果是第一個加載域，則+offset表示該域的基地址是從0之后的offset字節(jié)開始。

④ attribute_list指定加載域內容的屬性：

· PI：位置獨立；

· RELOC：可重定位；

· OVERLAY：重疊；

· ABSOLUTE：絕對地址；

· NOCOMPRESS：代碼不被壓縮。

可以指定這些屬性中的一項（除NOCOMPRESS外，其他4項屬性為互斥關系）。默認的加載域屬性是ABSOLUTE。具有PI、RELOC或OVERLAY屬性之一的加載域可以有重疊的地址范圍。對于ABSOLUTE加載域，armlink不允許重疊的地址范圍。OVERLAY關鍵字允許在同一個地址有多個執(zhí)行區(qū)。

⑤ max_size：它指定加載域的最大尺寸。（如果指定了可選的max_size值，但分配給該區(qū)的字節(jié)超過max_size字節(jié)，armlink將生成錯誤。）

⑥ execution_region_description：它指定執(zhí)行區(qū)名稱、地址和內容。

4．執(zhí)行域描述符

執(zhí)行域具有以下一些屬性：

·

域名稱；

· 執(zhí)行域基地址（支持絕對地址的或相對地址的）；

· 執(zhí)行域的最大尺寸（可選）；

· 指定執(zhí)行域屬性；

· 一個或多個輸入段描述（放在本執(zhí)行區(qū)中的模塊）。

圖13.12顯示了一個典型的執(zhí)行域描述。

執(zhí)行域描述符中的BNF語法為：

execution_region_description ::=

exec_region_name (base_address | + offset) [attribute_list] [max_size | –

length]

{

input_section_description+

}

其語法說明如下。

① exec_region_name 為執(zhí)行域命名。（只有前31個字符有效。）

② base_address是域中對象的鏈接地址。base_address必須是字對齊的。

③ +offset是描述基址，它從前一個執(zhí)行區(qū)的末尾偏移offset個字節(jié)。offset的值必須能被4整除。如果前面沒有執(zhí)行區(qū)（即，這是載入區(qū)中的第一個執(zhí)行區(qū)），則+offset表示基址從它所在的載入區(qū)的基址之后offset個字節(jié)開始。如果使用+offset格式并且所在的加載域具有RELOC屬性，則執(zhí)行區(qū)繼承該RELOC屬性。但是，如果使用固定的base_address，則隨后出現的offset不繼承RELOC屬性。

④ attribute_list指定執(zhí)行區(qū)內容的屬性：

· PI：位置獨立。

· OVERLAY：重疊。

· ABSOLUTE：絕對地址。域的執(zhí)行地址由base_designator指定。

· FIXED：固定地址。執(zhí)行域的加載地址和執(zhí)行地址都由base_designator指定。base_designator必須是絕對基址，或者偏移量為+0。

· EMPTY：它在執(zhí)行區(qū)中保留一個已知長度的空白存儲器塊，通常用作堆或棧。

· PADVALUE：指定填充字的默認值，如果在域定義中指定了該屬性，則必須為該屬性賦值。使用該屬性的例子如下。

EXEC 0x10000 PADVALUE 0xffffffff EMPTY ZEROPAD 0x2000