SpringerLink
Log in

Deadlock Detection in OpenPEARL

  • Conference paper
  • First Online:
Real-time and Autonomous Systems 2022 (Real-Time 2022)

Part of the book series: Lecture Notes in Networks and Systems ((LNNS,volume 674))

Included in the following conference series:

  • 143 Accesses

Abstract

OpenPEARL is an open source build system for PEARL, a DIN-standard programming language designed for building multitasking and real-time applications. In the target domain of PEARL applications, error-free synchronization of multiple processes is of particular importance. Among other things, deadlocks pose a great risk, as they usually occur irregularly and cause the system to crash. The following describes a concept that can detect deadlocks that may occur and those that have already occurred through various approaches. It is integrated with OpenPEARL and is designed to help application developers identify, understand, and troubleshoot process synchronization errors.

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

Access this chapter

Log in via an institution
Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now
Chapter
USD 29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 149.00
Price excludes VAT (Canada)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 199.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    DIN 66253:2018-03.

References

  1. Bruns, M.: Entwurf von Steuerungen für komplexe Transportsysteme, Rheinisch-Westfälische Technische Hochschule Aachen (1983)

    Google Scholar 

  2. Coffman, E., Elphick, M., Shoshani, A.: System deadlocks. ACM Comput. Surv. 3, 67–78 (1971)

    Article  MATH  Google Scholar 

  3. Cormen, T., Leiserson, C., Rivest, R., Stein, C.: Algorithmen - Eine Einführung, Oldenbourg (2010)

    Google Scholar 

  4. Tanenbaum, A.: Moderne Betriebssysteme. Pearson Deutschland GmbH (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Hochschule Furtwangen University, 79761, Waldshut-Tiengen, Germany

    Jan Knoblauch

Authors
  1. Jan Knoblauch
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jan Knoblauch .

Editor information

Editors and Affiliations

  1. Lehrgebiet Kommunikationsnetze, FernUniversität in Hagen, Hagen, Germany

    Herwig Unger

  2. Lehrgebiet Kommunikationsnetze, FernUniversität in Hagen, Hagen, Germany

    Marcel Schaible

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Knoblauch, J. (2023). Deadlock Detection in OpenPEARL. In: Unger, H., Schaible, M. (eds) Real-time and Autonomous Systems 2022. Real-Time 2022. Lecture Notes in Networks and Systems, vol 674. Springer, Cham. https://doi.org/10.1007/978-3-031-32700-1_2

Download citation

Publish with us

Policies and ethics

Search

Navigation