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