Skip to main content
SpringerLink
Log in

Festlegung des Ortes und Umfangs von Rücksetzpunkten in Prozeβ-Systemen bei der Übersetzung und Berücksichtigung der Programm-Redundanz zur Ausnahmebehandlung

  • Conference paper
Architektur und Betrieb von Rechensystemen

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 78))

Zusammenfassung

Orte und Umfang von Rücksetzpunkten in kooperierende Prozesse umfassenden Programmen bei der Übersetzung automatisch festzulegen, wird motiviert. Die Verfahren zur Rücksetzpunkterstellung werden klassifiziert. Die den Domino-Effekt ohne zentrale Instanz vermeidende und nur höchstens einen Rücksetzpunkt pro Prozeβ erzeugende Klasse erscheint besonders geeignet. Als Beispiel wird ein Algorithmus zur Festlegung von Rücksetzpunkten in über Rendezvous kooperierenden Prozeβ-Systemen entwickelt.

Die zur Software-Fehlertoleranz in einem Anwendungs-Programm enthaltene Redundanz in der Form von Ausnahmebehandlern zur Vorwärts-Fehlerbehebung kann genutzt werden, urn die Zuverlässigkeit der Ausführung des Anwendungs-Programms zu erhöhen. Dazu werden am Beispiel der Programmiersprache ADATM Möglichkeiten diskutiert, durch Rücksetzen des Anwendungs-Programms nicht behandelbare Grundsystem-Fehler an das Anwendungs-Programm weiterzugeben. Die Heitergabe an den Ausnahmebehandler für OTHERS eines in ADA geschriebenen Anwendungs-Programms erscheint angebracht. Aufwand und Nutzen der entwickelten Verfahren werden bewertet. Die Weitergabe von durch Rücksetzen des Anwendungs-Programms nicht behandelbaren Grundsystem-Fehlern an die zur Software-Fehlertoleranz vorhandene Vorwärts-Fehlerbehebung des Anwendungs-Programms verbessert die Zuverlässigkeit der Ausführung des Anwendungs-Programms deutlich, ohne den Ausführungs-Aufwand nennenswert zu erhöhen. Die Weitergabe ist besonders bei Anwendungs-Systemen ohne sicheren Ausfallzustand sinnvoll.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. T. Anderson, P. A. Lee: Fault Tolerance - Principles and Practice; Prentice Hall, Englewood Cliffs, New Jersey, 1981

    Google Scholar 

  2. Algirdas Avizienis: Fault-Tolerance in Computer Systems; Infotech State of the Art Report: Systems Reliability and Integrity, 1978, Seite 39 bis 67

    Google Scholar 

  3. G. Barigazzi, L. Strigini: Application-Transparent Setting of Recovery Points; FTCS 13th Annual International Symposium Fault-Tolerant Computing, June 1983, Seite 48 bis 55

    Google Scholar 

  4. M. Broy, R. Gnatz, M. Wirsing: Nichtdeterminismus; Informatik-Spektrum Band 4, Heft 2, April 1981, Seite 125 bis 126

    Google Scholar 

  5. Flaviu Cristian: Exception Handling and Software Fault Tolerance; IEEE Transactions on Computers, Volume C-31, Number 6, June 1982, Seite 531 bis 540

    Article  Google Scholar 

  6. P. Dadam, G. Schlageter: Recovery in Distributed Databases Based on Non-synchronized Local Checkpoints; Universität Dortmund, Abteilung Informatik, Forschungsbericht Nr. 92, 1979

    Google Scholar 

  7. Edsger W. Dijkstra: Guarded Commands, Nondeterminacy and Formal Derivation of Programs; CACM Vol. 18, Nu. 8, August 1975, Seite 453 bis 457

    MathSciNet  MATH  Google Scholar 

  8. DIN 66253 Teil 2, Informationsverarbeitung, Programmiersprache PEARL, Full PEARL; Oktober 1982

    Google Scholar 

  9. Jerome A. Feldman: High Level Programming for Distributed Computing; CACM Vol. 22, Nu. 6, June 1979, Seite 353 bis 368

    MATH  Google Scholar 

  10. Jim Gray, Paul McJones, Mike Blasgen, Bruce Lindsay, Raymond Lorie, Tom Price, Franco Putzolu, Irving Traiger: The Recovery Manager of the System R Database Manager; Computing Surveys, Vol. 13, No. 2, June 1981, Seite 223 bis 242

    Article  Google Scholar 

  11. Gerhard Goos, Peter Denker: Modula-K; Institut für Informatik II, Universität Karlsruhe, 23.4.1983

    Google Scholar 

  12. Hermann Härtig, Andreas Pfitzmann, Leo Treff: Task State Transitions in Ada; Ada LETTERS, A Bimonthly Publication of AdaTEC, the SIGPLAN Technical Committee on Ada, Volume I, Number 1, July, August 1981, Seite 31 bis 42 und Volume II, Number 1, July, August 1982, Seite 6 und 7

    Google Scholar 

  13. Wolfgang Hinderer: Rekonfiguration und Wiederanlauf in fehlertoleranten Systemen; FhG-Berichte 2–80, Mitteilungen aus dem Fraunhofer-Institut für Informations- und Datenverarbeitung IITB, 1980, Seite 41 bis 45

    Google Scholar 

  14. Wolfgang Hinderer: Treatment of recovery problems using cuts in Occurrence Nets; Informatik-Fachberichte Band 52, Springer Verlag, Berlin, Heidelberg, New York, 1982, Seite 234 bis 239

    Google Scholar 

  15. Ellis Horowitz: Fundamentals of Programming Languages; Springer-Verlag Heidelberg, 1983

    Google Scholar 

  16. Walter H. Kohler: A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems; Computing Surveys, Vol. 13, No. 2, June 1981, Seite 149 bis 183

    Article  MathSciNet  Google Scholar 

  17. Butler W. Lampson, David D. Redell: Experience with Processes and Monitors in Mesa; CACM Vol. 23, Nu. 2, February 1980, Seite 105 bis 117

    Google Scholar 

  18. P. A. Lee: Exception Handling in C Programs; Software-Practice and Experience Vol. 13, No. 5, May 1983, Seite 389 bis 405

    Article  MATH  Google Scholar 

  19. Yann-Hang Lee, Kang G. Shin: Rollback propagation detection and performance evaluation of FTMR2M, a fault-tolerant multiprocessor; Computer Architecture News, Vol. 10, Number 3, April 1982, Seite 171 bis 180

    Article  MathSciNet  Google Scholar 

  20. Barbara Liskov, Robert Scheifler: Guardians and Actions: Linguistic Support for Robust, Distributed Programs; acm Transactions on Programming Languages and Systems TOPLAS Vol. 5, Nu. 3, July 1983, Seite 381 bis 404

    Article  MATH  Google Scholar 

  21. Barbara H. Liskov, Alan Snyder: Exception Handling in CLU; IEEE Transactions on Software Engineering, Vol. SE-5, No. 6, November 1979, Seite 546 bis 558

    Article  Google Scholar 

  22. M. Donald MacLaren: Exception handling in PL/1; SIGPLAN Notices Vol. 12, No. 3, March 1977, Seite 101 bis 104

    Article  Google Scholar 

  23. P. M. Merlin, B. Randell: State Restoration in Distributed Systems; Proceedings of Fault Tolerant Computing Symposium 8, France, 1978, Seite 129 bis 134

    Google Scholar 

  24. Manfred Patz: Zustandssicherung- und Wiederanlaufverfahren für verteilte Netzbetriebssysteme mit dynamischer Redundanz; Dissertation an der Fakultät für Elektrotechnik der TU München, 1981

    Google Scholar 

  25. Andreas Pfitzmann: Konfigurierung und Modellierung von Mehrmikrorechnern aus urn Zuverlassigkeitsanforderungen erweiterten ADA-Programmen; Interner Bericht Nr. 8/82, Institut für Informatik IV, Fakultät für Informatik, Universität, Karlsruhe, Februar 1982

    Google Scholar 

  26. Reference Manual for the Ada Programming Language; ANSI/MIL-STD-1815A -1983, February 17, 1983

    Google Scholar 

  27. Jakob Schauer: Vereinfachung von Prozeβ-Systemen durch Sequentialisierung; Institut für Informatik II, Universität Karlsruhe, Postfach 6380, D-7500 Karlsruhe, Bericht 30/82, 1982

    Google Scholar 

  28. Kunitoshi Tsuruoka, Asao Kaneko, Yoshiyuki Nishihara: Dynamik Recovery Schemes For Distributed Processes; Proc. IEEE Symposium on Reliability in Distributed Software and Database Systems; Pittsburg, PA, July 1981, Seite 124 bis 130

    Google Scholar 

  29. William Weihl, Barbara Liskov: Specification and Implementation of Resilient, Atomic Data Types; SIGPLAN Notices Vol. 18, Nu. 6, June 1983, Proceedings of the SIGPLAN ’83 Symposium on Programming Language Issues in Software Systems, San Francisco, California, Seite 53 bis 64

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik IV, Universität Karlsruhe, D 7500, Karlsruhe, Postfach 6380, Deutschland

    Andreas Pfitzmann

Authors
  1. Andreas Pfitzmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik III, Universität Karlsruhe, Zirkel 2, 7500, Karlsruhe 1, Deutschland

    H. Wettstein

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pfitzmann, A. (1984). Festlegung des Ortes und Umfangs von Rücksetzpunkten in Prozeβ-Systemen bei der Übersetzung und Berücksichtigung der Programm-Redundanz zur Ausnahmebehandlung. In: Wettstein, H. (eds) Architektur und Betrieb von Rechensystemen. Informatik-Fachberichte, vol 78. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69394-6_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-69394-6_26

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-12913-4

  • Online ISBN: 978-3-642-69394-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation