[논문 리뷰] A characterization of colorless anonymous $t$-resilient task computability

Carole Delporte-Gallet, Hugues Fauconnier외 2명|arXiv (Cornell University)|2017. 12. 12.

Distributed systems and fault tolerance참고 문헌 5인용 수 1

한 줄 요약

이 논문은 색이 없는 작업이 익명의 공유 메모리 시스템에서 t-저항성으로 해결 가능할 조건을 규명한다. 그 조건은 비익명 시스템에서 t-저항성으로 해결 가능할 때에만 성립하며, 유일하게 n개의 다중쓰기/다중읽기(MWMR) 레지스터를 사용한다. 이 결과는 연속적인 축소를 통해 달성되며, 원자적 약한 세트 객체와 안전 합의 객체의 익명 비차단 구현을 통해 비익명 t-저항성 계산을 익명 환경에서 시뮬레이션할 수 있다.

ABSTRACT

A task is a distributed problem for $n$ processes, in which each process starts with a private input value, communicates with other processes, and eventually decides an output value. A task is colorless if each process can adopt the input or output value of another process. Colorless tasks are well studied in the non-anonymous shared-memory model where each process has a distinct identifier that can be used to access a single-writer/multi-reader shared register. In the anonymous case, where processes have no identifiers and communicate through multi-writer/multi-reader registers, there is a recent topological characterization of the colorless tasks that are solvable when any number of asynchronous processes may crash. In this paper we study the case where at most $t$ processes may crash, where $1 \le t < n$. We prove that a colorless task is $t$-resilient solvable non-anonymously if and only if it is $t$-resilient solvable anonymously. This implies a complete characterization of colorless anonymous t-resilient asynchronous task computability.

연구 동기 및 목표

• 최대 t개의 프로세스가 장애를 일으킬 수 있는 익명 분산 시스템에서 색이 없는 작업의 계산 가능성을 규명하는 것.
• 비익명 시스템 대비 익명 시스템에서 t-저항성 색이 없는 작업의 계산 능력이 감소하는지 여부를 규명하는 것.
• 익명 환경에서 비익명 t-저항성 계산을 유일하게 n개의 MWMR 레지스터를 사용하여 공간 효율적으로 시뮬레이션하는 것.
• 익명 작업 계산의 웨이트프리 특성화를 t-저항성 경우로 확장하는 것.
• 특히 장기 수명 객체와 균일한 해결 가능성을 포함한 익명 장애내성 계산을 연구하는 데 기초가 되는 도구를 마련하는 것.

제안 방법

• n개의 MWMR 레지스터를 사용하여 원자적 약한 세트 객체의 익명 비차단 구현을 설계하는 것.
• 약한 세트 객체를 기반으로 유한한 값 집합 V에 대해 안전 합의 객체의 웨이트프리 구현을 구성하는 것.
• 안전 합의 객체를 활용하여 익명 시스템에서 비익명 t-저항성 계산을 시뮬레이션하는 것.
• 비익명 시스템을 익명 t-저항성 환경에서 시뮬레이션하기 위한 새로운 익명 BG-시뮬레이션을 제공하는 것.
• 단체적 사상과 색이 있는 분할을 통해 익명 경우의 해결 가능성을 특성화하기 위해 위상적 분석을 적용하는 것.
• 약한 세트 및 안전 합의 객체와 같은 중간 추상화를 통해 비익명 t-저항성 해결 가능성에서 익명 t-저항성 해결 가능성으로의 축소를 수행하는 것.

실험 결과

연구 질문

• RQ1 비익명 시스템 대비 익명 시스템에서 t-저항성 색이 없는 작업의 계산 능력이 감소하는가?
• RQ2 t-저항성으로 해결 가능한 색이 없는 작업이 익명 시스템에서 유일하게 n개의 MWMR 레지스터를 사용하여 해결 가능한가?
• RQ3 비익명 t-저항성 계산을 익명 시스템에서 t-저항성을 유지하면서 시뮬레이션할 수 있는가?
• RQ4 익명 공유 메모리 모델에서 t-저항성 색이 없는 작업을 해결하기 위해 필요한 최소 공간 복잡도는 얼마인가?
• RQ5 안전 합의 객체와 약한 세트 객체를 사용하여 t-저항성 해결 가능성을 익명 경우로까지 위상적 특성화를 확장할 수 있는가?

주요 결과

• 색이 없는 작업은 익명 시스템에서 t-저항성으로 해결 가능할 조건은 비익명 시스템에서 t-저항성으로 해결 가능할 때에만 성립한다.
• 비익명 t-저항성 계산의 익명 시뮬레이션은 유일하게 n개의 다중쓰기/다중읽기 레지스터를 요구한다.
• n개의 MWMR 레지스터를 사용하여 원자적 약한 세트 객체의 익명 비차단 구현이 구성된다.
• 약한 세트 객체를 기반으로 유한한 값 집합 V에 대해 안전 합의 객체의 웨이트프리 구현이 달성된다.
• 비익명 t-저항성 계산의 익명 시스템에서의 시뮬레이션은 새로운 익명 BG-시뮬레이션을 통해 가능해진다.
• 시뮬레이션의 공간 복잡도는 정확히 n개의 원자적 레지스터이며, 이는 익명 t-저항성 해결 가능성을 위한 날카로운 하한을 확립한다.