분산 시스템의 함정을 피하는 법: Invariants 중심의 신뢰할 수 있는 아키텍처 설계