GRAPHICAL REPRESENTATIONS OF MULTITHREADED APPLICATIONS
Journal Title: Applied Computer Science - Year 2018, Vol 14, Issue 2
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 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.
Authors and Affiliations
Damian GIEBAS, Rafał WOJSZCZYK
Keywords
Related Articles
- EP ID EP560245
- DOI 10.23743/acs-2018-10
- Views 102
- Downloads 0
AN EFFECTIVE METAHEURISTIC FOR TOURIST TRIP PLANNING IN PUBLIC TRANSPORT NETWORKS
The Time-Dependent Orienteering Problem with Time Windows (TDOPTW) is a combinatorial optimization problem defined on graphs. Its real life applications are particularly associated with tourist trip planning in trans-por...
INTERMITTENT DEMAND FORECASTING USING DATA MINING TECHNIQUES
Intermittent demand occurs randomly with changing values and a lot of periods having zero demand. Ad hoc intermittent demand forecasting techniques have been developed which take special intermittent demand characteristi...
MODEL OF A COMPUTER SYSTEM FOR SELECTION OF OPERATING PARAMETERS FOR TRANSPORT VEHICLES IN THE ASPECT OF THEIR DURABILITY
The article presents a new method of selecting operating parameters of ve-hicles which allows to prolong their useful life. The theoretical and practical aspects of the new approach were discussed. The key methods of opt...
DEVELOPMENT OF SOFTWARE FOR IDENTIFICATION OF FILAMENTS USED IN 3D PRINTING TECHNOLOGY
The aim of the work was to develop a computer program that allows iden-tification of polymer materials that are used in 3D printing technology. The computer program was made using the algorithm that concerns the method o...
COMPUTER MODELLING OF THERMAL TECHNICAL SPACESS IN ASPECT OF HEAT TRANSFER THROUGH THE WALLS
This paper presents the analysis of complex problems in the field of energy savings and it is focused on the new concept of thermal analysis derived from harmonic character of temperature changes in building environment...