Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Poster Session
Regular Posters

Barrier semantics in very weak memory

Arnold Pears1 and Rhys Francis2

(1)  Dept. of Comp. Sci. and Comp. Eng., La Trobe University, Australia
(2)  High Performance Computing, CSIRO, DIT, Australia
Abstract
The fundamental model of memory requires each read to an address to return the most recent value written to the same address. This model becomes a consistency requirement for parallel shared memory machines, and is taken as a necessary property for correct algorithm execution. In Distributed Shared Memory (DSM) systems the presence of processor memory caches means that the processors may develop historical and therefore different views of the distributed memory. The paper examines the relationship between synchronisation and consistency, proposes that synchronisation should enforce consistency, and examines the consequences using barriers as an example. A typical shared memory MIMD program is shown to execute correctly without normal consistency, and the experiment suggests that the relationship between synchronisation and consistency bears further investigation.
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.113 • Server: mpweb18
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)