LabVIEW編譯器深層解析

NI LabVIEW軟件是一種多規范的圖形化編程環(huán)境，含有多種概念，包括數據流，面向對象，以及事件驅動(dòng)編程。LabVIEW也是跨越多種平臺的，能夠很好地用于多種操作系統（OSs），芯片組，嵌入式設備，以及現場(chǎng)可編程門(mén)陣列(FPGAs)。LabVIEW編譯程序是一種精密的系統，在過(guò)去的20年中具有令人矚目的發(fā)展。探索NI公司的LabVIEW編譯程序的處理過(guò)程以及近來(lái)編譯程序的創(chuàng )新。

LabVIEW編譯程序處理過(guò)程

首先一個(gè)VI的編譯是類(lèi)的擴展，主要負責將隱含的類(lèi)解析為適于終端輸出與檢查句法錯誤的類(lèi)型。在類(lèi)擴展之后，VI從編輯模型轉化為可以被編譯程序使用的數據流中間表示(DFIR)圖表。編譯程序執行幾種變換，例如在DFIR圖表分解過(guò)程中的死碼刪除，優(yōu)化，并為代碼生成做好準備。DFIR接下來(lái)被轉化成底層的虛擬機(LLVM)中間表示(IR)，有關(guān)IR的一系列掃描被運行，以利于更進(jìn)一步的優(yōu)化與底層化——最終——變?yōu)闄C器碼。

DFIR提供一種高級的中間表示

DFIR是一種分級的，結構圖代碼的，基于圖表的IR。類(lèi)似于G代碼，DFIR包含很多具有端點(diǎn)的節點(diǎn)，能夠與其它端點(diǎn)相連。一些節點(diǎn)，例如框圖，含有圖表，這些圖表也可以依此類(lèi)推地包含其它節點(diǎn)。

圖1顯示了一個(gè)簡(jiǎn)單VI的最初DFIR。當LabVIEW首次為VI創(chuàng )建一個(gè)DFIR時(shí)，這是一種G代碼的直接翻譯，DFIR圖表中的節點(diǎn)具有像G代碼中節點(diǎn)一樣的一對一的對應性。隨著(zhù)編譯程序的執行，DFIR節點(diǎn)有可能被移動(dòng)，部分分離，或者是增加，然而編譯程序將仍然保留原有的特性，例如LabVIEW代碼中固有的并行特性。

圖 1. 查看一個(gè)簡(jiǎn)單VI 的初始 DFIR 圖表

DFIR能夠為L(cháng)abVIEW編譯程序提供兩種可觀(guān)的優(yōu)勢：

1. DFIR將編輯程序從編譯程序的表示中分離——在DFIR出現以前，LabVIEW具有一個(gè)單獨的VI表示，由編輯程序和編譯程序共享。這樣在編譯過(guò)程中，阻止了編譯程序修改表示，也會(huì )使引入編譯程序優(yōu)化很困難。DFIR引入了一系列的優(yōu)化與分解措施，能夠極大地提高LabVIEW代碼的性能，僅要求結構圖節點(diǎn)與連線(xiàn)被斷開(kāi)并可以移動(dòng)。

2. DFIR作為多個(gè)編譯程序的前段與后段的公用連接點(diǎn)——今天，LabVIEW能處理很多明顯不同的任務(wù)。類(lèi)似地，LabVIEW也為用戶(hù)提供了多種算法模式，例如LabVIEW MathScript，C一體化，仿真圖表，以及狀態(tài)表（statecharts）。DFIR提供了一種常用IR，它由前端生成而由后端使用，使不同組合的重新使用更加便利。

DFIR分解與優(yōu)化

一旦進(jìn)入DFIR，VI運行一系列的分解變換，來(lái)縮減或標準化DFIR圖表。在DFIR圖表徹底分解后，DFIR優(yōu)化掃描開(kāi)始。有超過(guò)30種分解與優(yōu)化能夠提高LabVIEW代碼的性能。請仔細查看圖2和3顯示的簡(jiǎn)單VI，它被稱(chēng)為T(mén)rim Whitespace VI(Trim Whitespace.vi)，來(lái)自vi.lib。

圖 2. 這是任意 DFIR分解前的 VI

圖 3. 上面是Trim Whitespace.vi 結構圖的定義

首先，Trim Whitespace.vi被內聯(lián)到調用VI，如圖4所示?，F在，不可達代碼與死碼刪除運算可以簡(jiǎn)化代碼。第一個(gè)條件結構將總是執行相同的分支，因為輸入的是一個(gè)恒定值。因此，其余的分支可以同整個(gè)第二個(gè)條件結構一起移走，因為它們從不執行。循環(huán)不變式代碼移動(dòng)將匹配模式基元（Match Pattern primitive）移出循環(huán)框，確保其只被執行一次，如圖5所示。

圖 4. subVI內聯(lián)到調用程序,導致一個(gè)DFIR圖表等價(jià)于該G代碼

圖 5. 一次執行產(chǎn)生優(yōu)化的 DFIR圖表

DFIR后端變換

在DFIR圖表被分解與優(yōu)化后，后端變換開(kāi)始執行。這些變換評估并注解DFIR圖表，為最終將DFIR圖表降低為L(cháng)LVM IR做好準備。聚叢程序負責將節點(diǎn)歸為簇，這些簇可以并行運行。替代程序識別何時(shí)分配的數據可以重新使用，何時(shí)必須制作副本。在替代程序運行后，分配程序預留出VI執行所需的內存空間。最后，編碼發(fā)生器負責將DFIR圖表轉化為可執行的機器指令用于目標處理器。

LLVM提供一種底層的中間表示

LLVM是一種多用途，高性能，源代碼開(kāi)放的構架，原來(lái)是伊利諾斯州州立大學(xué)的作為研究項目而發(fā)明的。LLVM因為其靈活性，簡(jiǎn)潔的API以及不受許可的限制，被廣泛用于學(xué)術(shù)研究與工業(yè)生產(chǎn)。在LabVIEW 2010版本，LabVIEW編碼生成器使用LLVM來(lái)生成目標機器碼。在從DFIR圖表創(chuàng )建編碼流后，LabVIEW訪(fǎng)問(wèn)每個(gè)指令并創(chuàng )建一個(gè)等價(jià)的LLVM表示。軟件會(huì )激活多種優(yōu)化掃描，最終，LLVM準時(shí)制(JIT)構架在內存中創(chuàng )建可執行的機器指令?，F在LabVIEW可以使用LLVM來(lái)執行指令綜合，跳變線(xiàn)程，聚合標量替代（scalar replacement of aggregates），條件擴展，尾端調用刪除，循環(huán)不變代碼移出，死碼刪除以及循環(huán)展開(kāi)。

DFIR與LLVM協(xié)同工作

DFIR是高級的IR具有并行性，而LLVM是底層IR，具有目標機器特性的認知，二者協(xié)同工作以?xún)?yōu)化開(kāi)發(fā)者為處理器結構而編寫(xiě)的LabVIEW代碼，它們能夠在處理器上被執行。

作者:– Chris Wood – NI公司LabVIEW方面的傳感器軟件工程師,德克薩斯AM大學(xué)計算機工程專(zhuān)業(yè)的學(xué)士

– Craig Smith – NI公司的首席軟件工程師,德克薩斯AM大學(xué)計算機科學(xué)專(zhuān)業(yè)的學(xué)士與碩士