Serializability vs LinearizabilityLinearizability — 단일 객체 연산 순서Serializability — 트랜잭션(여러 연산) 순서Spanner는 둘 다 보장(strict serializability).