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.
|
 |
Barrier semantics in very weak memory
| |
|
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)
 References secured to subscribers.
|
|
|
|
|
|