基于內(nèi)核態(tài)Java虛擬機(jī)的安全設(shè)備驅(qū)動模型的研究與設(shè)計(jì).pdf

1、計(jì)算機(jī)系統(tǒng)的穩(wěn)定性越來越為人們所重視，而計(jì)算機(jī)系統(tǒng)的穩(wěn)定性很大程度上取決于操作系統(tǒng)的穩(wěn)定性。研究表明，設(shè)備驅(qū)動程序是導(dǎo)致操作系統(tǒng)內(nèi)核崩潰的主要原因。如何改進(jìn)現(xiàn)有設(shè)備驅(qū)動模型以提高操作系統(tǒng)穩(wěn)定性始終是計(jì)算機(jī)領(lǐng)域的一個研究熱點(diǎn)。本文正是基于這樣的背景提出并研究了一種基于內(nèi)核態(tài)Java虛擬機(jī)的安全設(shè)備驅(qū)動模型，使用類型安全的Java語言來開發(fā)驅(qū)動程序，目的是降低因驅(qū)動程序而引起的內(nèi)核不穩(wěn)定。主要研究內(nèi)容包括Java驅(qū)動模型的架構(gòu)、內(nèi)核態(tài)Jav

2、a虛擬機(jī)的設(shè)計(jì)以及Java驅(qū)動程序的編程模型。內(nèi)核態(tài)Java虛擬機(jī)是驅(qū)動模型安全性的基礎(chǔ)，因此它的設(shè)計(jì)是本文重點(diǎn)闡述的內(nèi)容。 為了驗(yàn)證模型的可行性，本文實(shí)現(xiàn)了一個虛擬字符設(shè)備、一個USB鼠標(biāo)以及一個USB網(wǎng)卡的Java驅(qū)動，并重點(diǎn)對USB網(wǎng)卡進(jìn)行了穩(wěn)定性和性能相關(guān)的測試。測試結(jié)果表明，與C驅(qū)動相比，Java驅(qū)動在提高系統(tǒng)穩(wěn)定性上有明顯優(yōu)勢，表現(xiàn)在消除了很多與指針相關(guān)的編譯錯誤，能夠及時發(fā)現(xiàn)并阻止常見的運(yùn)行錯誤，而這些錯誤在C驅(qū)動