Modelo de consistencia

Un modelo de consistencia  es un enfoque utilizado en un sistema distribuido ( memoria compartida distribuida , DBMS , sistema de archivos ) para garantizar las garantías de consistencia de los datos .

Principales modelos de consistencia:

• consistencia estricta _ _  _
• consistencia secuencial _ _  _
• consistencia causal _ _  _
• Consistencia PRAM _ _  _
• consistencia del procesador _ _  _
• consistencia débil _ _  _
• consistencia al final
• liberación de consistencia _ _  _
• consistencia de entrada _ _  _

El problema de la linealización del programa juega un papel especial para el modelo de consistencia , en el que, en lugar de operaciones de lectura y escritura, se consideran operaciones en objetos (por ejemplo, funciones, procedimientos), y el estado de la memoria en este modelo es el estado de los objetos. Los programas linealizables se utilizan para sistemas con una organización de objetos de memoria compartida . A diferencia de todos los demás sistemas, tales programas no pueden usar directamente variables compartidas (el estado de los objetos), sino solo a través de métodos de funciones especiales (operaciones). Para estos sistemas, la linearizabilidad coincide con la consistencia estricta.

Literatura

• Kshemkalyani, AD y Singhal, M. Computación distribuida: principios, algoritmos y sistemas. - Prensa de la Universidad de Cambridge, 2011. - ISBN 9781139470315 .

Enlaces

• Kryukov V. A. Curso de conferencias "Sistemas operativos distribuidos" 6. Memoria compartida distribuida