當(dāng)前位置:首頁 > 公眾號精選 > 嵌入式大雜燴
[導(dǎo)讀]星標(biāo)「嵌入式大雜燴」,一起進步!來源:www.cnblogs.com/Chaobs/p/4510768.html不知道你有沒有想過,某種編程語言的第一個編譯器是怎么來的呢?這不就是“雞生蛋,蛋生雞”的問題嗎?先說最后的結(jié)論:任何一種語言的第一個編譯器肯定是使用其他語言寫出來的。以...


來源:www.cnblogs.com/Chaobs/p/4510768.html
不知道你有沒有想過,某種編程語言的第一個編譯器是怎么來的呢?這不就是“雞生蛋,蛋生雞”的問題嗎?


先說最后的結(jié)論:任何一種語言的第一個編譯器肯定是使用其他語言寫出來的。




以我們嵌入式開發(fā)中經(jīng)常使用的C語言為例,我們來介紹一下第一個C語言編譯器的來源。


還是讓我們回顧一下C語言歷史:1970年Tomphson和Ritchie在BCPL(一種解釋型語言)的基礎(chǔ)上開發(fā)了B語言,1973年又在B語言的基礎(chǔ)上成功開發(fā)出了現(xiàn)在的C語言。在C語言被用作系統(tǒng)編程語言之前,Tomphson也用過B語言編寫操作系統(tǒng)。


可見,在C語言實現(xiàn)以前,B語言已經(jīng)可以投入實用了。因此第一個C語言編譯器的原型完全可能是用B語言或者混合B語言與PDP匯編語言編寫的。但是B語言的效率比較低,如果全部用匯編語言來編寫,不僅開發(fā)周期長、維護難度大,更可怕的是失去了高級程序設(shè)計語言必需的移植性。




所以,早期的C語言編譯器就采取了一個取巧的辦法:


先用匯編語言編寫一個C語言的一個子集的編譯器,再通過這個子集去遞推完成完整的C語言編譯器。


詳細的過程如下:


先創(chuàng)造一個只有C語言最基本功能的子集,記作C0語言,C0語言已經(jīng)足夠簡單了,可以直接用匯編語言編寫出C0的編譯器。依靠C0已有的功能,設(shè)計比C0復(fù)雜,但仍然不完整的C語言的又一個子集C1語言,其中C0屬于C1,C1屬于C,用C0開發(fā)出C1語言的編譯器。在C1的基礎(chǔ)上設(shè)計C語言的又一個子集C2語言,C2語言比C1復(fù)雜,但是仍然不是完整的C語言,開發(fā)出C2語言的編譯器……如此直到CN,CN已經(jīng)足夠強大了,這時候就足夠開發(fā)出完整的C語言編譯器的實現(xiàn)了。


至于這里的N是多少,這取決于你的目標(biāo)語言(這里是C語言)的復(fù)雜程度和程序員的編程能力。簡單地說,如果到了某個子集階段,可以很方便地利用現(xiàn)有功能實現(xiàn)C語言時,那么你就找到N了。


下面的圖說明了這個抽象過程:




這張圖是不是有點熟悉?對了就是在將虛擬機的時候見到過,不過這里是CVM(CLanguageVirtualMachine),每種語言都是在每個虛擬層上可以獨立實現(xiàn)編譯的,并且除了C語言外,每一層的輸出都將作為下一層的輸入(最后一層的輸出就是應(yīng)用程序了)。


這和滾雪球是一個道理。用手(匯編語言)把一小把雪結(jié)合在一起,一點點地滾下去就形成了一個大雪球,這大概就是所謂的0生1,1生C,C生萬物吧?




那么這種大膽的子集簡化的方法,是怎么實現(xiàn)的,又有什么理論依據(jù)呢?


先介紹一個概念,“自編譯”(Self-Compile),也就是對于某些具有明顯自舉性質(zhì)的強類型(所謂強類型就是程序中的每個變量必學(xué)聲明類型后才能使用,比如C語言,相反有些腳本語言則根本沒有類型這一說法)編程語言,可以借助它們的一個有限小子集,通過有限次數(shù)的遞推來實現(xiàn)對它們自身的表述,這樣的語言有C、Pascal、Ada等等,至于為什么可以自編譯,可以參見清華大學(xué)出版社的《編譯原理》,書中實現(xiàn)了一個Pascal的子集的編譯器??傊?,已經(jīng)有CS科學(xué)家證明了,C語言理論上是可以通過上面說的CVM的方法實現(xiàn)完整的編譯器的,那么實際上是怎樣做到簡化的呢?


