Serializabilidad global

(Redirigido desde Serializabilidad modular)
Ir a: navegación, búsqueda de

En control de concurrencia de bases de datos, procesamiento de transacciones (Administración de transacciones) y otras transacciones aplicaciones distribuidas, Serializabilidad global (o Serializabilidad modular) es una propiedad de un Horario mundial de transacciones. Una agenda global es el unificado horario de todas la base de datos individual (y otros objeto transaccional) horarios (por ejemplo, en un entorno multidatabase base de datos federada). Conformándose con serializabilidad global significa que es la agenda global serializable, tiene la serializabilidad propiedad, mientras que cada base de datos de componentes (módulo) tiene un horario serializable así. En otras palabras, una colección de componentes serializables proporciona serializabilidad de sistema general, que es generalmente incorrecto. La necesidad de corrección a través de bases de datos en sistemas de multidatabase hace serializabilidad global una meta importante para control de concurrencia global (o control de concurrencia modular). Con la proliferación de la Internet, Computación en la nube, La informatización en redy pequeño, portátil, potente dispositivos informáticos (por ejemplo, smartphones), así como aumentar en sistemas de gestión sofisticación, la necesidad de transacciones distribuidas atómicas y así efectiva global serializabilidad técnicas, para asegurar la corrección en y entre las aplicaciones transaccionales distribuidas, parece aumentar.

En un sistema de bases de datos federadas o cualquier otro más libremente definición sistema multidatabase, que normalmente se encuentran distribuidas en una red de comunicación, las transacciones abarcan múltiples (y posiblemente distribuido) bases de datos. Cumplimiento global serializabilidad en tal sistema, donde diferentes bases de datos pueden emplear distintos tipos de control de concurrencia, es problemático. Incluso si todos los horarios locales de una sola base de datos es serializable, la agenda global de todo un sistema no es necesariamente serializable. Los intercambios de comunicación masiva de conflicto información necesaria entre bases de datos para alcanzar serializabilidad conflicto a nivel mundial conduciría a rendimiento inaceptable, debido principalmente a la informática y las comunicaciones latencia. Lograr efectivamente serializabilidad global sobre diferentes tipos de control de concurrencia ha sido abrir desde hace varios años. Compromiso ordenando (o cometer ordenar; CO), una técnica serializabilidad públicamente introducida en 1991 por Yoav Raz De Digital Equipment Corporation (DEC), proporciona una solución general eficaz para (globalconflicto) serializabilidad a través de cualquier colección de sistemas de base de datos y otros objetos transaccionales, con mecanismos de control de concurrencia posiblemente diferentes. CO no necesita la distribución de la información del conflicto, sino más bien utiliza la ya necesaria (sin modificar) compromiso atómico mensajes de protocolo sin más comunicación entre bases de datos. También permite optimista implementaciones (sin bloqueo). CO generaliza Fuerte dos estrictas de la fase de bloqueo (SS2PL), que en conjunto con el Ejecución en dos fases Protocolo (2PC) es el estándar de facto para lograr serializabilidad global a través de sistemas de base de datos (base SS2PL). Como resultado CO compatible con base de datos de sistemas (con cualquier, tipos de control de concurrencia diferentes) transparente puede unirse a SS2PL basado en las soluciones existentes para serializabilidad global. Lo mismo se aplica también a todos otros múltiples sistemas (transaccional) objeto que utilizan transacciones atómicas y la necesitan global serializabilidad corrección (véanse los ejemplos arriba; hoy en día tal necesidad no es menor que con los sistemas de bases de datos, el origen de las transacciones atómicas).

