類型化低級語言的設(shè)計與實現(xiàn).pdf

1、因特網(wǎng)規(guī)模的不斷擴大使得移動計算成為一個重要的研究領(lǐng)域.在該領(lǐng)域內(nèi),代碼安全性問題(code safety)受到學(xué)者的廣泛關(guān)注.移動代碼的特點是異地編寫,該地執(zhí)行.這種代碼的來源復(fù)雜,代碼的編寫質(zhì)量和執(zhí)行后對主機的影響都難以估計,因此如何防止來自網(wǎng)絡(luò)上的惡意代碼對主機的破壞成為成為代碼安全領(lǐng)域研究的熱點之一.該文的工作基于Intel的開放式運行平臺(Open Runtime Platform,簡稱ORP).提出了一種類型化低級語言(ty

2、ped low-level language,簡稱TLL),將利用類型信息所帶來的類型安全性帶到接近于匯編語言的一層.應(yīng)用TLL作為ORP的即時編譯器新的中間語言,這個工作可以作為將來進一步縮小ORP的可信任計算基的重要起點.TLL比Java虛擬機語言更接近匯編語言層,用TLL編寫的代碼更容易進行優(yōu)化,且它基于多態(tài)類型化λ算子,具有比Java虛擬機語言更嚴格和更具有表達力的類型系統(tǒng),可以表達出很多高層語言的語言特性.該文的主要內(nèi)容包括:

3、1.闡述類型化低級語言提出的背景,對已有的幾種有比較大的影響力的類型化中間語言進行概括和抽象.提出TLL的理想特性.2.給出TLL的形式化描述,包括語法形式,操作語義規(guī)則和靜態(tài)語義規(guī)則.3.重點描述TLL對數(shù)組和對象這兩個高層數(shù)據(jù)類型的處理.為了給出更直觀些的感覺,文中還就這方面的具體的例子來詳細解釋TLL程序是如何通過類型檢查獲得類型安全性的.4.描述了從Java虛擬機語言到TLL的翻譯過程,給出翻譯算法.5.類型化中間語言是提高代碼