modelos avanzados de bases de datos base de datos distribuidas

Base de Datos Distribuidas
Control de concurrencia
Todos los mecanismos de control de concurrencia deben asegurar la consistencia de los
objetos y cada transacción atómica será completada en un tiempo finito.
Un método de control de concurrencia es correcto si es serializable, es decir existe una
secuencia equivalente en que las operaciones de cada transacción aparecen antes o después de
otra transacción pero no entremezcladas. Una ejecución serial de transacciones es siempre
correcta.
Se debe sincronizar las transacciones concurrentes de los usuarios, extendiendo los
argumentos para la serializabilidad y los algoritmos de control de concurrencia para la ejecución
en ambientes distribuidos.
La finalidad del control de concurrencia es asegurar la consistencia de los datos al
ejecutar transacciones, y que cada acción atómica sea completada en un tiempo finito.
Uno de los problemas de concurrencia específicos de las bases de datos distribuidas es la
consistencia de copia múltiple (se produce cuando un mismo dato esta en varias
localizaciones). Además se siguen dando los mismos problemas para bases de datos
centralizadas (pérdida de actualizaciones, dependencia neutral (uncommitted dependency) y
análisis inconsistentes).
Serialización distribuida
Si cada planificador de ejecución local es serializable y las órdenes locales serializadas
son idénticas (es decir, respetan el orden de secuencia), entonces el planificador global es
serializable.
Hay dos soluciones para el control de concurrencia en un ambiente distribuido:
• El bloqueo (lock) garantiza la ejecución concurrente. En este caso hay que tener
cuidado de que no se produzcan interbloqueos.
• Las marcas de tiempo garantizan la ejecución concurrente según el orden fijado en
las marcas de tiempo. Este asegura la serialización global. Si solo hay una copia de
cada dato entre todos los nodos, se pueden usar mecanismos de control de
concurrencia para sistemas centralizados, aunque con modificaciones.
16