Computer Science Technical Reports
CS at VT

Geometric Performance Analysis of Mutual Exclusion: The Model Solution

Abrams, Marc and Agrawala, Ashok (1990) Geometric Performance Analysis of Mutual Exclusion: The Model Solution. Technical Report TR-90-59, Computer Science, Virginia Polytechnic Institute and State University.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.
TR-90-59.pdf (1000162)


This paper presents an analytic solution to progress graphs used for performance analysis. It derives the exact sequence of blocking and running times experienced by two processes sharing mutually exclusive, reusable resources. A novel application of Dijkstra's progress graphs yields the complex relationship between the waiting times at each synchronization point. The problem of solving progress graphs is formulated in terms of finding the minimum solution of each of a set of Diophantine equations. An algorithm is presented to find all steady state behaviors involving blocking that emerge from any initial condition.

Item Type:Departmental Technical Report
Subjects:Computer Science > Historical Collection(Till Dec 2001)
ID Code:241
Deposited By:User autouser
Deposited On:05 December 2001