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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Giebas, D., Wojszczyk, R.: Graphical representations of multithreaded applications. Appl. Comput. Sci. 14(2), 20–37 (2019)
Silberschatz, A., Galvin, P.B., Gagne, G.: Operating System Concepts
Clarke, E., Emerson, A., Sifakis, J.: Model checking: algorithmic verification and debugging. Commun. ACM 52(11), 74–84 (2009)
Greniewski, M.J.: Network software validation. In: 17th KKIO Software Engineering Conference (2016)
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)
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)
Kavi, K.M., Moshtaghi, A., Chen, D.: Modeling multithreaded applications using Petri nets. Int. J. Parallel Program. 30, 353–371 (2002)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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
DOI: https://doi.org/10.1007/978-3-030-23946-6_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-23945-9
Online ISBN: 978-3-030-23946-6
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)