GRAPHICAL REPRESENTATIONS OF MULTITHREADED APPLICATIONS

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 presen...

Full description

Bibliographic Details
Main Authors: Damian GIEBAS, Rafał WOJSZCZYK
Format: Article
Language:English
Published: Polish Association for Knowledge Promotion 2018-06-01
Series:Applied Computer Science
Subjects:
Online Access:http://www.acs.pollub.pl/pdf/v14n2/2.pdf
Description
Summary: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.
ISSN:1895-3735
2353-6977