Consistenza forte
Ogni lettore vede subito l'ultima scrittura, qualunque replica interroghi. Richiede coordinamento: è più costosa e può bloccarsi in caso di partizione di rete.
Termine ombrello che comprende la linearizzabilità (singolo oggetto) e la serializzabilità (transazioni su più oggetti). È alla base di Postgres a nodo singolo, Google Spanner (con TrueTime), CockroachDB e FoundationDB. Nel teorema CAP sta dal lato CP: meglio bloccarsi che servire dati incoerenti durante una partizione di rete. Il costo in prestazioni sono i round trip aggiuntivi per il consenso (Raft/Paxos).