Los aspectos más significativos de CO que lo convierten en una solución general excepcionalmente efectiva para serializabilidad global son los siguientes:

  1. Transparente, de baja arriba integración con cualquier mecanismo de control de concurrencia, con ni cambiar la operación de cualquier transacción programación bloqueando, ni agregar cualquier nueva operación.
  2. Heterogeneidad:: Serializabilidad global se logra a través de múltiples objetos transaccionales (por ejemplo, sistemas de gestión de base de datos) con diferentes (cualquier tipo) concurrencia control de mecanismos, sin interferir con las operaciones de los mecanismos.
  3. Modularidad:: Objetos transaccionales pueden ser añadidos y quitados de forma transparente.
  4. Autonomía de los objetos transaccionales: sin necesidad de conflicto o equivalente por distribución de la información (por ejemplo, relaciones de precedencia local, cerraduras, timestamps o entradas; no objeto necesita información de otro objeto).
  5. Escalabilidad:: Con las transacciones globales "normales", red informática tamaño y número de objetos transaccionales pueden aumentar ilimitadamente sin impacto en el rendimiento, y
  6. Resolución automática de deadlocks global.

Todos estos aspectos, excepto los dos primeros, también están poseídos por el popular SS2PL, que es un (restringido, bloqueo) caso especial de CO y hereda muchas cualidades de CO.

Contenido

  • 1 El problema global serializabilidad
    • 1.1 Declaración del problema
    • 1.2 Citas
    • 1.3 Soluciones propuestas
    • 1.4 Perspectiva de la tecnología
  • 2 El compromiso de ordenar la solución
  • 3 Relajante serializabilidad global
  • 4 Referencias

El problema global serializabilidad

Declaración del problema

Traducen las dificultades descritas en el siguiente problema:

Encontrar una manera eficiente (alto rendimiento y tolerancia a fallos) método para hacer cumplir Serializabilidad global (serializabilidad conflicto global) en un entorno distribuido heterogéneo de múltiples sistemas de base de datos autónoma. Los sistemas de base de datos pueden emplear diferentes control de concurrencia métodos. Ninguna limitación debe imponerse sobre las operaciones o transacciones locales (confinado a un sistema de base de datos única) o transacciones globales (abarcan dos o más sistemas de base de datos).

Citas

Falta de una solución apropiada para el problema global serializabilidad tiene investigadores conducidos a buscar alternativas para serializabilidad como criterio de corrección en un ambiente multidatabase (por ejemplo, véase Relajante serializabilidad global a continuación), y el problema se ha caracterizado como difícil y abrir. Las dos citas siguientes demuestran la mentalidad respecto a finales del año 1991, con citas similares en numerosos otros artículos:

  • "Sin conocimiento sobre transacciones tanto locales como globales, es muy improbable que puede proporcionar control de concurrencia global eficiente... Las complicaciones adicionales ocurren cuando componente diferentes DBMSs [sistemas de gestión de base de datos] y los FDBMSs [sistemas de gestión de bases de datos federadas] apoyaran mecanismos de concurrencia diferentes... Es poco probable que una solución teóricamente elegante que proporciona conflicto serializabilidad sin sacrificar el rendimiento (es decir, tiempo de concurrencia o respuesta) y disponibilidad de existe".[1]

Compromiso ordenando,[2][3] presentó públicamente en puede 1991 (véase abajo), proporciona un eficiente elegante solución general, de ambas prácticas[4][5] y teórica[6] puntos de vista, el problema serializabilidad global a través de sistemas de base de datos con los mecanismos de control de concurrencia posiblemente diferentes. Proporciona serializabilidad conflicto con ningún efecto negativo en la disponibilidad y no un rendimiento peor que el estándar de facto para global serializabilidad, caso especial de CO Fuerte estricto bloqueo de dos fases (SS2PL). Se requiere conocimiento acerca de las transacciones locales ni globales.

  • "Gestión de transacciones en un sistema de base de datos heterogéneos y distribuidos es un tema difícil. El principal problema es que cada uno de los sistemas de gestión de base de datos local puede estar utilizando otro tipo de esquema de control de concurrencia. Esta integración es un problema desafiante, empeorado si queremos preservar la autonomía local de cada una de las bases de datos locales y permitir las transacciones locales y globales ejecutar en paralelo. Es una solución simple para restringir las transacciones globales sólo recuperar acceso. Sin embargo, es el tema de la gestión de transacciones confiables en el caso general, donde las transacciones globales y locales se les permite leer y escribir datos, sigue abierto."[7]

