Consistencia de datos

Se dice que un sistema soporta un determinado modelo, si las operaciones en memoria siguen normas específicas.

Para mantener el modelo, los compiladores pueden reordenar algunas instrucciones de memoria, y las llamadas a las bibliotecas como "pthread_mutex_lock()", encapsular la sincronización necesaria.

Las siguientes peticiones de lectura devolverán el mismo resultado siempre que no se haya vuelto a escribir en memoria, independientemente del cliente.

La consistencia secuencial trata de corregir esto para que las operaciones aparenten atomicidad.

Es el modelo de consistencia más fuerte posible en sistemas distribuidos tolerantes a fallos.

Las escrituras respecto a otro procesador se realizan cuando este ha devuelto el nuevo valor escrito.

La consistencia eventual es un modelo de consistencia débil tal que cumple lo siguiente: el sistema garantiza que todos los accesos a zonas de exclusión mútua donde se obtenga un valor, cada acceso obtendrá el mismo valor devuelto mientras no se haya hecho ninguna actualización a este.

[9]​ En otras palabras, una cierta operación deberá ser finalmente visible para todos los sistemas.

Las lecturas se realizan de forma normal, leyendo la memoria local.

Además, este tipo de consistencia no tiene porqué respetar la secuencialidad.

La consistencia se describe como un vector 3-dimensional representando: Con esto se facilita el desarrollo de videojuegos multijugador distribuidos permitiendo una notable mejora en el rendimiento y reduciendo el coste en las comunicaciones inalámbricas.