程式編譯的幾個階段
程式編譯的過程中就是將使用者的文字形式的原始碼(c/c++)轉化成計算機可以直接執行的機器程式碼的過程。主要經過這麼幾個過程:
1、編譯,由編譯器將c原始碼(.cpp)轉變成彙編程式碼(.s)
2、彙編,由彙編器將彙編程式碼(.s)轉變成目的碼(.o)
3、連結,由連結器將程式碼在執行過程用到的其他目的碼和庫檔案連結成為一個可執行程式也就是目標程式。
1、編譯
編譯的過程就是將原始碼檔案以字元流的形式進行處理,進行詞法和語法的分析,然後通過彙編器將原始碼指令轉變成彙編指令,編譯的過程包括兩個大部分:預處理
而編譯預處理主要對檔案中的四種情況處理:巨集定義、#include檔案包含、條件編譯、特殊符號
特殊符號是指:例如在源程式中出現的LINE標識將被解釋為當前行號(十進位制數),FILE則被解釋為當前被編譯的C源程式的名稱。預編譯程式對於在源程式中出現的這些串將用合適的值進行替換。
總的來說,預編譯程式所完成的基本上是對源程式的“替代”工作。經過此種替代,生成一個沒有巨集定義、沒有條件編譯指令、沒有特殊符號的輸出檔案。這個檔案的含義同沒有經過預處理的原始檔是相同的,但內容有所不同。(經過預處理的輸出檔案中只有變數和c語言的關鍵字) 這一步將上一部的輸出檔案進行編譯和優化。編譯程式所要作得工作就是通過詞法分析和語法分析,在確認所有的指令都符合語法規則之後,將其翻譯成等價的中間程式碼表示或彙編程式碼。
優化處理是編譯系統中一項比較艱深的技術。它涉及到的問題不僅同編譯技術本身有關,而且同機器的硬體環境也有很大的關係。優化一部分是對中間程式碼的優化。這種優化不依賴於具體的計算機。另一種優化則主要針對目的碼的生成而進行的。
對於前一種優化,主要的工作是刪除公共表示式、迴圈優化(程式碼外提、強度削弱、變換迴圈控制條件、已知量的合併等)、複寫傳播,以及無用賦值的刪除,等等。
後一種型別的優化同機器的硬體結構密切相關,最主要的是考慮是如何充分利用機器的各個硬體暫存器存放有關變數的值,以減少對於記憶體的訪問次數。另外,如何根據機器硬體執行指令的特點(如流水線、RISC、CISC、VLIW等)而對指令進行一些調整使目的碼比較短,執行的效率比較高,也是一個重要的研究課題。
經過優化得到的彙編程式碼必須經過彙編程式的彙編轉換成相應的機器指令,方可能被機器執行。
2、彙編
彙編過程實際上指把組合語言程式碼翻譯成目標機器指令的過程。對於被翻譯系統處理的每一個C語言源程式,都將最終經過這一處理而得到相應的目標檔案。目標檔案中所存放的也就是與源程式等效的目標的機器語言程式碼。
目標檔案由段組成。通常一個目標檔案中至少有兩個段:
1) 程式碼段:該段中所包含的主要是程式的指令。該段一般是可讀和可執行的,但一般卻不可寫。
2) 資料段:主要存放程式中要用到的各種全域性變數或靜態的資料。一般資料段都是可讀,可寫,可執行的。
UNIX環境下主要有三種類型的目標檔案:
1) 可重定位檔案
其中包含有適合於其它目標檔案連結來建立一個可執行的或者共享的目標檔案的程式碼和資料。
2) 共享的目標檔案
這種檔案存放了適合於在兩種上下文裡連結的程式碼和資料。
第一種是連結程式可把它與其它可重定位檔案及共享的目標檔案一起處理來建立另一個目標檔案;
第二種是動態連結程式將它與另一個可執行檔案及其它的共享目標檔案結合到一起,建立一個程序映象。
3) 可執行檔案
它包含了一個可以被作業系統建立一個程序來執行之的檔案。
彙編程式生成的實際上是第一種型別的目標檔案。對於後兩種還需要其他的一些處理方能得到,這個就是連結程式的工作了。
3、連結
由彙編程式生成的目標檔案並不能立即就被執行,其中可能還有許多沒有解決的問題。
例如,某個原始檔中的函式可能引用了另一個原始檔中定義的某個符號(如變數或者函式呼叫等);在程式中可能呼叫了某個庫檔案中的函式,等等。所有的這些問題,都需要經連結程式的處理方能得以解決。
連結程式的主要工作就是將有關的目標檔案彼此相連線,也即將在一個檔案中引用的符號同該符號在另外一個檔案中的定義連線起來,使得所有的這些目標檔案成為一個能夠被作業系統裝入執行的統一整體。
根據開發人員指定的同庫函式的連結方式的不同,連結處理可分為兩種:
靜態連結
在這種連結方式下,函式的程式碼將從其所在的靜態連結庫中被拷貝到最終的可執行程式中。這樣該程式在被執行時這些程式碼將被裝入到該程序的虛擬地址空間中。靜態連結庫實際上是一個目標檔案的集合,其中的每個檔案含有庫中的一個或者一組相關函式的程式碼。
動態連結
在此種方式下,函式的程式碼被放到稱作是動態連結庫或共享物件的某個目標檔案中。連結程式此時所作的只是在最終的可執行程式中記錄下共享物件的名字以及其它少量的登記資訊。在此可執行檔案被執行時,動態連結庫的全部內容將被對映到執行時相應程序的虛地址空間。動態連結程式將根據可執行程式中記錄的資訊找到相應的函式程式碼。
對於可執行檔案中的函式呼叫,可分別採用動態連結或靜態連結的方法。使用動態連結能夠使最終的可執行檔案比較短小,並且當共享物件被多個程序使用時能節約一些記憶體,因為在記憶體中只需要儲存一份此共享物件的程式碼。但並不是使用動態連結就一定比使用靜態連結要優越。在某些情況下動態連結可能帶來一些效能上損害。
GCC編譯器的幾個組成部分
預處理(cpp)、編譯器(ccl)、彙編器(as)、連結器(ld)
補充:
1) 預編譯
將.c 檔案轉化成.i檔案 使用的gcc命令是:gcc–E 對應於預處理命令cpp
2) 編譯
將.c/.h檔案轉換成.s檔案 使用的gcc命令是:gcc–S 對應於編譯命令 cc –S
3) 彙編
將.s 檔案轉化成.o檔案 使用的gcc 命令是:gcc–c 對應於彙編命令是 as
4) 連結
將.o檔案轉化成可執行程式 使用的gcc命令是: gcc 對應於連結命令是 ld
總結起來編譯過程就上面的四個過程:預編譯處理(.c) -->編譯、優化程式(.s、.asm)-->彙編程式(.obj、.o、.a、.ko)--> 連結程式(.exe、.elf、.axf等)。
補充2:
解釋型
解釋則不同,解釋型語言編寫的程式不需要編譯。解釋型語言在執行的時候才翻譯,比如VB語言,在執行的時候,專門有一個直譯器能夠將VB語言翻譯成機器語言,每個語句都是執行的時候才翻譯。這樣解釋型語言每執行一次就要翻譯一次,效率比較低。