El compromiso de ordenar la solución consta de una integración efectiva de sistemas de gestión de base de datos autónoma con mecanismos de control de concurrencia posiblemente diferentes. Mientras las transacciones locales y globales ejecutar en paralelo sin restringir cualquier lectura u operación de escritura en transacciones locales o globales y sin comprometer la autonomía de los sistemas.

Incluso en años posteriores, después de la introducción pública del compromiso de ordenar la solución general en 1991, el problema todavía ha sido considerado por muchos irresoluble:

  • "Presentamos un modelo de transacción para los sistemas multidatabase con sistemas de componentes autónomos, acuñados heterogéneos nivel 3 transacciones. Resulta evidente que en un sistema completo de garantizar los requisitos ÁCIDO propiedades y autonomía plena local no pueden ser reconciliados..."[8]

La cita anterior es de un artículo de 1997 propone una solución relajado serializabilidad global (véase Relajante serializabilidad global a continuación) y hace referencia a Compromiso ordenando Artículos (CO). La solución de CO apoya efectivamente ambos completo ÁCIDO propiedades y autonomía local completa, así como cumplir los demás requisitos planteados anteriormente en el Declaración del problema la sección y al parecer ha sido malinterpretado.

Pensamiento similar que también vemos en la siguiente cita de un artículo de 1998:

  • "El concepto de serializabilidad ha sido el criterio de corrección aceptados tradicionalmente en los sistemas de base de datos. Sin embargo en los sistemas de multidatabase (MDBSs), asegurando serializabilidad global es una tarea difícil. La dificultad se presenta debido a la heterogeneidad de los protocolos de control de simultaneidad utilizado por los sistemas de gestión de base de datos local participantes (DBMS) y el deseo de preservar la autonomía de las bases de datos locales. En general, soluciones al problema global serializabilidad resultan en ejecuciones con un bajo grado de simultaneidad. La serializabilidad alternativo, relajado, puede resultar en la inconsistencia de los datos".[9]

También el citado artículo propone una solución relajado serializabilidad global, mientras que hace referencia a la labor de CO. La solución de CO para global serializabilidad ambos puentes entre diferente concurrencia controlar protocolos sin reducción considerable concurrencia (y normalmente menor, si en todos) y mantiene la autonomía del local DBMSs. evidentemente también aquí CO ha sido malentendida. Este malentendido continúa 2010 en un libro de texto por algunos de los mismos autores, donde el mismo relajado técnica serializabilidad global, Dos niveles serializabilidad, se destacó y describe en detalle, y CO no se menciona en absoluto.[10]

Por otro lado, la siguiente cita en CO aparece en un libro de 2009:[11]

  • "No todos algoritmos de control de concurrencia usan bloqueos... Tres otras técnicas son timestamp ordenando, serialización gráfica pruebas y pedir confirmación. Timestamp pedidos asigna a cada transacción un timestamp y asegura que ejecutan operaciones conflictivas en orden de fecha y hora. Serialización gráfica prueba pistas de los conflictos y asegura que el gráfico de serialización es acíclico. Cometer pedidos asegura que las operaciones conflictivas son coherentes con el orden relativo en que cometen sus transacciones, que puede permitir la interoperabilidad de los sistemas que utilizan mecanismos de control de concurrencia diferentes".
Comentario:
  1. Más allá el algoritmo basado en cierre común SS2PL, que es una variante de CO sí mismo, también variantes adicionales de CO que usan bloqueos existen, (véase abajo). Sin embargo, CO genérica, o "pura" no utiliza bloqueos.
  2. Desde CO mecanismos orden los acontecimientos se comprometen según los conflictos que han ocurrido ya, es mejor describir CO como"Cometer pedidos asegura que el orden relativo en que las transacciones se comprometen es consistente con la orden de sus respectivas operaciones contradictorias."

Las características y propiedades de la solución de CO se examinan a continuación.

Soluciones propuestas

