신뢰할 수 있는 브로드캐스트 종료

이 기사는 대체로 또는 전적으로 단일 출처에 의존한다. 추가 출처에 인용구를 도입하여 이 기사를 개선할 수 있도록 도와주십시오. 출처 찾기: "신뢰할 수 있는 방송" – 뉴스 · 신문 · 책 · 학자 · JSTOR (1919년 1월)

신뢰할 수 있는 방송 종료(TRB)는 고장 발생 시 일련의 수신 프로세스에 메시지를 방송하는 작업을 캡슐화하는 분산 컴퓨팅의 문제다.^[1]특히, 송신자와 다른 프로세스는 언제든지 고장날 수 있다("충돌").

문제 설명

TRB 프로토콜은 일반적으로 시스템을 송신 프로세스와 수신 프로세스 세트로 구성하며, 송신자 자체를 포함할 수 있다.공정을 실행하는 동안 어느 지점에서라도 고장이 나지 않으면 "수정"이라고 한다.프로토콜의 목표는 송신자로부터 수신 프로세스 집합으로 데이터("메시지")를 전송하는 것이다.프로세스는 프로토콜 실행 중에 많은 I/O 작업을 수행할 수 있지만, 결국 TRB 프로토콜을 호출한 해당 프로세스의 애플리케이션에 메시지를 전달하여 "전달"한다.

프로토콜은 반드시 수신 프로세스에 중요한 보증을 제공해야 한다.예를 들어, 모든 올바른 수신 프로세스는 발신인이 또한 정확하다면 발신인의 메시지를 전달해야 한다.송신자가 실패한 경우 수신 프로세스는 S ${\displaystyle \mathrm{F}}$ ${\$ {SF$}("$수신자 결함")라는 특수 메시지를 전달할 수 있지만, 모든 올바른 프로세스는 ${\displaystyle \mathrm{S}}$ $F{\displaystyle \mathrm{}}$ ${\${SF$}}$을(를) 전달하거나$$ 아무 것도 전달하지 않는다.따라서 정확한 프로세스는 전달된 데이터가 다른 모든 올바른 프로세스에도 전달되었음을 보장한다.

더 정확히 말하면, TRB 프로토콜은 아래의 네 가지 공식 특성을 만족시켜야 한다.

• 종료: 모든 올바른 프로세스는 어느 정도의 가치를 제공한다.
• 유효성: 보낸 사람이 올바르고 메시지 $m{\displaystyle }$ ${\displaystyle m}$을$($를) 브로드캐스트할 경우, 모든 올바른 $프로세스$는 m$${\$displaystyle$m}을(를) 전달한다$.$
• 무결성: 프로세스가 메시지를 최대 한 번에 전달하며, 일부 $메시지{\displaystyle }$ m${\displaystyle s\mathrm{}}$ ${\displaystyle \mathrm{S}}$ F$${\$displaystyle m\neq \mathrm${SF$\}\}$을(를) 전송하면 m ${\displaystyle$ m}이$($가) 보낸 사람에 $의해{\displaystyle }$ 브로드캐스트되었다$$.
• 동의: 올바른 프로세스가 $메시지{\displaystyle }$ m ${\displaystyle m}$을(를$)$ 전달하면 모든 올바른 프로세스가 $m{\displaystyle }$ ${\displaystyle m}$을(를) 전달한다$.$

시스템에 결함이 존재하기 때문에 이러한 특성을 충족시키기 어렵다.단순하지만 유효하지 않은 TRB 프로토콜은 송신자가 메시지를 모든 프로세스에 브로드캐스트하고 수신 프로세스가 메시지를 수신하는 즉시 전달하도록 할 수 있다.그러나 이 프로토콜은 결함이 발생할 수 있는 경우 합의를 충족하지 못한다. 즉, 메시지를 보낸 사람이 일부 프로세스에 보낸 후 다른 프로세스에 전송하기 전에 충돌하는 경우, 두 번째 ${\displaystyle \mathrm{세트}}$가 S F ${\${SF}을$($를) 전달하는 동안 첫 번째 프로세스 세트가 메시지를 전달할 수 있다$.$

TRB는 합의의 근본적인 분산 컴퓨팅 문제와 밀접하게 관련되어 있지만 동일하지는 않다.

참조