MOESI_SMP_token-msg.sm
MOESI_SMP_token-cache.sm
MOESI_SMP_token-dir.sm
standard_SMP-protocol.sm