Predictable Cache Coherence Protocol for MSI