USE_NULL_ISA = True PROTOCOL='MOESI_CMP_directory'