Report ID
1993-05
Report Authors
Manhoi Choy and Ambuj K. Singh
Report Date
Abstract
A method for reasoning with non-atomic memory is developed. A program usingnon-atomic memory is transformed into an equivalent one that uses atomicmemory. A number of non-atomic memories including pipelined RAM, causalmemory, and hybrid consistency are examined. The approach is illustrated withsome examples.
Document
1993-05.ps139.99 KB