On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions (1990)
| Venue: | In Proceedings of the 1990 International Conference on Parallel Processing |
| Citations: | 48 - 6 self |
BibTeX
@INPROCEEDINGS{Netzer90onthe,
author = {Robert H.B. Netzer and Barton P. Miller},
title = {On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions},
booktitle = {In Proceedings of the 1990 International Conference on Parallel Processing},
year = {1990},
pages = {93--97}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper presents results on the complexity of computing event orderings for sharedmemory parallel program executions. Given a program execution, we formally define the problem of computing orderings that the execution must have exhibited or could have exhibited, and prove that computing such orderings is an intractable problem. We present a formal model of a shared-memory parallel program execution on a sequentially consistent processor, and discuss event orderings in terms of this model. Programs are considered that use fork/join and either counting semaphores or event style synchronization. We define a feasible program execution to be an execution of the program that performs the same events as an observed execution, but which may exhibit different orderings among those events. Any program execution exhibiting the same data dependences among the shared data as the observed execution is feasible. We define several relations that capture the orderings present in all (or some) of the...
