c++内存检测原理
c++內(nèi)存檢測(cè)原理
- Memcheck
- Valid-Value 表
- 檢測(cè)原理
Memcheck
Memcheck 能夠檢測(cè)出內(nèi)存問(wèn)題,
關(guān)鍵在于其建立了兩個(gè)全局表:
Valid-Value 表
對(duì)于進(jìn)程的整個(gè)地址空間中的每一個(gè)字節(jié)(byte),都有與之對(duì)應(yīng)的 8 個(gè) bits;對(duì)于 CPU 的每個(gè)寄存器,也有一個(gè)與之對(duì)應(yīng)的 bit 向量。這些 bits 負(fù)責(zé)記錄該字節(jié)或者寄存器值是否具有有效的、已初始化的值。
?Valid-Address 表:對(duì)于進(jìn)程整個(gè)地址空間中的每一個(gè)字節(jié)(byte),還有與之對(duì)應(yīng)的 1 個(gè) bit,負(fù)責(zé)記錄該地址是否能夠被讀寫(xiě)。
檢測(cè)原理
?當(dāng)要讀寫(xiě)內(nèi)存中某個(gè)字節(jié)時(shí),首先檢查這個(gè)字節(jié)對(duì)應(yīng)的 A bit。如果該A bit顯示該位置是無(wú)效位置,memcheck 則報(bào)告讀寫(xiě)錯(cuò)誤
?內(nèi)核(core)類(lèi)似于一個(gè)虛擬的 CPU 環(huán)境,這樣當(dāng)內(nèi)存中的某個(gè)字節(jié)被加載到真實(shí)的 CPU 中時(shí),該字節(jié)對(duì)應(yīng)的 V bit 也被加載到虛擬的 CPU 環(huán)境中。一旦寄存器中的值,被用來(lái)產(chǎn)生內(nèi)存地址,或者該值能夠影響程序輸出,則 memcheck 會(huì)檢查對(duì)應(yīng)的V bits,如果該值尚未初始化,則會(huì)報(bào)告使用未初始化內(nèi)存錯(cuò)誤
總結(jié)
- 上一篇: 煮玉米的时间??急
- 下一篇: C++检测步骤与示例