MEMDOG：一種基于Linux的在線內(nèi)存檢測(cè)器.pdf

1、隨著內(nèi)存芯片的體積越來(lái)越小，容量越來(lái)越大，表示一個(gè)位（bit）的存儲(chǔ)單元在不斷的縮小，內(nèi)存芯片更容易受到外部因素（高溫、灰塵、宇宙射線等）的影響而發(fā)生錯(cuò)誤。這些錯(cuò)誤中最常見(jiàn)的是內(nèi)存單元中的一個(gè)或者多個(gè)位發(fā)生了翻轉(zhuǎn)（flip），通常它們會(huì)造成操作系統(tǒng)和應(yīng)用程序崩潰；危害更大的是靜默錯(cuò)誤，即發(fā)生錯(cuò)誤的內(nèi)存被程序使用，卻沒(méi)有被發(fā)覺(jué)，程序仍然繼續(xù)運(yùn)行，這種情況會(huì)造成程序的運(yùn)行結(jié)果不確定，出錯(cuò)原因難以查找。因此對(duì)內(nèi)存可靠性的研究具有非常重要的意義

2、。
　　MEMDOG在線內(nèi)存檢測(cè)器是一種能夠積極主動(dòng)防止應(yīng)用程序受到內(nèi)存錯(cuò)誤影響的機(jī)制。它的基本原理是：將短期內(nèi)經(jīng)過(guò)檢測(cè)沒(méi)有硬件錯(cuò)誤的內(nèi)存構(gòu)建一個(gè)緩沖池，使應(yīng)用程序從這個(gè)緩沖池中請(qǐng)求內(nèi)存，從而保證應(yīng)用程序使用的內(nèi)存都是經(jīng)過(guò)檢測(cè)的。
　　MEMDOG主要包括四個(gè)部分：檢測(cè)算法框架、可靠?jī)?nèi)存池、應(yīng)用程序內(nèi)存遷移和定時(shí)器。檢測(cè)算法框架采用一種靈活的接口，使得在軟件層面實(shí)現(xiàn)的內(nèi)存檢測(cè)算法可以作為一個(gè)插件輕易整合到該系統(tǒng)中；可靠?jī)?nèi)存池

3、中存放經(jīng)過(guò)內(nèi)存檢測(cè)算法檢測(cè)沒(méi)有錯(cuò)誤的內(nèi)存，應(yīng)用程序需要從該內(nèi)存池中獲取內(nèi)存，從而保證應(yīng)用程序使用的內(nèi)存都是經(jīng)過(guò)檢測(cè)的；內(nèi)存錯(cuò)誤會(huì)隨著時(shí)間的延續(xù)而發(fā)生，因此應(yīng)用程序內(nèi)存遷移部分會(huì)定期將應(yīng)用程序的數(shù)據(jù)和代碼從過(guò)期的內(nèi)存遷移到最近檢測(cè)過(guò)的內(nèi)存中，這需要借助定時(shí)器；定時(shí)器的另一個(gè)作用是定期更新可靠?jī)?nèi)存池，將內(nèi)存池中過(guò)期的內(nèi)存釋放給Linux系統(tǒng)。
　　論文設(shè)計(jì)實(shí)驗(yàn)方案對(duì)MEMDOG的有效性和效率進(jìn)行了測(cè)試，實(shí)驗(yàn)結(jié)果表明MEMDOG可以有效