Skip to main content
SpringerLink
Log in

Rules in Detection of Deadlocks in Multithreaded Applications

  • Conference paper
  • First Online:
Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference (DCAI 2020)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 1242))

  • 610 Accesses

Abstract

This study presents an original approach to the detection of deadlocks in multithreaded applications. The solution proposed takes into consideration the order of introducing and removing locks in the programme code, which was used in three exemplary applications. The solution proposed constitutes a continuation of research into a model of multithreaded applications.

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 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

References

  1. Lautenbach, K., Schmid, H.A.: Use of petri nets for proving correctness of concurrent process systems. In: IFIP Congress, pp. 187–191 (1974)

    Google Scholar 

  2. Chandy, K.M., Misra, J., Haas, L.M.: Distributed deadlock detection. ACM Trans. Comput. Syst. (TOCS) 1(2), 144–156 (1983)

    Article  Google Scholar 

  3. Silberschatz, A., Galvin, P.B., Gagne, G.: Operating System Concepts. Wiley, Hoboken (2003)

    MATH  Google Scholar 

  4. Von Praun, C., Gross, T.R.: Static detection of atomicity violations in object-oriented programs. J. Object Technol. 3(6), 103–122 (2004)

    Article  Google Scholar 

  5. Jin, G., Song, L., Zhang, W., Lu, S., Liblit, B.: Automated atomicity-violation fixing. In: ACM SIGPLAN Notices, vol. 46, no. 6, pp. 389–400. ACM, June 2011

    Google Scholar 

  6. Stroustrup, B.: The C++ Programming Language. 4th edn. (2013)

    Google Scholar 

  7. Giebas, D., Wojszczyk, R.: Multithreaded application model. In: 16th International Conference on Distributed Computing and Artificial Intelligence, Special Sessions. DCAI 2019. Advances in Intelligent Systems and Computing, vol. 1004. Springer (2020)

    Google Scholar 

  8. Park, S., Lu, S., Zhou, Y.: CTrigger: exposing atomicity violation bugs from their hiding places. In: ACM SIGARCH Computer Architecture News, vol. 37, no. 1, pp. 25–36. ACM, March 2009

    Google Scholar 

  9. Liu, P., Zhang, C.: Axis: automatically fixing atomicity violations through solving control constraints. In: 2012 34th International Conference on Software Engineering (ICSE), pp. 299–309. IEEE, June 2012

    Google Scholar 

  10. Park, S., Vuduc, R., Harrold, M.J.: A unified approach for localizing non-deadlock concurrency bugs. In 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pp. 51–60. IEEE, April 2012

    Google Scholar 

  11. Ho, A., Smith, S., Hand, S.: On deadlock, livelock, and forward progress (No. UCAM-CL-TR-633). University of Cambridge, Computer Laboratory (2005)

    Google Scholar 

  12. Shih, C.S., Stankovic, J.A.: Survey of deadlock detection in distributed concurrent programming environments and its application to real-time systems and Ada. University of Massachusetts, Technical report UM-CS-1990-069 (1990)

    Google Scholar 

  13. Wang, Y., Liao, H., Reveliotis, S., Kelly, T., Mahlke, S., Lafortune, S.: Gadara nets: modeling and analyzing lock allocation for deadlock avoidance in multithreaded software. In: Proceedings of the 48h IEEE Conference on Decision and Control (CDC) and 2009 28th Chinese Control Conference, pp. 4971–4976. IEEE, December 2009

    Google Scholar 

  14. Wojszczyk, R., Khadzhynov, W.: The process of verifying the implementation of design patterns—used data models. In: Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part I. Advances in Intelligent Systems and Computing, vol. 521. Springer (2017)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Koszalin University of Technology, Koszalin, Poland

    Damian Giebas & Rafał Wojszczyk

Authors
  1. Damian Giebas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rafał Wojszczyk
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Rafał Wojszczyk .

Editor information

Editors and Affiliations

  1. IoT European Digital Innovation Hub, Bioinformatics Intelligent Systems and Educational Technology Research Group, Department of Computer Science, Faculty of Science, University of Salamanca, Salamanca, Spain

    Sara Rodríguez González

  2. GRASIA Research Group, Facultad de Informática, Universidad Complutense de Madrid, Madrid, Spain

    Alfonso González-Briones

  3. Faculty of Mechanical Engineering, Department of Production Computerisation and Robotisation, Lublin University of Technology, Lublin, Poland

    Arkadiusz Gola

  4. Cerca Trova Ltd, Sofia, Bulgaria

    George Katranas

  5. Department of Biology, Ecology and Earth Science, University of Calabria, Arcavacata di Rende, Cosenza, Italy

    Michela Ricca

  6. Bulgarian Academy of Sciences, Institute of Mathematics and Informatics, Sofia, Bulgaria

    Roussanka Loukanova

  7. Bulgarian Academy of Sciences, Institute of Mathematics and Informatics, Salamanca, Spain

    Javier Prieto

Rights and permissions

Reprints and permissions

Copyright information

© 2021 The Editor(s) (if applicable) and 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

Giebas, D., Wojszczyk, R. (2021). Rules in Detection of Deadlocks in Multithreaded Applications. In: Rodríguez González, S., et al. Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference. DCAI 2020. Advances in Intelligent Systems and Computing, vol 1242. Springer, Cham. https://doi.org/10.1007/978-3-030-53829-3_2

Download citation

Publish with us

Policies and ethics

Search

Navigation