Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Theory of Memory Models (Extended Abstract) Vijay Saraswat
 

Summary: A Theory of Memory Models (Extended Abstract)
Vijay Saraswat
IBM TJ Watson Research Center
vijay@saraswat.org
Radha Jagadeesan
DePaul University
rjagadeesan@cs.depaul.edu
Maged Michael
IBM TJ Watson Research Center
magedm@us.ibm.com
Christoph von Praun
IBM TJ Watson Research Center
praun@us.ibm.com
Abstract
A memory model for a concurrent imperative programming lan-
guage specifies which writes to shared variables may be seen by
reads performed by other threads. We present a simple mathemat-
ical framework for relaxed memory models for programming lan-
guages. To instantiate this framework for a specific language, the
designer must choose the notion of atomic steps supported by the

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences