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

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

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