Annual Scientific Report for Grant AFOSR-81-0205.
Rept. for 15 Jun 82-14 Jun 83,
TEXAS UNIV AT AUSTIN DEPT OF COMPUTER SCIENCES
Pagination or Media Count:
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
- Administration and Management
- Information Science
- Computer Systems