Title :
Architecture and language support for fault-tolerance in complex real-time systems
Author :
Ganesh, A.K. ; Marlowe, T.J. ; Stoyenko, A.D. ; Younis, M.F. ; Salinas, J.
Author_Institution :
Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
Abstract :
The overhead of the general checkpointing approach is infeasible for distributed real-time systems where timing is critical. We present a new compiler based approach which classifies data, and minimizes the data needed for checkpointing using static data flow analysis and language support. Our approach provides static guarantees of timeliness while checkpointing, and explores timely recovery for real-time systems. We outline our approach and discuss the necessary architecture and language support needed to make this feasible
Keywords :
data flow analysis; parallel architectures; parallel languages; program compilers; program diagnostics; real-time systems; software fault tolerance; system recovery; architecture support; checkpointing; compiler; complex real-time systems; data classification; distributed real-time systems; fault-tolerance; language support; static data flow analysis; static guarantees; systems recovery; timeliness; timing; Certification; Checkpointing; Computer architecture; Computer errors; Distributed computing; Fault tolerant systems; Laboratories; Military computing; Real time systems; Timing;
Conference_Titel :
Engineering of Complex Computer Systems, 1996. Proceedings., Second IEEE International Conference on
Conference_Location :
Montreal, Que.
Print_ISBN :
0-8186-7614-0
DOI :
10.1109/ICECCS.1996.558431
