[논문 리뷰] Relating L-Resilience and Wait-Freedom via Hitting Sets

Eli Gafni, Petr Kuznetsov|2010. 04. 27.

Distributed systems and fault tolerance참고 문헌 20인용 수 15

한 줄 요약

이 논문은 ℒ-내성과 웨이트프리(대기금지) 간의 밀접한 연결을 확립하여, ℒ-내성 하에서 임의의 작업의 해법 가능성은 ℒ 내의 생존집합들에 대한 최소 충족집합(minimum hitting set)에 의해 결정됨을 보여준다. 색상이 없는 작업의 경우, 작업은 ℒ-내성적으로 해법 가능할 조건은 그 작업이 (h−1)-내성적으로 해법 가능할 조건과 동치이며, 여기서 h는 최소 충족집합의 크기이다. 일반 작업의 경우, 약한 ℒ-내성적 해법 가능성은 변환된 작업 Tℒ의 웨이트프리 해법 가능성과 동치이다.

ABSTRACT

The condition of t-resilience stipulates that an n-process program is only obliged to make progress when at least n-t processes are correct. Put another way, the live sets, the collection of process sets such that progress is required if all the processes in one of these sets are correct, are all sets with at least n-t processes. We show that the ability of arbitrary collection of live sets L to solve distributed tasks is tightly related to the minimum hitting set of L, a minimum cardinality subset of processes that has a non-empty intersection with every live set. Thus, finding the computing power of L is NP-complete. For the special case of colorless tasks that allow participating processes to adopt input or output values of each other, we use a simple simulation to show that a task can be solved L-resiliently if and only if it can be solved (h-1)-resiliently, where h is the size of the minimum hitting set of L. For general tasks, we characterize L-resilient solvability of tasks with respect to a limited notion of weak solvability: in every execution where all processes in some set in L are correct, outputs must be produced for every process in some (possibly different) participating set in L. Given a task T, we construct another task T_L such that T is solvable weakly L-resiliently if and only if T_L is solvable weakly wait-free.

연구 동기 및 목표

• ℒ-내성의 계산 능력을 이해하기 위해, 진전이 특정 프로세스 집합(생존집합)이 정상일 때만 요구되는 t-내성의 일반화인 ℒ-내성의 계산 능력을 분석한다.
• ℒ-내성의 해법 가능성 모델이 웨이트프리로 환원될 수 있는지 확인하여, 작업 해법 가능성 모델을 통합한다.
• 색상이 없는 작업과 일반 작업의 ℒ-내성 하에서의 해법 가능성 특성을 생존집합들의 최소 충족집합을 통해 기술한다.
• 기존의 t-내성에서 웨이트프리로의 환원 기법을 생존집합 ℒ로 정의된 초집합폐쇄 성질을 가진 일반적인 적대자 모델로 확장한다.
• 일반 작업에 대해 약한 해법 가능성 개념을 도입하여, 작업 변환을 통해 ℒ-내성적 해법 가능성과 웨이트프리 해법 가능성 간의 동치성을 확립한다.

제안 방법

• ℒ-내성을 정의하여, ℒ에 속한 어떤 생존집합의 모든 프로세스가 정상일 때만 진전이 요구되며, 생존집합이 초집합에 대해 닫혀 있음을 보장한다.
• ℒ의 최소 충족집합 H를 도입하여, ℒ 내의 모든 생존집합과 교차하는 최소 크기의 프로세스 집합으로, 이는 ℒ의 계산 능력을 결정한다.
• 색상이 없는 작업의 경우, 시뮬레이션 기법을 사용하여 ℒ-내성적 해법 가능성과 (h−1)-내성적 해법 가능성 간의 동치성을 보인다. 여기서 h = |H|이다.
• 일반 작업의 경우, 어떤 생존집합이 정상이면서 그 집합 내 프로세스가 고장나지 않을 때 출력이 생성되어야 하는 약한 해법 조건을 정의한다.
• 읽기-수정-쓰기 프rotocol(RAP)을 사용하여 단일 리졸버를 활용하여, Tℒ라는 변환된 작업을 구성한다. 이에 따라 T가 약한 ℒ-내성적으로 해법 가능할 조건은 Tℒ가 웨이트프리로 해법 가능할 조건과 동치이다.
• 모의실험 논증을 통해, T에 대한 ℒ-내성 알고리즘은 Tℒ에 대한 웨이트프리 알고리즘으로 모의실험 가능하며, 이는 약한 해법 조건 하에서도 정당성을 유지한다.

실험 결과

연구 질문

• RQ1 ℒ-내성의 계산 능력은 무엇이며, 웨이트프리와의 관계는 어떠한가?
• RQ2 ℒ-내성 하에서 색상이 없는 작업의 해법 가능성은 생존집합들의 최소 충족집합의 크기로 특징지어질 수 있는가?
• RQ3 일반 작업에 대해 약한 해법 조건 하에서 ℒ-내성적 해법 가능성에서 웨이트프리 해법 가능성으로의 일반적인 변환 기법이 존재하는가?
• RQ4 생존집합 ℒ의 최소 충족집합은 적대자 모델의 k-세트 협의력(k-set agreement power)을 어떻게 결정하는가?
• RQ5 ℒ-내성과 웨이트프리 간의 동치성은 색상이 없는 작업과 초집합폐쇄 적대자 모델을 초월하여 확장될 수 있는가?

주요 결과

• ℒ 내의 생존집합들의 최소 충족집합 H는 ℒ-내성의 계산 능력을 결정한다: 색상이 없는 작업의 경우, 작업은 ℒ-내성적으로 해법 가능할 조건은 그 작업이 (h−1)-내성적으로 해법 가능할 조건과 동치이며, 여기서 h = |H|이다.
• 일반 작업의 경우, 약한 ℒ-내성적 해법 가능성은 변환된 작업 Tℒ의 웨이트프리 해법 가능성과 동치이다. Tℒ는 생존집합 내 프로세스의 입력과 출력을 시뮬레이션하여 구성된다.
• 최소 충족집합의 크기 h는 핵심 매개변수이다: n개의 프로세스에서 k-세트 협의력은 ℒ-내성 하에서 해법 가능할 조건은 k ≥ h이다.
• Tℒ의 구성은 생존집합이 정상이면서 고장이 없을 경우에 항상 유효한 출력으로 이어지며, 이는 약한 해법 조건 하에서도 정당성을 유지한다.
• 단일 리졸버를 사용하는 RAP(읽기-확인 프로토콜)을 통한 모의실험은 일관성을 보장하며, ℒ-내성 실행을 웨이트프리 실행 Tℒ로 모의실험할 수 있도록 한다.
• 약한 해법 조건 하에서 ℒ-내성과 웨이트프리 간의 동치성은 유지되며, 이 모델은 초집합 연산에 대해 닫혀 있어 특성 기술을 단순화한다.