Annual Scientific Report for Grant AFOSR-81-0205.
Abstract
In the last several years, the investigators have developed a number of important, practical distributed algorithms for problems such as distributed simulation, termination and deadlock detection, computing networkwide functions in a distributed manner, etc. Interest in distributed systems has spurred publications of many distributed algorithms by other researchers. The major thrust in the past year has been directed towards developing unifying frameworks, i.e, paradigms - which consolidate the known results. They have developed a theory for detecting all system properties that are stable, i.e., properties that continue to hold once they begin to hold. Examples of stable properties are termination, deadlock, etc. The work subsumes a large body of literature on termination and deadlock detection. They have similarly developed a theory of conflict resolution and an algorithm based on this theory; this algorithm subsumes all known nonprobabilistic algorithms for mutual exclusion, resource sharing, dining philosophers' problem, etc. In addition, they have continued work on models of distributed systems, their verification and performance analysis. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 01, 1983
- Accession Number
- ADA135452
Entities
People
- J. Misra
- K. M. Chandy
Organizations
- University of Texas at Austin