Consistência Estrita : O ultimo valor lido é sempre o ultimo valor escrito.
Consistência Sequencial : Todos os processos de computadores diferentes vêem pela mesma ordem as referencias para a memória. Qualquer ordem é válida e nada é dito sobre o ultimo valor lido.
Consistência Causal : Neste tipo de consistência a causalidade tem de ser garantia. Assim os processos de computadores diferentes têm de ver pela
mesma ordem as escritas que estão causalmente ligadas. As outras escritas podem ver vistas de qualquer forma, não tendo de se manter a ordem de visualização entre computadores diferentes
 |
| Figura 1- Sequência Válida para Consistência Causal |
Relativamente à figura 1, note-se que o processo 3 e 4 vêem por ordem diferente o valor que está no x, o que viola a consistência estrita, mas como W(x)2 e W(x)3 não estão causalmente relacionados logo é garantida a consistência causal.
 |
| Figura 2 - Sequência Inválida para consistência Causal |
Na figura 2 o P3 e P4 vêem por diferentes ordens os valores que foram escritos no x, sendo que as escritas estão causalmente ligadas.
Consistência FIFO : Escritas feitas pelo mesmo processo são vistas pela mesma ordem , por outros processos, escritas feitas por diferentes processos podem ser vistas por ordens diferentes.
 |
Figura 3 - Sequência válida para Consistência FIFO
|
Semânticas de comunicação RPC
