Added implementation to check that a thread's page hadn\'t been swapped in main memory