(Publisher of Peer Reviewed Open Access Journals)
ICETT-2012
Full-Text PDF
Paper Title : Automated Verification of Memory Consistencies of DSM System on Unified Framework
Author Name : Pankaj Kumar, Durgesh Kumar
Abstract : The consistency model of a DSM system specifies the ordering constraints on concurrent memory accesses by multiple processors, and hence has fundamental impact on DSM systems’ programming convenience and implementation efficiency. We have proposed the structural model for automated verification of memory consistencies of DSM System. DSM allows processes to assume a globally shared virtual memory even though they execute on nodes that do not physically share memory. The DSM software provide the abstraction of a globally shared memory in which each processor can access any data item without the programmer having to worry about where the data is or how to obtain its value In contrast in the native programming model on networks of workstations message passing the programmer must decide when a processor needs to communicate with whom to communicate and what data to be send. On a DSM system the programmer can focus on algorithmic development rather than on managing partitioned data sets and communicating values. The programming interfaces to DSM systems may differ in a variety of respects. The memory model refers to how updates to distributed shared memory are rejected to the processes in the system. The most intuitive model of distributed shared memory is that a read should always return the last value written unfortunately the notion of the last value written is not well defined in a distributed system.
Keywords : Distributed Shared Memory (DSM) system, automated verification of processor Consistency (PC) .
Cite this article : Pankaj Kumar, Durgesh Kumar " Automated Verification of Memory Consistencies of DSM System on Unified Framework " ,ICETT-2012 ,Page No : 137-143.