Skip to main content
SpringerLink
Log in

Ein Kalkul zur Konstruktion Deadlockfreier Systeme

  • Conference paper
GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen

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

  • 34 Accesses

Zusammenfassung

Da das Problem der Deadlockfreiheit in seiner allgemeinen Form nicht lösbar ist, ist die Angabe von nicht allzu schwachen hinreichenden Kriterien zur Vermeidung von Deadlocks besonders wichtig. Dazu kann man einerseits Kriterien angeben, mit deren Hilfe man die Deadlockfreiheit bereits vorhandener Softwaresysteme nachweisen kann. Andererseits kann man aber auch Vorschriften für die schrittweise Erstellung von Systemen angeben, so daß bei Einhaltung dieser Regeln per Definition deadlockfreie Systeme entstehen.

In dieser Arbeit wird ein Kalkül aus zwei Axiomenschemata für primitive deadlockfreie Strukturen und einigen Ableitungsregeln angegeben. Die Ableitbarkeit eines Systems in diesem Kalkül ist hinreichend für die Deadlockfreiheit dieses Systems. Dieses Kalkül stellt ein Werkzeug (tool) zur Konstruktion deadlockfreier Systeme dar.

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. Habermann, A.N.: “Prevention on System Deadlocks”. CACM 11, 7(1969), 373–385

    Google Scholar 

  2. Keller, R.M.: “Formal Verification of Parallel Programs”. CACM 19, 7(1976), 371–384

    MATH  Google Scholar 

  3. Keramidis, S.: „Ein allgemeines formales Modell für Betriebssysteme und dessen Implementierung“. Arbeitsberichte des IMMD, Bd.11, Nr. 13, Erlangen 1977.

    Google Scholar 

  4. Keramidis, S; Grote, W.: „Beitrage zur Lösung des Verklemmungsproblems in prioritätsfreien Betriebsmittelmaschinen und Petri-Netzen“. Arbeitsberichte des IMMD, Bd.12, Nr.9, Erlangen 1979

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Mathematische Maschinen und Datenverarbeitung, Universität Erlangen-Nürnberg, Martensstr.3, 8520, Erlangen, Germany

    S. Keramidis & L. Mackert

Authors
  1. S. Keramidis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. L. Mackert
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität, Olshausenstr. 40-60, D-2300, Kiel 1, Germany

    Gerhard Zimmermann

Rights and permissions

Reprints and permissions

Copyright information

© 1980 Springer-Verlag Berlin · Heidelberg

About this paper

Cite this paper

Keramidis, S., Mackert, L. (1980). Ein Kalkul zur Konstruktion Deadlockfreier Systeme. In: Zimmermann, G. (eds) GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen. Informatik-Fachberichte, vol 27. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67607-9_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-67607-9_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-09952-9

  • Online ISBN: 978-3-642-67607-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation