A graphical representation of concurrent processes

Abstract

This paper describes a graphical representation called a concurrency map. It provides a succinct representation of the potentially large collection of possible correct event-orclerings for a set of concurrent processes. The normal problems of monitoring, debugging and analyzing performance of single-process programs are compounded for programs with concurrent processes. Although we can observe the behavior of each separate process, we do not know what is occurring concurrently in the various processes during successive moments as execution progresses. Furthermore, unknown liming delays among the processes may cause different program behavior when we rerun the program. The relative lime-ordering of evenis In differenl concurrenl processes is not, in general, fixed, and events that occurred in one order on one occasion on which ihe program performed correctly might occur in another order on another occasion, with equal correctness. We need to know bolli iiow the program behaved during execution and how Thai behavior might have differed under normal variations of concurrent execution. The concurrency map AIDS in solving these problems.