Methods and systems for verifying out-of-order page fault detection

摘要: Verification of asynchronous page fault in a simulated environment. The methods include providing environment that includes processor core, memory, and an interrupt handler. also executing test code the by: non-irritator thread comprising plurality load instructions span at least two slices first irritator to bias against execution instruction by one second invalidate caching table entries during fast access cache memory.