Accession Number : ADA135452

Title :   Annual Scientific Report for Grant AFOSR-81-0205.

Descriptive Note : Rept. for 15 Jun 82-14 Jun 83,


Personal Author(s) : Chandy,K M ; Misra,J

PDF Url : ADA135452

Report Date : Sep 1983

Pagination or Media Count : 16

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)

Descriptors :   *Algorithms, *Information systems, *Research management, Reports, Problem solving, Computer communications, Distributed data processing, Scientific literature

Subject Categories : Administration and Management
      Information Science
      Computer Systems

Distribution Statement : APPROVED FOR PUBLIC RELEASE