Transaccion

Resumen. Software Transaccional Menor es una técnica de control de concurrencia cada vez más populares, ya que proporciona un alto nivel de concurrencia Control construye y facilita el desarrollo de alta multi-hiloaplicaciones. Sin embargo, esta facilidad se produce a expensas de restringir la operaciones que pueden ser ejecutadas dentro de una transacción de memoria, y las operaciones tal como terminal y el archivo de E / S no son aceptados o incurrir en sanciones graves de rendimiento. Base de datos de E / S es otro ejemplo de operaciones que por lo general no se permiten dentro de una transacción de memoria. Este documento propone combinar la memoria y las transacciones de bases de datos en un solo modelo unificado, beneficiándose de las propiedades ACID de las transacciones de bases de datos de la velocidad de la memoria principal de procesamiento de datos. El nuevo modelo unificado cubre, sin diferenciar, la memoria y la base de datos operaciones. Por lo tanto, los usuarios se les permiten entrelazar libremente memoria y accede a la base de datos dentro de la misma transacción, a sabiendas de que la memoria el contenido de la base de datos siempre permanecerá constante y que la transacción atómicamente abortará o cometen las operaciones tanto en la memoria base de datos. Este enfoque permite aumentar la granularidad del Gemaciones atómicas y, por tanto, simplifica el razonamiento acerca de ellos

1 Introducción Software memoria transaccional (STM) es un enfoque prometedor control de concurrencia la programación multiproceso. Más que un mecanismo de control de concurrencia, se trata de un nuevo modelo de programación que incorpora el concepto de transacciones ellos lenguajes de programación, por medio de nuevas construcciones de lenguaje o como un simple API y una biblioteca de apoyo. Las transacciones son ampliamente conocidos como una técnica que asegurar las propiedades ACID cuatro [1]: Atomicidad (A), consistencia (C), Aislamiento(I) y Durabilidad (D).Operaciones de memoria, con raíces en las transacciones de bases de datos, sólo debe garantizar dos de las propiedades ACID: atomicidad y aislamiento. La consistencia las propiedades de durabilidad puede caerse, como las operaciones de memoria operan en memoria volátil (RAM). La memoria volátil no tiene propiedades de persistencia no tiene una estructura lógica fija, como un sistema de base de datos, sobre el cuales pueden hacer afirmaciones de consistencia. En los últimos años, varios marcos STM se han desarrollado. Más de estos marcos STM tomar la forma de librerías de software que proporcionan una API

Para apoyar el modelo transaccional de la solicitud [2-5]. Esta biblioteca basada enfoque permite la creación rápida de prototipos de algoritmos y su evaluación de desempeño. Algunos marcos STM otros lenguajes de programación existentes, ampliaron construcciones de transacción soportados directamente por el compilador [6-9]. La mayoría de los estos marcos se centran en lenguajes administrados como Java, C #, y Haskell, mientras que otro objetivo no administrado lenguajes como C y C + +.Una desventaja del uso de STM se encuentra en la ejecución de parcialmente y no transaccionales las operaciones dentro de una transacción [10]. Puré transaccionales operaciones se deshacen automáticamente el marco de STM transaccional cuando una transacción se anula, por ejemplo, el cambio de los contenidos de la memoria. Operaciones no transaccionales simplemente no se puede deshacer, por ejemplo, escribir datos en el terminal. Partiallytransactionaloperaciones son reversibles o sea compensable, y se puede desaceren algunos gastos, por ejemplo, las operaciones explícitas de gestión de memoria y de E / S en disco archivos. Algunos marcos STM optar por no permitir la ejecución de parte y no transaccionales dentro de las operaciones de transacciones de memoria [7]. Algunos otros vigor las transacciones de memoria para ejecutar operaciones no transaccionales y parcialmente en la exclusión mutua de todas las otras transacciones en el sistema [9, 11].Otro ejemplo de operaciones parcialmente transaccionales (reversibles) son accesos una base de datos transaccional dentro de una transacción de memoria. Particularmente interesante es el caso en el que la aplicación se decide a cometer la base de datos transacción en una transacción de memoria. Si la transacción tiene memoria después para abortar, sería necesario deshacer la base de datos ya se han comprometido transacción. Este problema ha sido brevemente enunciados en el pasado [12], pero a nuestro mejor conocimiento hasta la fecha ninguna otra obra ha abordado este asunto. Este documento propone una solución al problema anterior mediante la ampliación del transaccional alcance del modelo a fin, sin diferenciar, la memoria y la base de datos operaciones. Por lo tanto, los usuarios se les permite entrelazar libremente memoria y base de datos accesos dentro de la misma transacción, sabiendo que la memoria y la base de datos contenido será siempre consistente y que la transacción sea abortará o comprometer las operaciones en la memoria y la base de datos de forma atómica. El resto del trabajo se organiza de la siguiente manera. La sección 2 define el modelo unificado y sus propiedades. La sección 3 describe la aplicación de la modelo unificada utilizando un marco de STM y al sistema de gestión de base de datos. La sección 4 evalúa el desempeño de nuestra implementación de la unificada modelo y se compara con otros enfoques alternativos y, finalmente, Secta. 5concluye con algunas observaciones finales.2 El Modelo Unificado Trabajar con dos o más modelos transaccionales en la misma aplicación, cada con su propio conjunto de propiedades y garantías, puede llegar a ser insoportable. Este documento propone un modelo transaccional unificado, la fusión de dos actualmente popular Modelos transaccionales: operaciones de memoria y base de datos. Las transacciones en el modelo unificado pueden adjuntar dos clases principales de las operaciones, memoria y las operaciones de base de datos. En la primera clase, dos tipos de operaciones son permitidas, leer y escribir de localizaciones de memoria. En la segunda clase, todos transaccional operaciones a cargo de la base de datos son permitidos. El modelo unificado conserva el conjunto mínimo de propiedades de tanto de los modelos transaccionales unifica-atomicidad y aislamiento, lo que permite-para definir conjuntos de operaciones como operaciones, que actúa sobre la memoria y la base de datos atómica y aislada de otras transacciones concurrentes. El sistema unificado de modelo también hereda la consistencia y durabilidad de las propiedades de la base de datos sistema de gestión, pero estas propiedades sólo se aplican a las operaciones de base de datos. Las propiedades de atomicidad y aislamiento se aplican a cualquier operación válida en el modelo unificado. Esto incluye tanto la memoria y las operaciones de bases de datos transaccionales. Una transacción no verá la memoria intermedia ni la base de datos de estados otras operaciones, y todos los efectos de los causados tanto en la memoria y base de datos seo bien persistir en la confirmación de la transacción o revertirse en caso de una interrupción. El modelo de base de datos transaccional permite que múltiples aplicaciones para acceder a lavase de datos al mismo tiempo y las propiedades ACID siempre se cumple. La transaccional modelo de memoria, sin embargo, sólo se aplica a la memoria compartida entre múltiples flujos de control, hilos típicamente múltiples dentro de una sola aplicación. El sistema unificado de modelo tendrá las propiedades más restrictivas, es decir, realizará las propiedades de AI para una aplicación multiproceso único. Este supuesto puede ser un poco relajado cuando se utiliza un marco distribuida memoria transaccional [13]. En este caso la aplicación rompe la barrera de nodo físico, pero aún tiene que ser una sola aplicación distribuida cuyos componentes múltiples están cooperando con el distribuido marco STM. En otras palabras, el modelo unificado asume exclusiva acceder a la base de datos, es decir, que ninguna otra aplicación está accediendo a la base de datos al mismo tiempo.

...