1
Paxos 기반 복제 체계와 스냅 샷 격리와 같은 다른 동시성 모델 간의 실제 관계가 궁금합니다. 아무도 그들의 관계와 몇 가지 실용적인 예와 관련하여이 두 가지를 친절하게 설명 할 수 있습니까?동시성 제어를위한 Paxos와 스냅 샷 격리 간의 관계
A
답변
1
스냅 샷 격리는 완전히 충돌하는 업데이트를 주문한다는 점에서 강력한 일관성 동시성 기준입니다. 총 주문은 분산 시스템의 합의에 해당합니다. Paxos는 프로세스 결함이있는 분산 시스템에서 합의를위한 솔루션입니다. 귀하의 질문에 대한 대답은 다음과 같습니다. 스냅 샷 격리와 Paxos 기반 복제 계획 간의 관계는 이론적 의미로 구현하는 것이 똑같이 어렵다는 것입니다 (즉, 동일한 가정에서 가능할 수 있음).
강력한 일관성있는 동시성 기준의 다른 예로 직렬성, 선형성 및 순차적 일관성이 있습니다. 대조적으로 인과 관계의 일관성 또는 최종 일관성과 같은 일관성이 약한 기준은 합의가 필요하지 않으므로 본 Paxos 기반 복제 계획과 근본적으로 다릅니다.
답장을 보내 주셔서 감사합니다. 좀 더 명확히하기 위해서 ... 균일 한 신뢰할 수있는 멀티 캐스트와 같은 그룹 통신 프로토콜을 사용하여 멀티 캐스트 방식과 Paxos가 어떻게 차별화되는지 전체 순서를 보장 할 수 있다고 읽은 논문도 있습니다. 아니면 어디에서 멀티 캐스트를 사용해야하고 어디에서 Paxos를 사용해야할까요? 어떤 예도 좋을 것입니다 ... 다시 한 번 감사드립니다. – joarderm
균일 성을 주문과 혼동하지 마십시오. 총 주문 (일명 원자) 멀티 캐스트는 동일한 근본적인 문제를 해결합니다. 그러나 이것은 Paxos가 옵션이기는하지만 Totem과 가장 공통적 인 구체적인 프로토콜로 구현되어야하는 추상적 인 사양입니다. 동일한 기본 문제 (즉 총 주문)를 해결하는 여러 프로토콜 중에서 선택하려면 흐름 제어, 성능, 안정성 등과 같은 실제적인 고려 사항도 고려해야하므로 간단한 대답은 없습니다. – jop
다시 한번 감사드립니다 ... 대단한 대답. 이제 나에게 분명하다. – joarderm