Varias soluciones, algunos parciales, se han propuesto para el problema global serializabilidad. Entre ellos:

  • Global gráfico de conflicto (véase el gráfico serializabilidad, gráfico de precedencia) comprobación
  • Distribuido Dos fases de bloqueo (2PL distribuidos)
  • Distribuido Timestamp pedidos
  • Entradas (timestamps lógica local que definir órdenes locales totales y se propagan para determinar el orden parcial global de las transacciones)
  • Compromiso ordenando

Perspectiva de la tecnología

El problema de la serializabilidad global ha sido un tema muy intensamente investigado en la década de 1980 y principios de los noventa. Compromiso ordenando (CO) ha proporcionado una eficaz solución general al problema, perspicacia y entendimiento acerca de posibles generalizaciones de dos fuertes estricto bloqueo de fase (SS2PL), que ha sido utilizada casi exclusivamente y prácticamente (conjuntamente con el Protocolo de dos fases (2PC)) desde la década de 1980 para lograr serializabilidad global a través de bases de datos. Un lado-beneficio importante de CO es el automático estancamiento global resolución que proporciona (esto es aplicable también a SS2PL distribuido; aunque los interbloqueos globales han sido un tema de investigación importante para SS2PL, resolución automática ha sido pasada por alto, excepto en los artículos CO, hasta hoy (2009)). En ese momento existían muchos tipos de sistemas de base de datos comercial, muchos no relacionales, y bases de datos eran relativamente muy pequeños. Sistemas de base de datos multi eran considerados una clave para la escalabilidad de la base de datos por la interoperabilidad de los sistemas de base de datos, y serializabilidad global era urgentemente necesario. Desde entonces el tremendo progreso en computación de energía, almacenamiento y redes de comunicación, dio lugar a órdenes de magnitud aumentos en tanto de centralizados bases de datos tamaños, tipos de transacción y acceso remoto a las capacidades de base de datos, así como desdibujando los límites entre centralizan de computación y distribución por redes locales rápidas, baja latencia (por ejemplo, InfiniBand). Éstos, junto con progresos en soluciones distribuidas de los vendedores de bases de datos (principalmente la SS2PL popular con 2PC base, un estándar de facto permite la interoperabilidad entre (base SS2PL) bases de datos distintos proveedores; tanto SS2PL como 2PC tecnologías han adquirido considerable experiencia y eficiencia), flujo de trabajo sistemas de gestión, y replicación de bases de datos tecnología, en la mayoría de los casos han proporcionado satisfactoria y a veces mejor tecnología de la información soluciones sin multi base de datos atómico transacciones distribuidas sobre las bases de datos con control de concurrencia diferentes (evitando el problema anterior). Como resultado, el sentido de urgencia que existía el problema en ese período y en general con alto rendimiento había distribuido transacciones atómicas sobre bases de datos con tipos de control de concurrencia diferentes, se ha reducido. Sin embargo, existe la necesidad de que las transacciones atómicas distribuidas concurrentes como elemento fundamental de la confiabilidad en los sistemas distribuidos también más allá de los sistemas de bases de datos y la necesidad en global serializabilidad como criterio fundamental de la corrección de tales sistemas transaccionales (véase también Serializabilidad distribuido en Serializabilidad). Con la proliferación de la Internet, Computación en la nube, La informatización en red, pequeño, portátil, potente dispositivos informáticos (por ejemplo, smartphones) y sofisticado sistemas de gestión la necesidad de técnicas serializabilidad global eficaz asegurar la corrección en y entre las aplicaciones transaccionales distribuidas parece aumentar, y así también la necesidad de compromiso de pedidos (incluyendo los populares para el caso especial de bases de datos SS2PL; SS2PL, sin embargo, no cumple con los requisitos de otros muchos objetos transaccionales).

El compromiso de ordenar la solución

Artículo principal: Compromiso ordenando
Artículo principal: La historia de compromiso ordenar

