Verifying Memory Consistency Models for DSM System: An Analysis

The parallelism of Distributed Shared Memory (DSM) system can be improved by data replication. A DSM system sends data from one node to another via a network. So for replication of data, maintenance of memory consistency is required. The maintenance of memory consistency can be done by a proper memory consistency model with the help of coherence protocol. Although a lot of research has been done for the maintenance of memory consistency using a consistency model, a specific memory model is not given in literature; but it has been taken randomly. However, in this paper, it is described in a unified framework. So this paper aims at analyzing some memory consistency models and finding the perfect model for DSM system architecture based on write-update coherence protocol.