DocumentCode :
3069086
Title :
Constructing self-recoverable finite state protocols
Author :
Park, Jun-Cheol ; Miller, Raymond E.
Author_Institution :
Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
fYear :
1998
fDate :
16-18 Feb 1998
Firstpage :
419
Lastpage :
425
Abstract :
We define the notion of self-recoverability such that a self-recoverable protocol is capable of resuming its normal operation in a finite time after a loss of synchronization caused by a message loss/duplication/corruption, a loss of send-receive symmetry or a process failure and recovery. We present a construction method starting from a finite state protocol which yields a self-recoverable protocol that can tolerate a loss of synchronization due to one of the above transient faults. Our construction imposes very little overhead on the protocol to make it self-recoverable in the sense that the constructed protocol during normal operation does not require any extra send, receive or internal events, except for a timer to monitor for timeout events and a piggybacking of a message identifier for some send transitions, as long as the protocol continues its normal operation. We prove that the constructed protocol ensures self-recoverability while satisfying the same specification as the given protocol
Keywords :
finite state machines; protocols; synchronisation; construction method; finite state protocols; message corruption; message duplication; message identifier; message loss; piggybacking; process failure; self-recoverable protocol; send transitions; send-receive symmetry; synchronization loss; timeout events; transient faults; Automata; Communications technology; Computer science; Educational institutions; Fault tolerance; Monitoring; NASA; Protocols; Robustness;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Performance, Computing and Communications, 1998. IPCCC '98., IEEE International
Conference_Location :
Tempe/Phoenix, AZ
ISSN :
1097-2641
Print_ISBN :
0-7803-4468-5
Type :
conf
DOI :
10.1109/PCCC.1998.660094
Filename :
660094
Link To Document :
بازگشت