Algoritmos para la detección del interbloqueo en bases de datos distribuidas

• Autores: Alberto Córdoba Izaguirre
• Directores de la Tesis: José Ramón Garitagoitia Padrones (dir. tes.)
• Lectura: En la Universidad del País Vasco - Euskal Herriko Unibertsitatea ( España ) en 1991
• Idioma: español
• Tribunal Calificador de la Tesis: Isidro Ramos Salavert (presid.) , Josu Aramberri Miranda (secret.) , Antonio Vaquero Sánchez (voc.) , Fernando Orejas Valdés (voc.) , José Manuel Tarela Pereiro (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

  • EL INTERBLOQUEO DE PROCESOS EN SISTEMAS DISTRIBUIDOS ES UN TEMA DE GRAN ACTUALIDAD, DEBIDO, SOBRE TODO, AL GRAN DESARROLLO E INCREMENTO DE ESTE TIPO DE SISTEMAS INFORMATICOS, POR OTRA PARTE, ES PRECISAMENTE EN ESTE TIPO DE APLICACIONES, DEBIDO A SU CARACTERISTICA DE TENER LA INFORMACION DISTRIBUIDA, DONDE EL PROBLEMA DEL INTERBLOQUEO ES ESPECIALMENTE COMPLICADO, HASTA EL PUNTO DE QUE ENFOQUES COMO LA PREVENCION O LA EXCLUSION, TIPICOS EN SISTEMAS CONCENTRADOS, NO PUEDEN SER ABORDADOS AQUI.

    ESTE TRABAJO PRESENTA APORTACIONES EN DOS LINEAS DIFERENTES:

    -CONSTITUYE UN "TUTORIAL" ACTUALIZADO EN UN TEMA SOBRE EL QUE NO EXISTEN MONOGRAFIAS PUBLICADAS.

    -PRESENTA DOS ALGORITMOS DE DETECCION, UNO PARA EL MODELO "UNICO RECURSO" Y OTRO PARA EL MODELO "AND", CON COSTOS DE EJECUCION INFERIORES A LOS DE OTROS AUTORES. A PESAR DE NO EXISTIR HERRAMIENTAS FORMALES DESARROLLADAS PARA ESTE TEMA, PRESENTA UN INTENTO DE FORMALIZACION PARA LA COMPROBACION DE SU FUNCIONAMIENTO.