Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Applied Computer Science

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Order violation in multithreaded applications and its detection in static code analysis process

Giebas Damian, Wojszczyk Rafał

Applied Computer Science

2020

Vol. 16, no 4

103--117

The subject presented in the paper concerns resource conflicts, which are the cause of order violation in multithreaded applications. The work focuses on developing conditions that can be implemented as a tool for allowing to detect these conflicts in the process of static code analysis. The research is based on known errors reported to developers of large applications such as Mozilla Firefox browser and MySQL relational database system. These errors could have been avoided by appropriate monitoring of the source code.

Graphical representations of multithreaded applications

Giebas Damian, Wojszczyk Rafał

Applied Computer Science

2018

Vol. 14, no 2

20--37

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.