Title

Interference Analysis In Synchronization Algorithms.

Abstract

The need for exclusive access to a resource in computer systems requires the synchronization of asynchronous processes and causes a performance degradation of such systems. In this paper, we show how to model this degradation by a Markov chain whose state space is defined by the status variables of the synchronization algorithm. The approach is illustrated by examples of some wellknown synchronization algorithms. Validation of the model has been performed through simulation programs written in Concurrent Euclid, and the results obtained from analysis and simulation are compared and discussed. The model can be used to predict the degree of degradation in performance when a synchronization algorithm is used to control a given load of concurrent processes.

Publication Date

12-1-1986

Publication Title

Modeling and Simulation, Proceedings of the Annual Pittsburgh Conference

Volume

17

Issue

pt 5

Number of Pages

1943-1946

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

Socpus ID

0022943042 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/0022943042

This document is currently not available here.

Share

COinS