Publikace detail

Modelování interakce mezi procesy a vlákny v operačním systému pomocí barvených Petri sítí

Autoři: Ibl Martin

Rok: 2013

Druh publikace: článek ve sborníku

Název zdroje: Sborník příspěvků z mezinárodní Masarykovy konference pro doktorandy a mladé vědecké pracovníky 2013

Název nakladatele: MAGNANIMITAS

Místo vydání: Hradec Králové

Strana od-do: 3918-3927

Tituly:

Jazyk	Název	Abstrakt	Klíčová slova
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

Vyhledávání

Přihlášení pro studenty

Přihlášení pro zaměstnance

Publikace detail

Ústavy

Pracoviště

Jak nás najdete?

Služby

Často hledáte