On-the-Fly Topological Sort - A Basis for Interactive Debugging and Live Visualization of Parallel Programs (1993)
| Venue: | In PADD ’93: Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging |
| Citations: | 5 - 0 self |
BibTeX
@INPROCEEDINGS{Kimelman93on-the-flytopological,
author = {Doug Kimelman and Dror Zernik},
title = {On-the-Fly Topological Sort - A Basis for Interactive Debugging and Live Visualization of Parallel Programs},
booktitle = {In PADD ’93: Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging},
year = {1993},
pages = {12--20},
publisher = {ACM Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper presents an optimal technique for on-the-fly ordering and matching of event data records that are being produced by a number of distinct processors. This is essential for effective interactive debugging and live visualization of parallel programs. The technique involves on-the-fly construction of the causality graph of the execution of the program. A sliding window over the graph is maintained by discarding portions of the graph as soon as they are no longer required for ensuring correct order of subsequent program events. The sort places an event record into the causality graph when it is received, places it into the output stream as soon as possible---as soon as all of its predecessors in the causal order have been placed into the output, and discards the event record as soon as possible---as soon as all of its successors in the causal order notice that it has been output. This technique is optimal in terms of the amount of space required for the sort, and in terms of the ...
