The Directory-Based Cache Coherence Protocol for the DASH Multiprocessor