Login for students

Login for employees

Publication detail

Modelování synchronizace vláken v operačním systému pomocí barvených Petri sítí
Authors: Ibl Martin
Year: 2014
Type of publication: článek ve sborníku
Name of source: Sborník příspěvků 14. mezinárodní konference IMEA 2014
Publisher name: Technická univerzita v Liberci
Place: Liberec
Page from-to: 162-168
Titles:
Language Name Abstract Keywords
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

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