correct memory model in smpatomic test case