Distributed System Modelling and Analysis.

reportActive / Technical Report | Accession Number: ADA176475 | Open PDF

Abstract:

This project is intended to develop theoretical foundations for distributed computing. The primary goal of the work has been the design of distributed algorithms and the proof of upper and lower complexity bounds for interesting distributed problems. The kinds of problems studies include distributed consensus in the presence of faults, resource allocation, and election of a leader. A secondary goal has been the development of formal semantic models for concurrent and distributed algorithms, in a way which would clarify the commonality among various different kinds of concurrent algorithms shared memory algorithms, message-passing algorithms, concurrency control algorithms, dataflow algorithms, etc. A tertiary goal has involved the modelling, specification and verification of concurrency control and recovery algorithms for nested transaction systems. Author

Author(s):
Lynch, Nancy A.
Author Organization(s):
MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE
Descriptive Note:
Final rept. 1 Apr 84-30 Sep 86,
Supplementary Note:
DOI: 10.21236/ADA176475
Pagination:
0023

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
ARO-20519.35-EL
Contract/Grant Number(s):
DAAG29-84-K-0058
Monitor Series:
20519.35-EL
 Subject Terms
Joint Capability Areas:
JCA_6_Net Centric; JCA_6.1_Information Transport; JCA_6.2.1_Information Sharing; JCA_6.2.2_Computing Services; JCA_5_Command and Control; JCA_6.2.3_Core Enterprise Services; JCA_6.2_Enterprise Services; JCA_5.3_Planning; JCA_8_Building Partnerships; JCA_5.2.2_Develop Knowledge and Situational Awareness; JCA_5.2_Understand; JCA_8.1_Communicate; JCA_8.1.3_Influence Adversary and Competitor Audiences; JCA_8.2.4_Leverage Capacities and Capabilities of Security Establishments; JCA_8.2_Shape; JCA_8.1.1_Inform Domestic and Foreign Audiences; JCA_4.6_Engineering
Communities of Interest:
Engineered Resilient Systems
Descriptor(s):
*ALGORITHMS, *DISTRIBUTED DATA PROCESSING, CONTROL, RECOVERY, COMPUTATIONS, THEORY, SEMANTICS, MEMORY DEVICES, ALLOCATIONS, SYSTEMS ANALYSIS, RESOURCE MANAGEMENT
Field(s)/Group(s):
Computer Hardware, Computer Systems
Report Date:
1986 Dec 22