Chandy-Lamport에서 Asynchronous Barrier Snapshotting까지

@online{jerry2026chandy,
  author   = {Jerry},
  title    = {{Chandy-Lamport에서 Asynchronous Barrier Snapshotting까지}},
  year     = {2026},
  date     = {2026-10-17},
  url      = {https://jerrylog.dev/ko/blog/chandy-lamport-to-abs},
  language = {korean},
}

Jerry. (2026, October 17). Chandy-Lamport에서 Asynchronous Barrier Snapshotting까지. Jerrylog. https://jerrylog.dev/ko/blog/chandy-lamport-to-abs

스트림 처리 엔진은 장애가 나도 "정확히 한 번" 처리한 것처럼 결과를 복구해야 합니다. 그러려면 계속 흐르는 시스템 전체의 상태를 어느 한 시점에 일관되게 찍어 둘 수 있어야 합니다. 멈추지 않고 돌아가는 분산 시스템에서, 전체 상태를 어떻게 한 장의 사진처럼 찍을 수 있을까요?

일관된 스냅샷 문제

• 각 프로세스가 각자 상태를 저장하면 왜 틀리는가: 송금 예시에서 돈이 사라지거나 두 번 세어지는 경우
• consistent cut의 정의: 받은 메시지는 보낸 기록이 있어야 한다
• 전역 시계를 쓸 수 없는 이유

Chandy-Lamport 알고리즘 (1985)

• 전제: 채널은 FIFO이고 메시지를 잃지 않는다 (Chandy & Lamport, 1985)
• marker 규칙
  • 시작 프로세스는 자기 상태를 기록하고 모든 출력 채널로 marker를 보낸다
  • marker를 처음 받은 프로세스는 자기 상태를 기록하고, 그 채널의 상태를 비어 있음으로 기록한 뒤 marker를 보낸다
  • 이미 기록한 프로세스는 marker가 올 때까지 그 채널로 들어온 메시지를 채널 상태로 기록한다
• 왜 채널 상태까지 기록해야 하는가: 이동 중인(in-flight) 메시지
• 시스템을 멈추지 않는다는 점

스트림 처리로 옮기면 생기는 문제

참고문헌

• Chandy, K. M., & Lamport, L. (1985). Distributed snapshots: Determining global states of distributed systems. ACM Transactions on Computer Systems, 3(1), 63–75. https://doi.org/10.1145/214451.214456