GRAPHICAL REPRESENTATIONS OF MULTITHREADED APPLICATIONS

Damian GIEBAS; Rafał WOJSZCZYK

doi:10.23743/acs-2018-10

Open full text

pdf

Published: Jun 30, 2018

DOI: https://doi.org/10.23743/acs-2018-10

Issue Vol. 14 No. 2 (2018)

Articles

AN EFFECTIVE METAHEURISTIC FOR TOURIST TRIP PLANNING IN PUBLIC TRANSPORT NETWORKS
Krzysztof OSTROWSKI

5-19
GRAPHICAL REPRESENTATIONS OF MULTITHREADED APPLICATIONS
Damian GIEBAS, Rafał WOJSZCZYK

20-37
INTERMITTENT DEMAND FORECASTING USING DATA MINING TECHNIQUES
Gamze Ogcu KAYA, Ali TURKYILMAZ

38-47
NEURAL CONTROLLER FOR THE SELECTION OF RECYCLED COMPONENTS IN POLYMER-GYPSY MORTARS
Grzegorz KŁOSOWSKI, Tomasz KLEPKA, Agnieszka NOWACKA

48-59
POSSIBILITIES OF RENOVATION FUNCTIONAL SURFACES OF EQUIPMENTS IN THE MECHANICAL ENGINEERING INDUSTRY
Janette BREZINOVÁ, Ján VIŇÁŠ, Dagmar DRAGANOVSKÁ, Anna GUZANOVÁ, Jakub BREZINA

60-68
THE INFLUENCE OF THE INJECTION TIMING ON THE PERFORMANCE OF TWO-STROKE OPPOSED-PISTON DIESEL ENGINE
Paweł KARPIŃSKI

69-81
HIGH SPEED MILLING IN THIN-WALLED AIRCRAFT STRUCTURES
Paweł BAŁON, Edward REJMAN, Robert SMUSZ, Janusz SZOSTAK, Bartłomiej KIEŁBASA

82-95
IDENTIFICATION OF THE MASS INERTIA MOMENT IN AN ELECTROMECHANICAL SYSTEM BASED ON WAVELET–NEURAL METHOD
Marcin TOMCZYK, Barbara BOROWIK, Bohdan BOROWIK

96-111

DOI

https://doi.org/10.23743/acs-2018-10

Authors

Damian GIEBAS

damian.giebas@gmail.com

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

Rafał WOJSZCZYK

rafal.wojszczyk@tu.koszalin.pl

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

Abstract

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.

Keywords:

graphical representations, Petri nets, Control Flow Graph, Concurrent Process Systems, multithreaded applications

References

A Brief History of Cilk. (n.d.). Retrieved September 16, 2017, from https://www.cilkplus.org/cilkhistory

Aiken, A. (October 28, 2017). Charm++. Retrieved from https://web.stanford.edu/class/cs315b/lectures/lecture11.pdf

Allen, F. E. (1970). Control Flow Analisys. Retrieved July 5, 2017, from http://sumanj.info/secure_sw_devel/p1-allen.pdf DOI: https://doi.org/10.1145/800028.808479

Banaszak, Z., Majdzik, P., & Wójcik, R. (2008). Procesy współbieżne. Modele efektywności funkcjonowania. Koszalin: Wydawnictwo Uczelniane Politechniki Koszalińskiej.

Bocewicz, G. (2013). Modele multimodalnych procesów cyklicznych. Koszalin: Wydawnictwo Uczelniane Politechniki Koszalińskiej.

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 logicznoalgebraiczny). In Postępy robotyki: Systemy i współdziałanie robotów. Warszawa: WKiŁ.

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. DOI: https://doi.org/10.1007/978-3-642-30961-8_24

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 DOI: https://doi.org/10.1145/1165389.945468

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

Intel Threading Building Blocks Documentation. (n.d.). Retrieved September 16, 2017, from https://software.intel.com/en-us/tbb-documentation

Introduction to Charm++ Concepts (n.d.). Retrieved September 16, 2017, from http://charmplusplus.org/tutorial/CharmConcepts.html ISO/IEC. (2003). Information technology - Portable Operating System Interface (POSIX) – Part 1: Base Definitions (9945-1:2003).

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. DOI: https://doi.org/10.1145/1346281.1346323

Peterson, J. L. (1977). Petrie Nets. ACM Computing Surveys (CSUR), 9(3), 223-252. DOI: https://doi.org/10.1145/356698.356702

Silberschatz, A., Galvin, P. B., & Gagne, G. (2005). Operating System Concepts. USA: John Wiley & Sons

Torp, K. (November 19, 2001). Multithreading. Retrieved from http://people.cs.aau.dk/~torp/

Teaching/E02/OOP/handouts/multithreading.pdf

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. DOI: https://doi.org/10.1145/1287624.1287654

GIEBAS, D., & WOJSZCZYK, R. (2018). GRAPHICAL REPRESENTATIONS OF MULTITHREADED APPLICATIONS. Applied Computer Science, 14(2), 20–37. https://doi.org/10.23743/acs-2018-10

GRAPHICAL REPRESENTATIONS OF MULTITHREADED APPLICATIONS

Issue Vol. 14 No. 2 (2018)

Archives

DOI

Authors

Abstract

Keywords:

References

License

Article Sidebar

Issue Vol. 14 No. 2 (2018)

Archives

Main Article Content

DOI

Authors

Abstract

Keywords:

References

Article Details

License