Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Defining Uniform and Hybrid Memory Consistency Models on a Unified Framework
 

Summary: Defining Uniform and Hybrid Memory Consistency Models
on a Unified Framework
Alba Cristina Magalhães Alves de Melo
Department of Computer Science ­ University of Brasilia (CIC/UnB) ­ Brazil
albamm@cic.unb.br
Abstract
The behavior of Distributed Shared Memory Systems is
dictated by the Memory Consistency Model. Several
Memory Consistency Models have been proposed in the
literature and they fit basically in two categories:
uniform and hybrid models. To provide a better
understanding on the semantics of the memory models,
researchers have proposed formalisms to define them.
Unfortunately, most of the work has been done in the
definition of uniform memory models. In this paper, we
propose a general, unified and formal framework where
uniform and hybrid memory consistency models can be
defined. To prove the generality of the framework, we
use it to define the following Memory Models: Atomic
Consistency, Sequential Consistency, Causal

  

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

 

Collections: Mathematics