DocumentCode
2152699
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
fYear
1996
fDate
12-14 Jun 1996
Firstpage
84
Lastpage
89
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel Architectures, Algorithms, and Networks, 1996. Proceedings., Second International Symposium on
Conference_Location
Beijing
ISSN
1087-4089
Print_ISBN
0-8186-7460-1
Type
conf
DOI
10.1109/ISPAN.1996.508965
Filename
508965
Link To Document