An example of deriving performance properties from a visual representation of program execution
M. Abrams · IEEE Transactions on Parallel and Distributed Systems · 1997
Through geometry, program visualization can yield performance properties. We derive all possible synchronization sequences and durations of blocking and concurrent execution for two process programs from a visualization mapping processes, synchronization, and program execution to Cartesian graph axes, line segments, and paths, respectively. Relationships to Petri nets are drawn.