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

...