Computer Science Technical Reports
CS at VT

Geometric Performance Analysis of Mutual Exclusion: The Model

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

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


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 cyclic processes sharing mutually exclusive, reusable resources. Processes synchronize through semaphore operations that are not embedded in conditionally executed code segments. Model parameters are the times at which each semaphore operation completes and the independently derived, constant execution time required by each process between points of completion of semaphore operations.

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