Publikace detail

Modelování synchronizace vláken v operačním systému pomocí barvených Petri sítí

Autoři: Ibl Martin

Rok: 2014

Druh publikace: článek ve sborníku

Název zdroje: Sborník příspěvků 14. mezinárodní konference IMEA 2014

Název nakladatele: Technická univerzita v Liberci

Místo vydání: Liberec

Strana od-do: 162-168

Tituly:

Jazyk	Název	Abstrakt	Klíčová slova
cze	Modelování synchronizace vláken v operačním systému pomocí barvených Petri sítí	Verifikace a analýza složitých modelů, které reprezentují komplexní systémy obsahující paralelismus, souběžnost, či synchronizaci, je velice důležitou, dalo by se říci nutnou, součástí vývoje různých systémů (informačních, operačních). V rámci těchto systémů se zpravidla verifikuje chování jednotlivých procesů, které daný systém utvářejí. Tato práce je zaměřená na využití barvených Petri síty (CPN), jakožto nástroje pro verifikaci diskrétních dynamických systémů řízených událostmi (DEDS), konkrétně vláknové synchronizace. Hlavní důraz je věnován metodám pulse a wait, jejichž používání sebou nese řadu rizik (převážně jejich nevhodným užitím), a proto je verifikace jejich využití nanejvýš vhodná.	Petri sítě; Verifikace; Modelování; Vláknová synchronizace
eng	Modelling of the thread synchronization in the operationg system using coloured Petri nets	Verification and analysis of complex models, which represent complex systems containing parallelism, concurrency, and synchronization is very important, one could say a necessary part of the development of various systems (information, operating). In the context of these systems is typically method verifies the behavior of each of the processes that shape the system. This work is focused on the use of coloured Petri sieves (CPN), as a tool for verification of discrete event driven dynamic systems (DEDS), specifically the fiber of the synchronization. The main emphasis is devoted to the methods of pulse and wait whose use carries a number of risks (mainly their inappropriate use), and it is therefore the most appropriate use of verification.	Petri nets; Verification; Modelling; Thread synchronization

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