Thomas Write Rule ? Serializability

Replica 1

T1: read x=0 (TS=0)

T1: X=1, TS=1

Primary

Initially x=0,TS=0

Send (X=1, TS=1)

Replica 2

T1: read x=0 (TS=0)

T2: X=2, TS=2

Replicas end in the same state, but neither T1 nor T2 reads the other’s output, so the execution isn’t serializable.