Geometric Performance Analysis of Mutual Exclusion: The Model

External research report OPEN
Abrams, Marc;
  • Publisher: Department of Computer Science, Virginia Polytechnic Institute & State University

This paper is motivated by the need to better understand parallel program run-time behavior. The paper first formally describes a general model of program execution based on Djkstra's progress graphs. The paper then defines a special case of the model representing two... View more
Share - Bookmark

  • Download from
    VTechWorks via VTechWorks (External research report, 1990)
  • Cite this publication