PRUEBAS DE VALIDACIN OPTIMISTAS

El protocolo mas reciente propuesta es el denominado optimista (OPT) el cual acenta la pertenencia general del sistema reduciendo el bloqueo proveniente de aquellas transacciones que estn preparadas para terminar pero que aun no lo hicieron. Los mecanismos optimistas para el control de concurrencia fueron propuestos originalmente con el uso de estampas de tiempo. Sin embargo, en este tipo de mecanismos, no con los datos ms aun as con las estampas de tiempo no se asignan al inicio de una transaccin sino justamente al inicio de su fase de validacin. Esto se debe a que las estampas se requieren nicamente durante la fase de validacin. Los algoritmos optimistas, retrasan la fase de validacin justo antes de la fase de escritura. De esta manera, una operacin sometida a un despachador optimista nunca es retrasada. Las operaciones de lectura, cmputo y escrita de cada transaccin se procesan libremente sin actualizar la base de datos corriente. Cada transaccin inicialmente hace sus cambios en copias locales de los datos. La fase de validacin consiste en verificar si esas actualizaciones conservan la consistencia de la base de datos. Si la respuesta es positiva, los cambios se hacen globales. De otra manera, la transaccin es abortada y tiene que reiniciar. Los mecanismos optimistas para control de concurrencia fueron propuestos originalmente con el uso de estampas de tiempo. Sin embargo, en este tipo de mecanismos las estampas de tiempo se asocian nicamente con las transacciones, no con los datos.

Algoritmos optimistas

No realiza ninguna verificacin durante la ejecucin. Los cambios se realizan sobre copias locales. Al final de la ejecucin existe una fase de validacin que comprueba que cualquiera de las actualizaciones violaba la seriabilidad.