safety-and-liveness

안전성은 시스템이 잘못된 합의에 도달하지 않음을 보장하고, 활성은 시스템이 결국에는 합의에 도달하여 멈추지 않음을 보장하는 분산 시스템의 핵심 속성이다.