從0學ARM——什么是位置無關碼?
如果我們將生成的bin文件拷貝到內存0x40008000位置運行必然沒有問題,
bl func 和 ldr pc,=func 都能跳轉到func函數,
而19行代碼,也能訪問到全局變量aaaa。
如果我們將該程序拷貝到其他地址是否能正常運行呢?
假定我們拷貝到0地址運行,那么程序的執行地址需要從0開始重新編排,即_start對應0地址,main對應0x18。
拷貝到0地址后內存布局:

拷貝到0地址運行后,**內存中指令(機器碼)**的內容還和以前一樣,pc的值會根據實際運行地址重新修正。
首先看bl func
對應的匯編代碼是 第9行;該指令的機器碼是0xeb000001,我們在《4. 從0開始學ARM-ARM指令,移位、數據處理、BL、機器碼》講過該機器碼格式是從pc的位置向前偏移1條指令因為三級流水線,所以應該往下偏移3條指令,即func的位置,所以bl仍然可以正確找到func這個函數。

bl funcldr pc,=func對應的匯編代碼是 第10行;

我們可以看到是從pc值+4位置取出對應的內存的值,pc值+4是14,該位置對應15行,即將40008010寫入到pc,

而我們的bin文件只有44個字節大小,所以此時內存40008010并沒有我們編寫的任何代碼。所以ldr pc,=func 無法跳轉到func。
c訪問全局變量aaaa
對應的匯編代碼是 第19行;

c訪問全局變量aaaa
我們可以看到是從pc值+4位置取出對應的內存的值,pc值+4是28,該位置對應22行,即將4000802c寫入到r3,然后20行會將r2中值寫入到0x4000802c這個地址,而此時該地址并不是全局變量aaaa,所以此指令是無法找到bss段的aaaa變量的內存。
三、總結
1. 位置無關碼:
CPU取指時用相對地址取指令(比如pc +4),只要其相對地址沒有變,都能夠取指并運行。即該段代碼無論放在內存的哪個地址,都能正確運行。究其原因,是因為代碼里沒有使用絕對地址,都是相對地址。
2. 位置相關碼:
利用絕對地址取指并運行,這就需要你存放程序(鏈接過程中)需要按照連接腳本的要求那樣執行(Makefile里面有 -Ttext xxx指定或連接腳本)。即它的地址與代碼處于的位置相關,是絕對地址,如:mov PC ,#0xff;ldr pc,=0xffff等。
3. 位置無關碼的應用:
1). 程序在運行期間動態加載到內存;
2). 程序在不同場合與不同程序組合后加載到內存(共享的動態鏈接庫);
3). 在運行期間不同地址相互之間的映射(如bootloader)
4. 結論使用「mov pc ,xxx ; ldr pc ,xxx」等就是位置相關碼。這些使用絕對指令尋址。而使用「bl ,b ,adr,ldr」一般為位置無關碼。在使用「b, bl」調用C語言中的函數里「不要使用全局變量」,因為C中全局變量的地址「也是根據鏈接地址生成」的。使用=和不使用=號是有很大區別的。「無=號:取該標號處的值,位置無關有=號:取該標號的地址,位置相關」
【考一考】考一考大家為什么uboot的異常向量表的reset異常,指令是b reset,而其他異常卻是我們本文所說的位置相關碼,ldr pc,XXXXXX?
arm對應的uboot異常向量表如下:
arch/arm/cpu/armv7/start.S

請輸入評論內容...
請輸入評論/評論長度6~500個字
最新活動更多
- 1 AI狂歡遇上油價破百,全球股市還能漲多久? | 產聯看全球
- 2 OpenAI深夜王炸!ChatGPT Images 2.0實測:中文穩、細節炸,設計師慌了
- 3 6000億美元估值錨定:字節跳動的“去單一化”突圍與估值重構
- 4 Tesla AI5芯片最新進展總結
- 5 連夜測了一波DeepSeek-V4,我發現它可能只剩“審美”這個短板了
- 6 熱點丨AI“瑜亮之爭”:既生OpenClaw,何生Hermes?
- 7 AI界的殺豬盤:9秒刪庫跑路,全員被封號,還繼續扣錢!
- 8 2026,人形機器人只贏了面子
- 9 DeepSeek降價90%:價格屠夫不是身份,是戰略
- 10 AI Infra產業鏈卡在哪里了?


分享













