[TIL] Consistency Models for concurrent systems

 

https://jepsen.io/consistency

 

• Strict Serializable vs. Serializable vs. Linearizable

(순서대로 약 → 강)	Serializable	Strict  Serializable	Linearizable
definition	시스템 내의 transaction들이 마치 순차적으로 실행된 것처럼 보이는 data consistency	Serializable + time order → 실제 시간 순서에 따라 Serializable이 되어야 한다. (실시간성 보장)	Strict  Serializable + 모든 연산이 단일 글로벌 순서에 의해 정렬 (단일 시점에서 일어난 것처럼 보이기 위해 single system imgae 제공)
적용 대상	트랜잭션	트랜잭션	모든 연산 (읽기 및 쓰기)
특징	- transactional model - total order of transactions is strong	- transactional model - total order of transactional multi-object operations + real-time linearizable	- the strongest single-object consistency model - 구현이 매우 어려움