Title :
Event ordering condition for correct executions in shared-memory systems
Author :
Hu, Weiwu ; Xia, Peisu
Author_Institution :
Inst. of Comput. Technol., Acad. Sinica, Beijing, China
Abstract :
In this paper, event order for correct executions in shared-memory systems is systematically investigated with the help of set theory. Starting from a proposed program model which abstracts the memory accesses characteristics of parallel programs, executions of sequential memory accesses, atomic memory accesses, and nonatomic memory accesses are studied. The necessary and sufficient condition for correct executions in write atomic and write nonatomic systems are presented and proved
Keywords :
parallel programming; program diagnostics; shared memory systems; atomic memory accesses; event order; memory access; nonatomic memory accesses; parallel programs; program model; set theory; shared-memory systems; Abstracts; Computers; Delay; High performance computing; Out of order; Pipeline processing; Set theory; Sufficient conditions; Writing;
Conference_Titel :
Parallel Architectures, Algorithms, and Networks, 1996. Proceedings., Second International Symposium on
Conference_Location :
Beijing
Print_ISBN :
0-8186-7460-1
DOI :
10.1109/ISPAN.1996.508965
