Using visualization tools to understand concurrency

摘要: A visualization tool that provides an aggregate view of execution through a graph events called the causality graph, which is suitable for systems with hundreds or thousands processors, coarse-grained parallelism, and language makes communication synchronization explicit, discussed. The methods computing graphs stepping are described. properties abstraction algorithms super nodes, subgraphs in graphs, also >