Compromiso ordenando[2][3] (o cometer ordenar; CO) es la única de alto rendimiento, tolerancia a fallos, serializabilidad conflicto solución que se ha propuesto como una completamente distribuida (ningún componente informático central o estructura de datos son necesarios), mecanismo general que se puede combinar perfectamente con cualquier local (a una base de datos) control de concurrencia mecanismo (véase Resumen técnico). Puesto que la propiedad CO de un calendario es una condición necesaria para serializabilidad global de bases de datos autónomas (en el contexto del control de concurrencia), proporciona la solución general sólo para bases de datos autónomas (es decir, si las bases de datos autónomas no cumplen CO, entonces serializabilidad global puede ser violado). Aparentemente por pura suerte, la solución de CO posee muchas características atractivas:

  1. no interferir con la operación de cualquier transacción, particularmente ninguno de los dos bloques, restringir ni retrasar cualquier operación de acceso a datos (lectura o escritura) para cualquier local o global las transacciones (y por lo tanto no causa ningún extras interrupciones); Así permite una perfecta integración con cualquier mecanismo de control de concurrencia.
  2. permite optimista las implementaciones)sin bloqueoes decir, el acceso a datos sin bloqueo).
  3. permite heterogeneidad:: Serializabilidad global se logra a través de múltiples objetos transaccionales con diferentes (cualquier tipo) concurrencia control de mecanismos, sin interferir con las operaciones de los mecanismos.
  4. permite modularidad:: Objetos transaccionales pueden ser añadidos y quitados de forma transparente.
  5. permite completo ÁCIDO soporte de la transacción.
  6. mantiene cada base de datos autonomíay no necesita cualquier distribución de información de control de concurrencia (por ejemplo, relaciones de precedencia local, cerraduras, timestamps o entradas).
  7. No necesita ningún conocimiento acerca de las transacciones.
  8. No requiere ninguna sobrecarga de comunicación, ya que sólo utiliza ya necesaria, sin modificar compromiso atómico mensajes de protocolo (cualquier tal protocolo; usando tolerancia a fallos protocolos de compromiso atómico y base de datos los sistemas hace el CO solución tolerante).
  9. resuelve automáticamente global interbloqueos debido a bloqueo.
  10. escala con eficacia red informática tamaño y número de bases de datos, casi sin ningún impacto negativo en el rendimiento, ya que cada transacción global normalmente se limita a determinados números relativamente pequeños de bases de datos y nodos de la red.
  11. No requiere ninguna operación de acceso de transacción adicional, artificial (por ejemplo, "tomar fecha y hora"o" entradas "), que suelen ocasionar conflictos artificiales adicionales que reducen la concurrencia.
  12. requiere baja sobrecarga.

El único gastos incurridos por la solución de CO es localmente detectar conflictos (que ya está hecho por ningún mecanismo conocido serializabilidad, optimista y pesimista) y ordenando localmente en cada sistema de base de datos tanto el se compromete (local) de las transacciones locales y la votación para la Comisión atómica de transacciones globales. Tales gastos son baja. El efecto neto de CO puede ser algunos retrasos de cometer hechos (pero nunca más retraso que SS2PL y en promedio menos). Esto hace CO instrumental para control de concurrencia global de sistemas de multidatabase (por ejemplo, sistemas de bases de datos federadas). El subyacente Teoría de compromiso ordenar,[6] parte de Serializabilidad teoría, es tanto sonido y elegante (e incluso "matemáticamente bello"; refiriéndose a la estructura y dinámica de los conflictos, los ciclos de gráfico y bloqueos), con interesantes implicaciones para transaccional aplicaciones distribuidas.

Todas las cualidades del CO en la lista anterior, excepto los tres primeros, son también poseídas por SS2PL, que es un caso especial de CO, pero bloqueo y restricción. Esto explica parcialmente la popularidad de SS2PL como una solución (prácticamente, la única solución, durante muchos años) para lograr serializabilidad global. Sin embargo, propiedad 9 arriba, resolución automática de interbloqueos globales, no se ha notado para SS2PL en la literatura de investigación de base de datos hasta hoy (2009; excepto en las publicaciones de CO). Esto, desde el fenómeno de la votación-interbloqueos en estos entornos y su resolución automática por el compromiso atómico protocolo ha sido pasado por alto.

Mayoría de sistemas de bases de datos existentes, incluyendo todos los sistemas de bases de datos comerciales importantes, son fase de fuertes dos estrictos bloqueo (SS2PL) base y ya CO obediente. Por lo tanto pueden participar en un CO basado en solución para serializabilidad global en entornos multidatabase sin ninguna modificación (a excepción de los populares multiversióndonde deben considerarse aspectos adicionales de CO). Lograr serializabilidad global a través de SS2PL basado en bases de datos mediante compromiso atómico (principalmente usando -Two phase commit, 2PC) se ha empleado durante muchos años (es decir, utilizando la misma solución CO caso especial específico; sin embargo, ninguna referencia se conoce antes de CO, eso avisos resulotion automática de deadlocks global de este caso especial por el protocolo compromiso atómico aumentada-conflicto-graph ciclo global del proceso de eliminación). Transacción distribuida existente prácticamente todos los entornos de procesamiento y productos de apoyo dependen de SS2PL y proporcionar 2PC. Como cuestión de hecho SS2PL junto con 2PC se han convertido en un estándar de facto. Esta solución es un control de concurrencia homogénea uno, subóptima (cuando ambos serializabilidad y Rigor son necesarios; ver Compromiso estricto orden; SCO) pero aún así muy eficaces para la mayoría de los casos, a veces a costa de aumentar la potencia informática relativamente necesarios para el óptimo. (Sin embargo para un mejor rendimiento serializabilidad relajado se utiliza cuando las aplicaciones permiten). Permite operación Inter entre tipos de sistemas de diferentes bases de datos compatibles con SS2PL, es decir, permite la heterogeneidad en los aspectos distintos de control de concurrencia. SS2PL es una propiedad muy restricción de horario y "asume" cuando se combina con cualquier otra propiedad. Por ejemplo, cuando se combina con cualquiera propiedad optimista, el resultado no es optimista, pero bastante característico SS2PL. Por otro lado, CO no cambia los patrones de programación de acceso a datos, y cualquier las características combinadas de propiedad permanecen inalteradas. Puesto que también CO utiliza compromiso atómico (por ejemplo, 2PC) para lograr serializabilidad global, como SS2PL, compatible con cualquier CO sistema de base de datos o el objeto transaccional puede transparentemente Únete SS2PL basado en los entornos existentes, utilice 2PC y mantener serializabilidad global sin ningún cambio de ambiente. Esto hace CO una generalización directa, natural de SS2PL para cualquier sistema de base de datos de conflicto serializabilidad basado, para todos los propósitos prácticos.

Compromiso pedido ha sido muy ampliamente conocido dentro de la procesamiento de transacciones y bases de datos comunidades en Digital Equipment Corporation (DEC) desde 1990. Ha estado bajo confidencialidad de la empresa debido a patentar[4] [5] procesos. CO fue divulgada fuera DEC por conferencias y distribución de informes técnicos a investigaciones de base de datos en mayo de 1991, inmediatamente después de su primera solicitud de patente. Ha sido malinterpretado por muchos años los investigadores de base de datos después de su introducción, que es evidente por las cotizaciones por encima de los artículos en 1997-1998 compromiso hace referencia a los artículos pedidos. Por otro lado CO ha sido utilizado ampliamente como una solución para serializabilidad global en trabajos en Procesos transaccionales, [12] [13] y más recientemente en los correspondientes Re: GRIDiT, [14] [15] que es un enfoque de gestión de transacciones en la convergencia La informatización en red y Computación en la nube. Ver más en La historia de compromiso ordenar.

Relajante serializabilidad global

Algunas técnicas han sido desarrolladas para relajado serializabilidad global (es decir, no garantizan serializabilidad global; vea también Serializabilidad relajante). Entre ellos (con varias publicaciones):

  • Serializabilidad cuasi[16]
  • Dos niveles serializabilidad[9]

