내결함성 및 복제
내결함성 및 복제는 분산 시스템이 일부 구성 요소의 장애에도 불구하고 올바른 서비스를 계속 제공할 수 있도록 하는 기술입니다.
PaperMind(으)로 주제 찾기곧 제공Find papers & topics
Tools & resources
Learn & explore
동영상곧 제공
Definition
내결함성은 일부 구성 요소에 결함이 있음에도 불구하고 시스템이 사양을 계속 충족하는 능력입니다. 복제(계산 또는 데이터의 여러 복사본 유지)는 이를 달성하기 위한 주요 메커니즘이며, 복사본을 적절하게 일관되게 유지하기 위한 프로토콜이 필요합니다.
Scope
이 영역은 내결함성의 기반으로서의 중복성, 신뢰할 수 있는 서비스를 구축하기 위한 상태-기계 복제 접근 방식, 데이터 복제 및 복제된 데이터를 관리하는 일관성 모델, CAP 정리 및 파티션 하에서의 일관성-가용성 절충, 그리고 체크포인트 및 로깅 기반의 롤백-복구 기술을 다룹니다. 이는 합의 및 순서 이론을 신뢰할 수 있는 시스템 구축과 연결합니다.
Sub-topics
Core questions
- 중복성은 신뢰할 수 없는 구성 요소를 어떻게 신뢰할 수 있는 서비스로 전환합니까?
- 복제본은 어떤 일관성을 유지해야 하며, 각 수준은 지연 시간과 가용성 측면에서 어떤 비용을 발생시킵니까?
- 네트워크가 분할될 수 있을 때 근본적으로 보장할 수 없는 것은 무엇입니까?
- 시스템은 장애 발생 후 어떻게 일관된 상태로 복구할 수 있습니까?
Key theories
- 상태-기계 복제
- 결정론적 서비스는 동일한 명령 시퀀스를 동일한 순서로 처리하는 동일한 복제본을 실행함으로써 내결함성을 갖게 되며, 이를 통해 살아남은 복제본이 다른 복제본의 장애를 가릴 수 있습니다.
- CAP 정리
- 네트워크가 분할될 수 있을 때, 복제된 서비스는 강력한 일관성과 가용성을 동시에 보장할 수 없습니다. 설계자는 파티션 동안 무엇을 희생할지 선택해야 하며, 이는 Gilbert와 Lynch에 의해 공식화된 절충안입니다.
- 롤백 복구
- 주기적으로 상태를 체크포인트하고 선택적으로 메시지를 로깅함으로써, 시스템은 실패한 프로세스를 일관된 복구 라인으로 롤백하고 앞으로 재생하여 전체 계산을 다시 시작하지 않고도 복구할 수 있습니다.
Clinical relevance
복제 및 내결함성은 클라우드 스토리지를 내구성 있게 만들고 서비스를 고가용성으로 만드는 요소입니다. 여기서 연구되는 일관성 모델과 CAP 절충은 프로덕션에서 널리 사용되는 데이터베이스, 객체 저장소 및 조정 서비스가 제공하는 보장을 직접적으로 결정합니다.
History
Schneider의 1990년 튜토리얼은 복제에 대한 상태-기계 접근 방식을 체계화했습니다. Brewer의 CAP 추측(2000년), 2002년 Gilbert와 Lynch에 의해 증명된 이 추측은 NoSQL 시대를 형성한 일관성-가용성 논쟁의 틀을 마련했습니다. Elnozahy와 동료들의 조사와 같은 연구들은 수십 년간의 롤백-복구 연구를 통합했습니다.
Debates
- 강력한 일관성 대 최종 일관성
- 강력한 일관성은 애플리케이션 추론을 단순화하지만 파티션 하에서 가용성을 제한하고 지연 시간을 증가시킵니다. 최종 일관성은 일시적인 불일치를 노출하는 대가로 가용성을 극대화하며, 올바른 선택은 애플리케이션 의미론에 따라 달라집니다.
Key figures
- Fred Schneider
- Leslie Lamport
- Eric Brewer
- Seth Gilbert
- Nancy Lynch
Related topics
Seminal works
- schneider1990
- gilbert2002
- elnozahy2002
Frequently asked questions
- 복제가 항상 신뢰성을 향상시킵니까?
- 복제본이 일관성을 유지하고 독립적으로 실패하는 경우에만 그렇습니다. 제대로 조정되지 않은 복제본은 분기되어 상충되는 데이터를 제공할 수 있으며, 상관된 장애(공유 전원, 소프트웨어 버그)는 중복성을 무력화하므로 복제는 올바른 일관성 프로토콜과 함께 사용되어야 합니다.