Fault-Tolerant and Real-Time Distributed Computing.
Final rept. 1 May 94-30 Sep 96,
CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
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.
- Computer Programming and Software