下面是C99的關(guān)鍵字:


//共37個
auto enum restrict unsigned
break extern return void
case float short volatile
char for signed while
const goto sizeof _Bool
continue if static _Complex
default inline struct _Imaginary
do int switch double long typedef
else register union
仔細看看,其中有很多關(guān)鍵字是為了幫助編譯器進行優(yōu)化的,還有一些是用來限定變量、函數(shù)的作用域、鏈接性或者生存周期(函數(shù)沒有)的,這些在編譯器實現(xiàn)的早期根本不必加上,于是可以去掉


auto,restrict,extern,volatile,const,sizeof,static,inline,register,typedef,這樣就形成了C的子集,C3語言,C3語言的關(guān)鍵字如下:


//共27個
enum unsigned break return
void case float short char
for signed while goto _Bool
continue if _Complex default
struct _Imaginary do int switch
double long else union
再想一想,發(fā)現(xiàn)C3中其實有很多類型和類型修飾符是沒有必要一次性都加上去的,比如三種整型,只要實現(xiàn)int就行了,因此進一步去掉這些關(guān)鍵詞,它們是:


unsigned,float,short,char(charisint),signed,_Bool,_Complex,_Imaginary,long,


這樣就形成了我們的C2語言,C2語言關(guān)鍵字如下:


//共18個
enum break return void
case for while goto continue
if default struct do int
switch double else union
繼續(xù)思考,即使是只有18個關(guān)鍵字的C2語言,依然有很多,高級的地方,比如基于基本數(shù)據(jù)類型的復(fù)合數(shù)據(jù)結(jié)構(gòu),另外我們的關(guān)鍵字表中是沒有寫運算符的,在C語言中的復(fù)合賦值運算符->運算符等的 ,--等過于靈活的表達方式此時也可以完全刪除掉,因此可以去掉的關(guān)鍵字有:enum,struct,union,這樣我們可以得到C1語言的關(guān)鍵字:


break return void case for while
goto continue if default do int
switch double else
//共15個
接近完美了,不過最后一步手筆自然要大一點。這個時候數(shù)組和指針也要去掉了,另外C1語言其實仍然有很大的冗雜度,比如控制循環(huán)和分支的都有多種表述方法,其實都可簡化成一種,具體的來說,循環(huán)語句有while循環(huán),do...while循環(huán)和for循環(huán),只需要保留while循環(huán)就夠了;分支語句又有if...{},if...{}...else,if...{}...elseif...,switch,這四種形式,它們都可以通過兩個以上的if...{}來實現(xiàn),因此只需要保留if,...{}就夠了??墒窃僖幌?,所謂的分支和循環(huán)不過是條件跳轉(zhuǎn)語句罷了,函數(shù)調(diào)用語句也不過是一個壓棧和跳轉(zhuǎn)語句罷了,因此只需要goto(未限制的goto)。




因此大膽去掉所有結(jié)構(gòu)化關(guān)鍵字,連函數(shù)也沒有,得到的C0語言關(guān)鍵字如下:


//共5個
break voidgoto int double
這已經(jīng)是簡約的極致了。


只有5個關(guān)鍵字,已經(jīng)完全可以用匯編語言快速的實現(xiàn)了。通過逆向分析我們還原了第一個C語言編譯器的編寫過程,也感受到了前輩科學(xué)家們的智慧和勤勞!我們都不過是巨人肩膀上的灰塵罷了!


0生1,1生C,C生萬物,實在巧妙!


任何一種語言的第一個編譯器肯定是使用其他語言寫出來的。那就有一個問題了:第一種語言的第一個編譯器是怎么來的呢?哈哈!




免責(zé)聲明:本文素材來源網(wǎng)絡(luò),版權(quán)歸原作者所有。如涉及作品版權(quán)問題,請與我聯(lián)系刪除。


------------ END ------------


往期推薦:


哪些工具可以在使用RTOS時發(fā)現(xiàn)實時系統(tǒng)的bug?


MCU、RTOS、物聯(lián)網(wǎng)之間的關(guān)系?


點擊閱讀原文,查看更多分享



本站聲明: 本文章由作者或相關(guān)機構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點,本站亦不保證或承諾內(nèi)容真實性等。需要轉(zhuǎn)載請聯(lián)系該專欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請及時聯(lián)系本站刪除。
換一批
延伸閱讀

PathWave RFPro 與新思科技定制化編譯器相輔相成,可提供無線晶片設(shè)計工作流程所需的整合式電磁模擬工具

關(guān)鍵字: 是德科技 集成電路 編譯器

在MCU開發(fā)和應(yīng)用中,工程師都需要進行MCU的能力測試,通用的做法是用Benchmark(基準(zhǔn))程序來測試。然而,在做基準(zhǔn)測試時,編譯器的優(yōu)化能力也在測試結(jié)果中有較為明顯的影響,同一套硬件平臺,選用不同的編譯器和不同的優(yōu)...

關(guān)鍵字: IAR Systems MCU 編譯器

Part1一、讓自己習(xí)慣C條款01:視C為一個語言聯(lián)邦C并不是一個帶有一組守則的一體語言:他是從四個次語言(C、Object-OrientedC、Template、STL)?組成的聯(lián)邦政府,每個次語言都有自己的規(guī)約。記住...

關(guān)鍵字: TI 函數(shù) ASPECT 編譯器

最近芯片公司挺火的,編譯器崗位突然多了起來。不知道什么時候開始,編譯原理總被人說成是用來炫耀的“屠龍技”,對此我不敢茍同,編譯原理實打?qū)嵉氖且婚T對你我工作大有裨益的技術(shù)。?編譯技術(shù)簡單點說,就是把高級語言的代碼翻譯成為計...

關(guān)鍵字: 編譯器

在嵌入式開發(fā)中,代碼的體積和運行效率非常重要,代碼體積往往和芯片的FLASH、RAM容量對應(yīng),程序的運行效率也要求在相應(yīng)能力的處理器上運行。在大多數(shù)情況下,成熟的開發(fā)人員都希望降低代碼體積、提高代碼運行效率,然而具體該怎...

關(guān)鍵字: IAR Systems 嵌入式開發(fā) 編譯器

關(guān)注星標(biāo)公眾號,不錯過精彩內(nèi)容作者|strongerHuang微信公眾號?|?嵌入式專欄為了方便大家平時公交、地鐵、外出辦事也能用手機回顧查看文章,我特意用心精選,并分類整理了部分文章:多款優(yōu)秀的支持C、C等多種語言的在...

關(guān)鍵字: 編譯器 編輯器 軟件

↓推薦關(guān)注↓英特爾的長期編譯器專家JamesReinders在一篇博客中透露,他們將在下一代英特爾C/C編譯器中使用LLVM開源基礎(chǔ)架構(gòu);并分享了一些相關(guān)信息?!癓LVM有助于我們實現(xiàn)為英特爾架構(gòu)提供最佳C/C編譯器的目...

關(guān)鍵字: 編譯器 英特爾

點擊上方“小麥大叔”,選擇“置頂/星標(biāo)公眾號”福利干貨,第一時間送達大家好,我是小麥,上次寫過一篇文章《Keil編譯太慢怎么辦?教你一招,提速10倍?》,減少了中間文件的生成,確實把編譯速度提高了很多,其實沒有從根本上解...

關(guān)鍵字: 編譯器

↓推薦關(guān)注↓英特爾的長期編譯器專家JamesReinders在一篇博客中透露,他們將在下一代英特爾C/C編譯器中使用LLVM開源基礎(chǔ)架構(gòu);并分享了一些相關(guān)信息?!癓LVM有助于我們實現(xiàn)為英特爾架構(gòu)提供最佳C/C編譯器的目...

關(guān)鍵字: 編譯器 英特爾

嵌入式大雜燴

461 篇文章

關(guān)注

發(fā)布文章

編輯精選

技術(shù)子站

關(guān)閉