Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Visualizing Execution Histories on Release Consistency and Scope Consistency Memory Models
 

Summary: Visualizing Execution Histories on Release Consistency and Scope Consistency
Memory Models
Alba Cristina Melo, Nilo Sérgio Barros e Silva
University of Brasilia, Brazil
{albamm, nilo}@cic.unb.br
Abstract
In order to make shared memory programming possible
in distributed architectures, we use an abstraction called
Distributed Shared Memory. The behavior of Distributed
Shared Memory Systems is dictated by the memory
consistency model. In order to provide a better
understanding on the semantics of the memory
consistency models, many researchers have proposed
formalisms to define them. Even with formal definitions,
it is still difficult to say what kind of execution histories
can be produced on a particular memory model. In this
paper, we propose a visualization tool that shows what
operations orderings could lead to user­defined
execution histories on different hybrid memory models.
We also present a prototype of our tool that analyses

  

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

 

Collections: Mathematics