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

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

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

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