Accession Number : ADA318961

Title :   Fault-Tolerant and Real-Time Distributed Computing.

Descriptive Note : Final rept. 1 May 94-30 Sep 96,

Corporate Author : CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE

Personal Author(s) : Schneider, Fred B.

PDF Url : ADA318961

Report Date : 23 NOV 1996

Pagination or Media Count : 5

Abstract : Progress was made on a number of problems in the areas of fault tolerant and real time computing. Programming logics were investigated for reasoning about distributed programs that must satisfy real time constraints, must interact with a continuous physical environment, and whose correctness depends on properties of schedulers and degree of resource contention. A new approach to fault tolerance, based on a virtual machine monitor was developed. It provides fault tolerance without requiring modifications to hardware or software. Finally, software to support mobile network agents was developed and released. Algorithms to implement agent fault-tolerance were developed.

Descriptors :   *DISTRIBUTED DATA PROCESSING, *REAL TIME, *SYSTEMS APPROACH, *FAULT TOLERANT COMPUTING, COMPUTER PROGRAMS, ALGORITHMS, ENVIRONMENTS, MODIFICATION, PHYSICAL PROPERTIES, REASONING, COMPUTER PROGRAMMING, SCHEDULING, MOBILE, RESOURCES, COMPUTER NETWORKS, LOGIC.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE