Login for students

Login for employees

Publication detail

Modelování interakce mezi procesy a vlákny v operačním systému pomocí barvených Petri sítí
Authors: Ibl Martin
Year: 2013
Type of publication: článek ve sborníku
Name of source: Sborník příspěvků z mezinárodní Masarykovy konference pro doktorandy a mladé vědecké pracovníky 2013
Publisher name: MAGNANIMITAS
Place: Hradec Králové
Page from-to: 3918-3927
Titles:
Language Name Abstract Keywords
cze Modelování interakce mezi procesy a vlákny v operačním systému pomocí barvených Petri sítí Interakce procesů a vláken v operačním systému je důležitou oblastí při vývoji moderního softwaru či hardwaru. Využívání vícejádrových procesorů umožnilo využití paralelního zpracování dat i v běžných počítačích koncových uživatelů, což mělo za následek rychlý vzestup vícevláknového programování. To však sebou nese řadu nevýhod, a to hlavně z důvodu zvýšené složitosti návrhu aplikací a zpětné verifikaci správnosti tohoto návrhu. Obsahem této práce je tvorba modelu interakce mezi procesy a vlákny operačního systému v prostředí barvených Petri sítí. Dále jsou poukázány modelovací a verifikační možnosti tohoto nástroje a poté aplikovány na navrženém modelu (verifikace modelu). barvené Petri sítě, modelování, verifikace, procesy, vlákna, kontext
eng Modelling of Interactions between Processes and Threads in The Operating System using Coloured Petri Nets Interaction between processes and threads in the operating system is an important area in the development of modern software or hardware. The uses of multi-core processors allow the use of parallel data processing in conventional computers of end users, which resulted in the rapid rise of multi-thread programming. This, however, entails a number of disadvantages, mainly in the increased complexity of the application design and the verification of the correctness (of the design). The content of this work is to create a model of interaction between processes and threads of the operating system in an environment of coloured Petri nets. Furthermore, they are remitted to the modelling and verification capabilities of this tool and then applied to the proposed model (model verification). Coloured Petri Nets, Modelling, Verification, Processes, Threads, Context

Map

en.mapy.cz

Services

Popular Links

© 2023 University of Pardubice, Studentská 95, 532 10 Pardubice 2
Phone: +420 466 036 111, 466 036 112, 466 036 113
Webmaster, RSS
Data box ID: f5vj9hu
Accessibility Statement
CC BY-NC-ND 4.0Creative CommonsAttributionNonCommercialNoDerivatives