Applied Computer Science (Jun 2018)

GRAPHICAL REPRESENTATIONS OF MULTITHREADED APPLICATIONS

  • Damian GIEBAS,
  • Rafał WOJSZCZYK

DOI
https://doi.org/10.23743/acs-2018-10
Journal volume & issue
Vol. 14, no. 2
pp. 20 – 37

Abstract

Read online

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 multi-threaded applications using the concurrent process system model will be presented. All these methods will be used to present the idea of a multi-threaded 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