Skip to main content
Springer Nature Link
Log in

Multithreaded Application Model

  • Conference paper
Distributed Computing and Artificial Intelligence, 16th International Conference, Special Sessions (DCAI 2019)

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

Abstract

The work presents an original model created for the detection of undesirable phenomena occurring in multithreaded applications. This model is characterized by taking time as one of the variables and dividing operations and resources into two separate entities. Based on the created model, the claim regarding the race condition was presented, and a proof confirming this claim was made.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Similar content being viewed by others

References

  1. Giebas, D., Wojszczyk, R.: Graphical representations of multithreaded applications. Appl. Comput. Sci. 14(2), 20–37 (2019)

    Article  Google Scholar 

  2. Silberschatz, A., Galvin, P.B., Gagne, G.: Operating System Concepts

    Google Scholar 

  3. Clarke, E., Emerson, A., Sifakis, J.: Model checking: algorithmic verification and debugging. Commun. ACM 52(11), 74–84 (2009)

    Article  Google Scholar 

  4. Greniewski, M.J.: Network software validation. In: 17th KKIO Software Engineering Conference (2016)

    Google Scholar 

  5. Berger, E.D., Yang, T., Liu, T., Novark, G.: Grace: safe multithreaded programming for C/C++. In: OOPSLA 2009 Proceedings of the 24th ACM SIGPLAN Conference (2009)

    Google Scholar 

  6. Shan, L., Soyeon, P., Eunsoo, S., Yuanyuan, Z.: Learning from mistakes – a comprehensive study on real world concurrency bug characteristics. In: Proceedings of the 13th International Conference on Architectural Support for Programming Language and OS (2008)

    Google Scholar 

  7. Kavi, K.M., Moshtaghi, A., Chen, D.: Modeling multithreaded applications using Petri nets. Int. J. Parallel Program. 30, 353–371 (2002)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Electronics and Computer Science, 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. University of Granada, Granada, Spain

    Enrique Herrera-Viedma

  2. Engineering Institute, Polytechnic of Porto, Porto, Portugal

    Zita Vale

  3. Department of Materials and Production, The Faculty of Engineering and Science, Aalborg University, Aalborg, Denmark

    Peter Nielsen

  4. Department of Applied Mathematics, Faculty of Science, University of Salamanca, Salamanca, Salamanca, Spain

    Angel Martin Del Rey

  5. BISITE Digital Innovation Hub, University of Salamanca, Salamanca, Spain

    Roberto Casado Vara

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Cite this paper

Giebas, D., Wojszczyk, R. (2020). Multithreaded Application Model. In: Herrera-Viedma, E., Vale, Z., Nielsen, P., Martin Del Rey, A., Casado Vara, R. (eds) Distributed Computing and Artificial Intelligence, 16th International Conference, Special Sessions. DCAI 2019. Advances in Intelligent Systems and Computing, vol 1004. Springer, Cham. https://doi.org/10.1007/978-3-030-23946-6_11

Download citation

Publish with us

Policies and ethics