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.
|