• DocumentCode
    3321787
  • Title

    Resolving distributed deadlocks in the OR request model

  • Author

    Villadangos, J. ; Farina, F. ; Gonzalez de Mendivil, J.R. ; Garitagoitia, J.R. ; Bernabeu-Aubán, J. ; Vossen, G.

  • Author_Institution
    Univ. Publica de Navarra, Pamplona, Spain
  • fYear
    1999
  • fDate
    1999
  • Firstpage
    288
  • Lastpage
    289
  • Abstract
    In this work a new distributed deadlock resolution algorithm for the OR model is proposed. The algorithm verifies the correctness criteria: safety-false deadlocks are not resolved; and liveness-deadlocks are resolved in finite time
  • Keywords
    concurrency control; software fault tolerance; system recovery; OR request model; correctness criteria verification; distributed deadlock resolution algorithm; false deadlocks; liveness; safety; Detection algorithms; Proposals; Safety; System performance; System recovery;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Reliable Distributed Systems, 1999. Proceedings of the 18th IEEE Symposium on
  • Conference_Location
    Lausanne
  • ISSN
    1060-9857
  • Print_ISBN
    0-7695-0290-3
  • Type

    conf

  • DOI
    10.1109/RELDIS.1999.805104
  • Filename
    805104
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3321787