Changes for out-of-core emulation in BigSim. Details could be referred to Chao Mei...