Graphical representations of multithreaded applications

• Autorzy: Giebas Damian , Wojszczyk Rafał

Identyfikatory

DOI

10.23743/acs-2018-10

• Języki publikacji: EN

Abstrakty

EN

This article contains a brief description of existing graphical methods for presenting multithreaded applications, i.e. Control Flow Graph and Petri nets. These methods will be discussed, and then a way to represent multithreaded applications using the concurrent process system model will be presented. All these methods will be used to present the idea of a multithreaded application that includes the race condition phenomenon. In the summary, all three methods will be compared and subjected to the evaluation, which will depend on whether the given representation will allow to find the mentioned phenomenon.

Słowa kluczowe

EN

graphical representation; Petri nets; Control Flow Graph; Concurrent Process Systems; multithreaded applications

PL

reprezentacja graficzna; sieci Petriego; wykres przepływu sterowania; współbieżne systemy procesów; aplikacja wielowątkowa

• Wydawca: Polskie Towarzystwo Promocji Wiedzy ; Lublin University of Technology
• Czasopismo: Applied Computer Science
• Rocznik: 2018
• Tom: Vol. 14, no 2
• Strony: 20--37
• Opis fizyczny: Bibliogr. 17 poz., fig.

Twórcy

autor

Giebas Damian

• Faculty of Electronics and Computer Science, Koszalin University of Technology, 75-453 Koszalin, Śniadeckich 2, Poland

autor

Wojszczyk Rafał

• Faculty of Electronics and Computer Science, Koszalin University of Technology, 75-453 Koszalin, Śniadeckich 2, Poland

Bibliografia

• [1] A Brief History of Cilk. (n.d.). Retrieved September 16, 2017, from https://www.cilkplus.org/cilk-history
• [2] Aiken, A. (October 28, 2017). Charm++. Retrieved from https://web.stanford.edu/class/cs315b/ lectures/lecture11.pdf
• [3] Allen, F. E. (1970). Control Flow Analisys. Retrieved July 5, 2017, from http://sumanj.info/secure _sw_devel/p1-allen.pdf
• [4] Banaszak, Z., Majdzik, P., & Wójcik, R. (2008). Procesy współbieżne. Modele efektywności funkcjonowania. Koszalin: Wydawnictwo Uczelniane Politechniki Koszalińskiej.
• [5] Bocewicz, G. (2013). Modele multimodalnych procesów cyklicznych. Koszalin: Wydawnictwo Uczelniane Politechniki Koszalińskiej.
• [6] Bocewicz, G., Wójcik, R., & Banaszak, Z. (2006). Harmonogramowane pracy wózków samojezdnych w warunkach ograniczonego dostępu do współdzielonych zasobów ESW (Model logiczno-algebraiczny). In Postępy robotyki: Systemy i współdziałanie robotów. Warszawa: WKiŁ.
• [7] Bull, J. M., Reid, F., & McDonnell, N. (2012). A Microbenchmark Suite for OpenMP Tasks. In: B. M. Chapman, F. Massaioli, M.S. Müller, M. Rorro (Eds), OpenMP in a Heterogeneous World. IWOMP 2012. Lecture Notes in Computer Science (271–274). Berlin, Heidelberg: Springer.
• [8] Engler, D., & Ashcraft, K. (2003). RacerX: effective, static detection of race conditions and deadlocks. ACM SIGOPS Operating Systems Review, 37(5), 237–252. doi:10.1145/1165389.945468
• [9] Hinnant, H. E., Dawes, B., Crowl, L., Garland, J., & Williams, A. (June 24, 2007). Multi-threading Library for Standard C++. Retrieved from http://www.open-std.org/jtc1/sc22/wg21/docs/ papers/2007/n2320.html
• [10] Intel Threading Building Blocks Documentation. (n.d.). Retrieved September 16, 2017, from https://software.intel.com/en-us/tbb-documentation
• [11] Introduction to Charm++ Concepts (n.d.). Retrieved September 16, 2017, from http://charmplusplus.org/tutorial/CharmConcepts.html
• [12] ISO/IEC. (2003). Information technology - Portable Operating System Interface (POSIX) – Part 1: Base Definitions (9945-1:2003).
• [13] Lu, S., Park, S., Seo, E., & Zhou, Y. (2008). Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-XIII) (pp. 329–339). New York: ACM.
• [14] Peterson, J. L. (1977). Petrie Nets. ACM Computing Surveys (CSUR), 9(3), 223-252.
• [15] Silberschatz, A., Galvin, P. B., & Gagne, G. (2005). Operating System Concepts. USA: John Wiley & Sons
• [16] Torp, K. (November 19, 2001). Multithreading. Retrieved from http://people.cs.aau.dk/~torp/ Teaching/E02/OOP/handouts/multithreading.pdf
• [17] Voung, J. W., Jhala, R., & Lerner, S. (2007). RELAY: static race detection on millions of lines of code. In Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering (pp. 205–214). New York: ACM.

Uwagi

Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2018).