Deadlockbehandlung in verteilten Systemen

Die Behandlung von Deadlocks in verteilten Systemen ist ein seit langem intensiv untersuchtes Problem, für das sich viele der in der Literatur vorgeschlagenen Algorithmen im nachhinein als fehlerhaft erwiesen haben. Als einen Grund für diese Situation hat man unangemessene Modellbildung und fehlende Verifikationswerkzeuge erkannt. Daher versuchen wir in diesem Projekt, auf der Basis der sogenannten OR-Modells für verteilte Deadlocks Erkennungsalgorithmen zu entwickeln und diese mit Lynchschen I/O-Automaten zu verifizieren.

Beteiligte Wissenschaftler:

Prof. Dr. G. Vossen, Prof. Dr. J. R. Gonzales de Mendivil (Dpt. Automatica y Computacion der Universidad Publica de Navarra, Pamplona, Spanien), Dipl.-Ing. J. Villadangos (Dpt. Automatica y Computacion der Universidad Publica de Navarra, Pamplona, Spanien)

Veröffentlichungen:

Villadangos, J., F. Farina, A. Amatriain, G. Vossen, J.R. Gonzales de Mendivil: Performance Study of a Distributed Deadlock Resolution Algorithm for Replicated Object-Oriented Databases, Proc. 16th IASTED International Conference Applied Informatics 1998, Garmisch-Partenkirchen, 158 -161