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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Lautenbach, K., Schmid, H.A.: Use of petri nets for proving correctness of concurrent process systems. In: IFIP Congress, pp. 187â191 (1974)
Chandy, K.M., Misra, J., Haas, L.M.: Distributed deadlock detection. ACM Trans. Comput. Syst. (TOCS) 1(2), 144â156 (1983)
Silberschatz, A., Galvin, P.B., Gagne, G.: Operating System Concepts. Wiley, Hoboken (2003)
Von Praun, C., Gross, T.R.: Static detection of atomicity violations in object-oriented programs. J. Object Technol. 3(6), 103â122 (2004)
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
Stroustrup, B.: The C++ Programming Language. 4th edn. (2013)
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)
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
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
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
Ho, A., Smith, S., Hand, S.: On deadlock, livelock, and forward progress (No. UCAM-CL-TR-633). University of Cambridge, Computer Laboratory (2005)
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)
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
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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
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
DOI: https://doi.org/10.1007/978-3-030-53829-3_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-53828-6
Online ISBN: 978-3-030-53829-3
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)