[논문 리뷰] A Rollback in the History of Communication-Induced Checkpointing

Islene C. Garcia, Gustavo M. D. Vieira외 1명|arXiv (Cornell University)|2017. 02. 20.

Distributed systems and fault tolerance참고 문헌 22인용 수 10

한 줄 요약

이 논문은 최근 논리 시계를 사용하는 통신 유도 체크포인팅 프로토콜 중에서 가장 효율적이라고 주장된 FINE 및 레이지-FINE 체크포인팅 프로토콜의 효율성 주장에 도전한다. 이 논문은 두 프로토콜이 여전히 무의미한 체크포인트를 생성할 수 있음을 증명함으로써, 그들의 최적성 주장이 무효화되고, 이 가문에서 가장 효율적인 선택으로서 오래된 HMNR(완전히 정보화된) 및 레이지-FI 프로토콜로 상태가 회복됨을 보여준다.

ABSTRACT

The literature on communication-induced checkpointing presents a family of protocols that use logical clocks to control whether forced checkpoints must be taken. Efficiency of these protocols is measured by how many forced checkpoints are needed to ensure no checkpoint will be useless to the application; the fewer forced checkpoints the better. For many years, HMNR, also called Fully Informed (FI), was the most complex and efficient protocol of this family. The Lazy-FI protocol applies a lazy strategy that defers the increase of logical clocks, resulting in a protocol with better efficiency for distributed systems where processes can take basic checkpoints at different rates. Recently, the Fully Informed aNd Efficient (FINE) protocol was proposed using the same control structures as FI, but with a stronger and, presumably better, checkpoint-inducing condition. FINE and its lazy version, called Lazy-FINE, would now be the most efficient checkpointing protocols based on logical clocks. This paper reviews this family of protocols, proves a theorem on a condition that must be enforced by all stronger versions of FI, and proves that both FINE and Lazy-FINE do not guarantee the absence of useless checkpoints. As a consequence, FI and Lazy-FI can be rolled back to the position of most efficient protocols of this family of index-based checkpointing protocols.

연구 동기 및 목표

• 최근의 논리 시계 기반 체크포인팅 프로토콜의 효율성 주장 재표현 및 재평가.
• 모든 더 강력한 형식의 완전히 정보화된(FI) 프로토콜이 무의미한 체크포인트를 방지하기 위해 만족해야 할 필수 조건을 규명하고 형식화하기.
• FINE 및 레이지-FINE 프로토콜이 무의미한 체크포인트의 존재를 보장하지 못함을 증명하기.
• 이 가문의 인덱스 기반 통신 유도 체크포인팅에서 가장 효율적인 프로토콜로 HMNR(완전히 정보화된) 및 레이지-FI 프로토콜을 복원하기.

제안 방법

• 저자들은 더 강력한 FI 프로토콜의 모든 변종이 무의미한 체크포인트를 방지하기 위해 반드시 따라야 할 필수 조건을 형식화한다.
• 논리 시계 메커니즘을 사용하여 FINE 및 레이지-FINE의 체크포인트 유도 조건을 분석한다.
• FINE 및 레이지-FINE가 여전히 무의미한 체크포인트를 생성할 수 있음을 보여주는 반례를 구성한다.
• FINE 및 레이지-FINE의 논리 시계 업데이트 전략이 체크포인트 중복을 방지하지 못함을 증명한다.
• 동일한 조건 하에서 FINE/레이지-FINE와 HMNR 및 레이지-FI의 체크포인팅 행동을 비교한다.
• 형식적 추론을 통해 FINE 및 레이지-FINE에서 무의미한 체크포인트의 부재가 보장되지 않음을 보여준다. 이는 더 강력한 조건이 있음에도 불구하고 성립한다.

실험 결과

연구 질문

• RQ1 이전 연구에서 주장한 바와 같이 FINE 프로토콜은 진정으로 무의미한 체크포인트를 완전히 제거하는가?
• RQ2 무의미한 체크포인트를 방지하기 위해 모든 더 강력한 FI 프로토콜의 변종이 만족해야 할 조건은 무엇인가?
• RQ3 실제 통신 패턴 하에서 FINE 및 레이지-FINE 프로토콜이 여전히 무의미한 체크포인트를 생성할 수 있는가?
• RQ4 FINE 및 레이지-FINE 프로토콜이 HMNR 및 레이지-FI 프로토콜보다 실제로 효율성 향상을 달성했는가?
• RQ5 HMNR 및 레이지-FI 프로토콜은 여전히 인덱스 기반 통신 유도 체크포인팅 가문에서 가장 효율적인 프로토콜인가?

주요 결과

• FINE 및 레이지-FINE 프로토콜은 원래의 주장과는 달리 무의미한 체크포인트의 존재를 보장하지 못한다.
• 더 강력한 FI 변종에서 무의미한 체크포인트를 제거하기 위한 필수 조건이 형식적으로 규명되고 증명되었다.
• FINE 및 레이지-FINE의 논리 시계 업데이트 전략은 중복 체크포인팅을 방지하지 못한다.
• 증명 과정을 통해 FINE 및 레이지-FINE가 롤백 복구에서 전혀 사용되지 않는 체크포인트를 생성할 수 있음이 입증되었다.
• 결과적으로, HMNR(완전히 정보화된) 및 레이지-FI 프로토콜은 이 가문에서 가장 효율적인 프로토콜로 복귀되었다.
• 논문은 FINE 및 레이지-FINE의 효율성 주장이 잘못되었으며, 따라서 이 분야의 최신 기술 수준이 다시 되돌아가야 한다고 결론을 내린다.