Title :
A framework for programming using non-atomic variables
Author_Institution :
California Univ., Santa Barbara, CA, USA
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;
Conference_Titel :
Parallel Processing Symposium, 1994. Proceedings., Eighth International
Conference_Location :
Cancun
Print_ISBN :
0-8186-5602-6
DOI :
10.1109/IPPS.1994.288309
