Abstrakt. Vi studerar fel inneslutning i distribuerade applikationer, som kan ses som ett extremt fall av olika fel lokala föreställningar studeras i det förflutna. Fel inneslutning innebär att till den externa observatören, endast noder som drabbades direkt av ett fel kan avvika från deras angivna korrekta beteende, och endast tillfälligt. Det externt observerbara beteendet hos alla andra noder måste förbli oklanderligt, även om deras inre tillstånd kan påverkas. Fel inneslutning är omöjligt om en motståndare tillåts att orsaka godtyckliga övergående fel på systemet, eftersom felen kan helt utplåna inmatningsvärden. Vi inför en ny feltoleransåtgärd som vi kallar agility, som kvantifierar feltoleransen hos en algoritm som sprider information mot statliga korrumperande fel. Vi föreslår sedan sända algoritmer som garanterar fel inneslutning med optimal smidighet att inom en konstant faktor i synkrona nätverk. Dessa algoritmer kan fungera som byggstenar i mer allmänna reaktiva system. Tidigare resultat i att utforska lokalitet i reaktiva system var inte fel begränsad, eller tillät ett brett spektrum av beteenden att anses vara korrekt. Våra resultat inkluderar också en ny teknik som kan användas för att analysera "kovägen" problemet.
I REF definieras också det mått på agilitet som kvantifierar styrkan hos en reaktiv algoritm mot statliga korrumperande fel, och sändaralgoritmen har visat sig garantera felinneslutning med optimal agilitet inom en konstant faktor.
Distributed error confinement
{'venue': 'TALG', 'journal': None, 'mag_field_of_study': ['Computer Science']}