Mientras relajado (a un sistema de base de datos) local y métodos serializabilidad comprometer serializabilidad ganancia de rendimiento (y se utilizan solamente cuando la aplicación puede tolerar posibles inexactitudes resultantes, o su integridad está ilesa), no está claro que varias propusieron relajado serializabilidad global métodos que comprometen serializabilidad global, proporcionar cualquier ganancia de rendimiento sobre compromiso ordenando ¿Qué garantías serializabilidad global. Por lo general, la intención declarada de tales métodos no ha sido ganancia de rendimiento sobre serializabilidad globales eficaces métodos (que al parecer han sido desconocidos por los inventores), pero bastante corrección criterios alternativas debido a la falta de un método conocido serializabilidad global efectiva. Curiosamente, algunas de ellas fueron introducidos años después había introducido CO, y algunos incluso citan CO sin darse cuenta que ofrece una solución eficaz serializabilidad global y por lo tanto sin proporcionar ninguna comparación del desempeño con CO para justificarlos como alternativas a serializabilidad global para algunas aplicaciones (por ejemplo, Dos niveles serializabilidad[9]). Dos niveles serializabilidad incluso se presenta como un método de control de concurrencia global importante en una edición de un libro de texto sobre bases de datos 2010[10] (autor de dos de los autores originales de serializabilidad dos niveles, donde uno de ellos, AVI Silberschatz, es también autor de la original Fuerte capacidad de recuperación artículos). Este libro ni menciona CO ni referencia y curiosamente, al parecer no considera CO válido Serializabilidad global solución.

Otra razón común hoy en día para la relajación Global serializabilidad es el requisito de disponibilidad de de Internet productos y servicios. Este requisito es típicamente datos responden a gran escala replicación. La solución sencilla para la sincronización de las actualizaciones de las réplicas de un mismo objeto de base de datos está incluyendo todas estas actualizaciones en un solo atómico transacciones distribuidas. Sin embargo, con muchas réplicas tan una transacción es muy grande y puede abarcar varias ordenadores y redes que algunos de ellos suelen ser de carácter. Por lo tanto tal una transacción es probable que terminan con abortar y perder su propósito.[17] Por lo tanto Replicación optimista (Replicación perezosa) es utilizada a menudo (por ejemplo, en muchos productos y servicios por Google, Amazonas, Yahooe igualmente), mientras que Global serializabilidad es relajado y comprometido para Consistencia eventual. En este caso relajación se realiza sólo para aplicaciones que no esperan a ser perjudicados por él.

Clases de horarios definidos por relajado serializabilidad global propiedades contienen la clase serializabilidad global o son incomparables con él. Lo que diferencia las técnicas para serializabilidad relajado conflicto global Propiedades (RGCSR) de los serializabilidad conflicto relajado Propiedades (RCSR) que no son RGCSR es típicamente la forma diferente ciclo global (abarcan dos o más bases de datos) en el gráfico de conflicto global se manejan. No entre los ciclos globales y locales existe una distinción para las propiedades RCSR que no son RGCSR. RCSR contiene RGCSR. Típicamente las técnicas RGCSR eliminan ciclos locales, es decir, proporcionar serializabilidad local (que se puede alcanzar con eficacia por regular, conocido control de concurrencia métodos), sin embargo, obviamente no eliminan todos los ciclos (que lograrían serializabilidad global).

