PaperOn-the-Fly Topological Sort—a Basis for Interactive Debugging and Live Visualization of Parallel Programs