Consistência sequencial
Modelo de consistência em que todas as operações parecem ocorrer numa única ordem global, e cada processo mantém a ordem do próprio programa — mas essa ordem não precisa coincidir com a do tempo real. Mais fraca que a linearizabilidade.
Definição (Lamport, 1979): o resultado é como se as operações de todos os processos tivessem sido executadas em alguma ordem sequencial, na qual as operações de cada processo aparecem na ordem em que foram emitidas. A diferença para a linearizabilidade: a consistência sequencial NÃO exige que a ordem respeite o tempo real — uma operação que de fato aconteceu depois pode ser colocada antes, desde que a ordem interna de cada processo seja preservada. Isso a torna mais fácil e barata de implementar, porém menos intuitiva (um leitor pode ver dado "velho" mesmo depois de a escrita já ter ocorrido globalmente). Central em modelos de memória de CPUs multicore e camadas distribuídas. Fica entre a linearizabilidade (a mais forte) e a consistência causal (mais fraca).