Прекращение надежной трансляции ( TRB ) — это проблема распределенных вычислений , которая инкапсулирует задачу трансляции сообщения набору принимающих процессов при наличии сбоев . [1] В частности, отправитель и любой другой процесс могут выйти из строя («упасть») в любой момент.
Протокол TRB обычно организует систему в процесс отправки и набор процессов получения, которые могут включать самого отправителя. Процесс называется «правильным», если он не дает сбоев ни в одной точке своего выполнения. Цель протокола — передать данные («сообщение») от отправителя набору процессов получения. Процесс может выполнять множество операций ввода-вывода во время выполнения протокола, но в конечном итоге «доставляет» сообщение, передавая его приложению в том процессе, который вызвал протокол TRB.
Протокол должен предоставлять важные гарантии процессам получения. Все правильные процессы получения, например, должны доставлять сообщение отправителя, если отправитель также правильный. Процесс получения может доставить специальное сообщение («отправитель неисправен»), если отправитель дал сбой, но либо все правильные процессы доставят , либо ни один . Поэтому правильному процессу гарантируется, что данные, доставленные ему, также были доставлены всем другим правильным процессам.
Точнее, протокол TRB должен удовлетворять четырем формальным свойствам, указанным ниже.
Наличие сбоев в системе затрудняет удовлетворение этих свойств. Простой, но недействительный протокол TRB может заставить отправителя транслировать сообщение всем процессам и заставить получающие процессы доставлять сообщение сразу после его получения. Однако этот протокол не удовлетворяет соглашению , если могут возникнуть сбои: если отправитель выходит из строя после отправки сообщения некоторым процессам, но до отправки его другим, то первый набор процессов может доставить сообщение, в то время как второй набор доставляет .
TRB тесно связана с фундаментальной проблемой распределенных вычислений — проблемой консенсуса , но не идентична ей .