Referencias

  1. ^ Amit Sheth, James Larson (1990): "FED-sistemas de base de datos para la gestión de bases de datos distribuidas, heterogéneas y autónomas", ACM Computing Surveys, Vol. 22, No 3, pp. 183-236, septiembre de 1990 (cita de la página 227)
  2. ^ a b Yoav Raz (1992): "El principio de compromiso ordenando, o garantizar serializabilidad en un entorno heterogéneo de múltiples administradores de recursos autónomos mediante compromiso atómica", In: de la XVIII Conferencia int. sobre Bases de datos muy grandes (VLDB), págs. 292-312, Vancouver, Canadá, agosto de 1992. (también 841 DEC-TR, Digital Equipment CorporationDe noviembre de 1990)
  3. ^ a b Yoav Raz (1994): "Serializabilidad compromiso ordenando", Letras de procesamiento de información, Volumen 51, número 5, págs. 257-264, septiembre de 1994. (Recibido agosto de 1991)
  4. ^ a b Yoav Raz (1990): Sobre el significado del compromiso ordenando -Convocatoria de patentamiento, memorándum, Digital Equipment Corporation, De noviembre de 1990.
  5. ^ a b Yoav Raz: Patentes 5.504.899 5.504.900 5.701.480
  6. ^ a b Yoav Raz (2009): Teoría de compromiso ordenar - Resumen GoogleSites - sitio de Yoav Raz. Obtenido 01 de febrero de 2011.
  7. ^ Abraham Silberschatz, Michael Stonebraker, y Jeffrey Ullman (1991): "Sistemas de bases de datos: logros y oportunidades", Communications of the ACM, Vol. 34, no. 10, págs. 110-120, octubre de 1991 (cita de la página 120)
  8. ^ Peter Muth (1997): "Gerencia de transacción específica aplicación en sistemas Multidatabase", Bases de datos distribuidos y paralelos, Volumen 5, número 4, pp. 357-403, octubre de 1997, ISSN: 0926-8782 (cita de Resumen del artículo)
  9. ^ a b c Sharad Mehrotra, Rajeev Rastogi, Henry Korth, Abraham Silberschatz (1998): "Garantizar la coherencia en Multidatabases por preservar serializabilidad dos niveles", ACM Transactions on Database Systems (TODS), Vol. 23, Nº 2, págs. 199-230, junio de 1998 (cita de Resumen del artículo)
  10. ^ a b AVI Silberschatz, Henry F Korth, S. Sudarshan (2010): Conceptos de sistemas de bases de datos, 6ª edición, McGraw-Hill, ISBN 0-07-295886-3
  11. ^ Philip A. Bernstein, Eric Newcomer (2009): Principios de procesamiento de transacciones, 2ª edición, Morgan Kaufmann (Elsevier), junio de 2009 ISBN 978-1-55860-623-4 (cita de la página 145)
  12. ^ Heiko Schuldt, Hans-Jörg Tschiang y Gustavo Alonso (1999): "Agentes de coordinación transaccional para sistemas compuestos", En Actas de la 3ª base de datos internacional de ingeniería y aplicaciones Simposio (IDEAS 99), IEEE Computer Society Press, Montrteal, Canadá, págs. 321-331.
  13. ^ Klaus Haller, Heiko Schuldt, puede Türker (2005): "Descentralizado coordinación de procesos transaccionales en ambientes peer-to-peer", Proceedings of the 2005 ACM CIKM, Conferencia Internacional sobre gestión del conocimiento y la información, págs. 28-35, Bremen, Alemania, 31 de octubre - 05 de noviembre de 2005, ISBN 1-59593-140-6
  14. ^ Laura Cristiana Voicu, Heiko Schuldt, Fuat Akal, Yuri Breitbart, Hans Jörg Schek (2009): "Re: GRIDiT – coordinación distribuida actualización transacciones de datos replicados en la red", 10ª Conferencia Internacional IEEE/ACM en Grid Computing (Grid de 2009), Banff, Canadá, 2009/10.
  15. ^ Laura Cristiana Voicu y Heiko Schuldt (2009): "Cómo replicar la gestión de datos en la nube pueden beneficiarse de un protocolo de red de datos — el enfoque Re: GRIDiT", Actas de la i jornadas internacionales de gestión de datos de nube (CloudDB 2009), Hong Kong, China, 2009/11.
  16. ^ Weimin Du y Ahmed K. Elmagarmid (1989): "Cuasi serializabilidad: un criterio de corrección para Control de concurrencia Global en InterBase", Actas de la XV Conferencia Internacional sobre Bases de datos muy grandes (VLDB), 22 – 25 de agosto de 1989, Ámsterdam, Países Bajos, págs. 347-355, Morgan Kaufmann, ISBN 1-55860-101-5
  17. ^ Gray, J.; Helland, P.; O ' Neil, p.; Shasha, D. (1996). "Los peligros de replicación y una solución". "Procedimientos del 1996 ACM SIGMOD Conferencia Internacional sobre gestión de datos". págs. 173-182. Doi:10.1145/233269.233330.

Otras Páginas

Obtenido de"https://en.copro.org/w/index.php?title=Global_serializability&oldid=552636158"