외부 일관성 대 선형성

에서 스패너, TrueTime & 카프 정리는 , 에릭 브루 글 :

스패너에 대한 한 가지 미묘한 점은 잠금에서 직렬화 가능성을 얻지 만 TrueTime에서 외부 일관성 ( 선형성 과 유사 함)을 얻는다는 점입니다 [ 중점 추가 ].

외부 일관성 의 정의는 무엇이며 선형화 와 어떻게 다릅니 까?

외부 일관성은 고정 된 의미가 없습니다. 이와 관련하여 문서의 다음 문장에서 의미가 나타납니다.

두 건의 거래에서 $T_1$ 과 $T_2$ (지구 반대편에 있더라도) : if $T_2$ 후에 커밋 시작 $T_1$ 커밋 완료 후 타임 스탬프 $T_2$ 타임 스탬프보다 큼 $T_1$.

트랜잭션 (Tx) 격리 및 주문 관점의 외부 일관성에 대해 생각할 수 있습니다. Tx 격리에서 외부 일관성은 엄격한 직렬화 격리와 동일합니다. 여기서 'strict'는 실시간 제약 조건 부분입니다 (선형화 가능성과 동일).

다시 말해서 시스템 클라이언트에게 관찰 가능한 Tx 부작용은 모든 Tx가 동시성없이 격리되어 있으며 클라이언트가 보는 실시간 순서가 유지되는 시스템과 동등하다는 것을 의미합니다. 더 중요한 것은 이와 동일한 순서는 다른 관련없는 고객이 볼 수 있다는 것입니다.

이 블로그 의 차이점에 대해 자세히 알아보십시오 .