痞子衡嵌入式：一個奇怪的Keil MDK下變量連接強制對齊報錯問題(--legacyalign)

---

　　你們好，我是痞子衡，是正經搞技術的痞子。今天痞子衡給你們分享的是一個奇怪的Keil MDK下變量連接強制對齊報錯問題。

　　痞子衡最近一直在參與恩智浦SBL項目（就是一個適用LPC和i.MXRT的完整OTA方案），這個項目近期會和你們見面，項目須要同時支持GCC, IAR, MDK三大開發環境，項目所屬i.MXRT1170工程在GCC和IAR下編譯連接一切正常，可是在MDK下出現了連接對齊報錯問題，痞子衡花時間研究解決了這個問題，這個問題算是和MDK工具自己牢牢相關，痞子衡以爲挺有意思(其實主要是想吐槽MDK)，特分享給你們。

　　也許問題和MDK版本有關，在分析問題前，特別交待一下版本信息：

1、L6244E報錯問題

　　讓咱們先看一下這是個啥問題，SBL項目源碼引入了usb stack，在usb stack源文件usb_device_ehci.c裏有以下名爲qh_buffer的bss型變量定義，這個變量實際長度爲3KB，咱們要求MDK連接時將其放在2KB對齊的地址。

#define USB_DEVICE_CONFIG_EHCI      (2)
#define USB_DEVICE_CONFIG_ENDPOINTS (8U)

__attribute__((aligned(2048)))
static uint8_t qh_buffer[(USB_DEVICE_CONFIG_EHCI - 1) * 2048 + USB_DEVICE_CONFIG_ENDPOINTS * 2 * sizeof(usb_device_ehci_qh_struct_t)];

　　以下是SBL項目的配套MDK連接文件(MIMXRT1176xxxxx_cm7_flexspi_nor.scf)，工程代碼是XIP執行的。從連接文件內容來看，這是一個很是普通的連接文件，除了爲i.MXRT啓動頭(FDCB、IVT、BootData)作了一些特殊放置外，其他都是常規連接語句，沒有再爲其餘代碼或變量作特殊放置，基本就是讓連接器(armlink)自由發揮。

#define m_flash_config_start           0x30000400
#define m_flash_config_size            0x00000C00

#define m_ivt_start                    0x30001000
#define m_ivt_size                     0x00001000

#define m_interrupts_start             0x30002000
#define m_interrupts_size              0x00000400

#define m_text_start                   0x30002400
#define m_text_size                    0x00FBDC00

#define m_data_start                   0x20000000
#define m_data_size                    0x00040000

#define Stack_Size                     0x0400
#define Heap_Size                      0x0400

LR_m_text m_flash_config_start m_text_start+m_text_size-m_flash_config_start {
  ; 放置FDCB（i.MXRT特點）
  RW_m_config_text m_flash_config_start FIXED m_flash_config_size {
    * (.boot_hdr.conf, +FIRST)
  }
  ; 放置IVT, BootData（i.MXRT特點）
  RW_m_ivt_text m_ivt_start FIXED m_ivt_size {
    * (.boot_hdr.ivt, +FIRST)
    * (.boot_hdr.boot_data)
  }
  ; 放置中斷向量表
  VECTOR_ROM m_interrupts_start FIXED m_interrupts_size {
    * (.isr_vector,+FIRST)
  }
  ; 放置程序代碼
  ER_m_text m_text_start FIXED m_text_size {
    * (InRoot$$Sections)
    .ANY (+RO)
  }
  ; 放置程序變量
  RW_m_data m_data_start m_data_size-Stack_Size-Heap_Size {
    .ANY (+RW +ZI)
    * (RamFunction)
    * (NonCacheable.init)
    * (*NonCacheable)
  }
 ; 放置程序堆、棧
  ARM_LIB_HEAP +0 EMPTY Heap_Size { }
  ARM_LIB_STACK m_data_start+m_data_size EMPTY -Stack_Size { }
}

　　編譯工程獲得一個以下圖所示奇怪連接錯誤，連接器說LR_m_text起始地址沒有按2KB對齊。連接文件裏指定的LR_m_text加載區地址範圍[m_flash_config_start, m_text_start+m_text_size-m_flash_config_start]只是一個最大的RO存儲範圍，雖然m_flash_config_start等於0x30000400，可是這個起始地址是指定用於放置FDCB的，何況本文主角qh_buffer是個bss型變量（初始化值爲0，不需在flash裏放初值），徹底不佔用RO區，僅需分配RW區便可，連接器由於qh_buffer的對齊需求而對LR_m_text起始地址這麼焦慮，實在讓人費解。

2、嘗試解決報錯問題

2.1 調整LR_m_text起始地址

　　既然連接器對LR_m_text起始地址這麼焦慮，乾脆不讓它焦慮好了，咱們直接將起始地址設成0x30000000（FlexSPI映射起始地址），所以連接文件修改以下。注：由於幾個i.MXRT啓動頭的段都是固定地址放置的，因此起始地址的改動對他們沒有影響，對其他未指定地址放置的段更沒有影響。

#define m_flash_start                  0x30000000
#define m_flash_size                   0x00FC0000

#define m_flash_config_start           0x30000400
#define m_flash_config_size            0x00000C00

