Title :
Distributed problem solving in spite of processor failures
Author :
Ramarao, K.V.S. ; Venkatesan, S.
Author_Institution :
Southwestern Bell Co., St. Louis, MO, USA
Abstract :
Processor failures not leading to a network partition are considered, and the issue of computing associative functions in spite of processor failures is addressed. An intuitive and fundamental result formally proved is that failure detection and computing associative functions are equivalent in faulty networks: one can be performed if and only if the other can be performed. Protocols and impossibility results in various system models are presented in the context of computing associative functions and solving topological problems
Keywords :
distributed processing; fault tolerant computing; theorem proving; associative functions; distributed problem solving; failure detection; faulty networks; network partition; processor failures; system models; theorem proving; topological problems; Clocks; Computer networks; Computer science; Distributed computing; Fault detection; Fault tolerance; Intelligent networks; Paper technology; Problem-solving; Protocols;
Conference_Titel :
Reliable Distributed Systems, 1992. Proceedings., 11th Symposium on
Conference_Location :
Houston, TX
Print_ISBN :
0-8186-2890-1
DOI :
10.1109/RELDIS.1992.235130