Diploma Thesis DIP-1651

BibliographyFriedel, Klaus: Fehlertolerantes Protokoll zur Exactly-Once-Ausführung von Agenten.
University of Stuttgart, Faculty of Computer Science, Diploma Thesis No. 1651 (1998).
122 pages, german.
CR-SchemaC.2.2 (Network Protocols)
C.2.4 (Distributed Systems)
C.4 (Performance of Systems)
D.4.5 (Operating Systems Reliability)
D.4.8 (Operating Systems Performance)
G.3 (Probability and Statistics)
G.m (Mathematics of Computing Miscellaneous)
H.2.4 (Database Management Systems)
KeywordsMobile Agenten; fehlertolerant; exactly-once
Abstract

In den letzten Jahren gewannen Mobile Agenten, als relativ neuer Ansatz im Bereich der Verteilten Systeme, an Beachtung. Mobile Agenten sind autonome mobile Objekte die bestimmte Aufgaben erfüllen. Viele Aufgabengebiete, in denen Mobile Agenten eingesetzt werden können, fordern von einem Agentensystem ein hohes Maß an Fehlertoleranz.

Mobile Agenten können im Bereich Electronic Commerce z.B. dazu eingesetzt werden, Buchungen zu tätigen oder Waren einzukaufen. Werden keine besonderen Vorkehrungen zur Erhöhung der Fehlertoleranz des Agentensystems getroffen, so kann z.B. ein Agent, der mit dem Auftrag einen Flug zu buchen losgeschickt wird, durch einen Knoten- oder Netzwerkausfall einfach verloren gehen. Oder es kann der aus der Sicht des Anwenders vermutlich schlimmere Fall eintreten, daß der Flug doppelt gebucht wird.

In der Abteilung Verteilte Systeme wurden zwei Protokolle, die ein solches Verhalten ausschließen, entwickelt. Ein Prototyp des umfangreicheren Protokolls, im weiteren Exactly- Once-Protokoll genannt, wurde in dieser Arbeit implementiert. Zum Einsatz kamen hierbei hauptsächlich Java/C++ als Programmiersprachen und CORBA-OTS als Transaktionssystem. Mit Hilfe von Messungen wurden dann Leistungsvergleiche zwischen dem Exactly-Once-Protokoll und einem einfachen Protokoll gemacht.

Im zweiten Teil der Arbeit wurde die Fehlertoleranz der beiden Protokolle anhand mathematischer Modelle näher untersucht; insbesondere, wie sich die verschiedenen Protokolle auf die Verfügbarkeit des Systems, und die Verweildauer eines Agenten in einer Stufe auswirkt. Hierzu wurden Markov-Modelle zur Beschreibung des Ausfallverhaltens einzelner Knoten, sowie Modelle des Gesamtsystems, das für die Ausführung des Protokolls zuständig ist, erstellt. Aus diesen Modellen wurden dann mit Hilfe wahrscheinlichkeitstheoretischer Methoden die gewünschten Kenngrößen ermittelt.

Full text and
other links
PostScript (4312524 Bytes)
Access to students' publications restricted to the faculty due to current privacy regulations
Department(s)University of Stuttgart, Institute of Parallel and Distributed High-Performance Systems, Distributed Systems
Entry dateNovember 16, 1998
   Publ. Department   Publ. Institute   Publ. Computer Science