DocumentCode
1832977
Title
A framework for programming using non-atomic variables
Author
Singh, Ambuj K.
Author_Institution
California Univ., Santa Barbara, CA, USA
fYear
1994
fDate
26-29 Apr 1994
Firstpage
133
Lastpage
140
Abstract
The semantics of interprocess communication occurring through shared objects is investigated. A number of definitions of non-atomic memory are considered. Two different notions of commutativity are defined. These are later used to develop conditions under which computations using a non-atomic memory are equivalent to atomic histories with regard to the final state of the objects
Keywords
parallel algorithms; parallel programming; shared memory systems; atomic histories; commutativity; final state; interprocess communication; non-atomic memory; non-atomic variables; parallel programming; programming framework; semantics; shared memory systems; shared objects; Concurrent computing; Costs; Delay; Hardware; History; Parallel programming; Programming profession; Random access memory; Read-write memory;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel Processing Symposium, 1994. Proceedings., Eighth International
Conference_Location
Cancun
Print_ISBN
0-8186-5602-6
Type
conf
DOI
10.1109/IPPS.1994.288309
Filename
288309
Link To Document