LR_m_text m_flash_start m_flash_size { ;改動在這裏！！！
  ; 放置FDCB
  RW_m_config_text m_flash_config_start FIXED m_flash_config_size {
    * (.boot_hdr.conf, +FIRST)
  }
  ; 放置IVT, BootData
  ; 放置中斷向量表
  ; 放置程序代碼
  ; 放置程序變量
  ; 放置程序堆、棧
}

　　改完連接文件後從新編譯MDK工程，此次沒有連接錯誤了，咱們打開工程映射文件(sbl.map)，找出其中跟qh_buffer相關的內容，能夠看到qh_buffer被放置在了0x20004800處，這個地址確實是2KB對齊的，但這是RW區，其實跟咱們設定/改動的LR_m_text加載空間沒有任何聯繫。

==============================================================================
Image Symbol Table
    Local Symbols
    Symbol Name                              Value     Ov Type        Size  Object(Section)
    qh_buffer                                0x20004800   Data        3072  usb_device_ehci.o(.bss.qh_buffer)
    [Anonymous Symbol]                       0x20004800   Section        0  usb_device_ehci.o(.bss.qh_buffer)

==============================================================================

Memory Map of the image
  Image Entry point : 0x30002401
  Load Region LR_m_text (Base: 0x30000000, Size: 0x00011800, Max: 0x00fc0000, ABSOLUTE, COMPRESSED[0x00011518])

    Execution Region RW_m_data (Exec base: 0x20000000, Load base: 0x30010000, Size: 0x00005ed8, Max: 0x0003f800, ABSOLUTE, COMPRESSED[0x00000800])

    Exec Addr    Load Addr    Size         Type   Attr      Idx    E Section Name        Object
    0x20004800        -       0x00000c00   Zero   RW         2164    .bss.qh_buffer      usb_device_ehci.o

2.2 爲連接器加--legacyalign選項

　　上一節的方法雖然解決了問題，可是解決方案沒有說服力，僅僅是個替代方案。爲此痞子衡翻看了MDK官方文檔，找到了以下關於連接對齊方面的一些說明文檔：

• 關於--legacyalign, --no_legacyalign 用法解釋：https://www.keil.com/support/man/docs/armlink/armlink_pge1362075504330.htm
• Section alignment with the linker 用法規定：https://www.keil.com/support/man/docs/armclang_ref/armclang_ref_pge1362065911965.htm

　　默認狀況下armlink連接器假設執行區和加載區是4字節對齊的，在連接分配時須要插入一些填充空間來知足區內段的特殊對齊需求，連接器在處理填充時有兩個策略：

• 嚴苛策略--no_legacyalign（默認）：指示連接器插入填充以強制執行區首地址天然對齊，這裏的天然對齊是該區域內已知的最大對齊。這個選項能夠確保嚴格符合ELF規範。
• 寬鬆策略--legacyalign：指示連接器按最小化對齊方式來插入填充。

　　讀到這裏，咱們好像找到了一開始報錯的緣由，就是默認的--no_legacyalign搗的鬼，連接器應該根據LR_m_text區首地址按qh_buffer對齊要求來填充，但實際上連接器卻直接撂挑子不幹了，報了個錯。那咱們就不讓連接器爲難了，給它個寬鬆策略：

　　這樣改動以後，不須要調整連接文件，MDK工程也能正常編譯鏈接了。再來看映射文件(sbl/map)，qh_buffer連接地址相比前一個方案發生了變化，從0x20004800移到了0x20004000，但依然知足2KB對齊的。

==============================================================================
Image Symbol Table
    Local Symbols
    Symbol Name                              Value     Ov Type        Size  Object(Section)
    qh_buffer                                0x20004000   Data        3072  usb_device_ehci.o(.bss.qh_buffer)
    [Anonymous Symbol]                       0x20004000   Section        0  usb_device_ehci.o(.bss.qh_buffer)

==============================================================================

Memory Map of the image
  Image Entry point : 0x30002401
  Load Region LR_m_text (Base: 0x30000400, Size: 0x00010944, Max: 0x00fbfc00, ABSOLUTE, COMPRESSED[0x00010408])

    Execution Region RW_m_data (Exec base: 0x20000000, Load base: 0x3000f944, Size: 0x000056d8, Max: 0x0003f800, ABSOLUTE, COMPRESSED[0x000001ac])

    Exec Addr    Load Addr    Size         Type   Attr      Idx    E Section Name        Object
    0x20004000        -       0x00000c00   Zero   RW         2164    .bss.qh_buffer      usb_device_ehci.o

　　最後再提一個MDK自相矛盾的地方，咱們加了--legacyalign選項後編譯給了個以下警告，說--legacyalign選項不推薦使用。

　　然而咱們在MDK官方文檔裏看到了備註，說的是armlink v6.6版本以上不推薦加--no_legacyalign選項，那痞子衡正在使用的armlink v6.14版本應該是建議使用--legacyalign選項的，可是爲什麼給警告呢？MDK啊，想說愛你不容易！

　　至此，一個奇怪的Keil MDK下變量連接強制對齊報錯問題痞子衡便介紹完畢了，掌聲在哪裏~~~

歡迎訂閱

文章會同時發佈到個人 博客園主頁、CSDN主頁、知乎主頁、微信公衆號 平臺上。

微信搜索"痞子衡嵌入式"或者掃描下面二維碼，就能夠在手機上第一時間看了哦。