Sincronizacion de accesos a recursos compartidos: especificacion y uso

• Autores: Pablo Boronat Pérez
• Directores de la Tesis: Vicente Cholvi Juan (dir. tes.)
• Lectura: En la Universitat Jaume I ( España ) en 2001
• Idioma: español
• Número de páginas: 116
• Tribunal Calificador de la Tesis: José Manuel Bernabéu Aubán (presid.), Jesús Villadangos Alonso (secret.), José Ramón Garitagoitia Padrones (voc.), Sergio Arévalo Viñuales (voc.), Angel Alvarez Rodriguez (voc.)
• Materias:
  • Ciencias tecnológicas
    • Tecnología de los ordenadores
• Texto completo no disponible (Saber más ...)
• Resumen

  • Esta tesis se divide en dos partes:

    La primera se engloba en lo que se conoce como memoria compartida distribuida.

    En ella se propone un modelo de memoria sincronizado al que se ha llamado "Trace". La particularidad de Trace es que en este sistema se puede configurar dependencias entre diferentes secciones criticas.

    En la segunda parte, se aborda el problema de la prevención de interbloqueos en el ambito de secciones criticas para el control de acceso a recursos compartidos. En esta parte se formaliza las condiciones que debe reunir un programa para que pueda sufrir interbloqueos y se proponen algoritmos de transformación automatica que proporcionan versiones correctas.