Digitální knihovna UPCE přechází na novou verzi. Omluvte prosím případné komplikace. / The UPCE Digital Library is migrating to a new version. We apologize for any inconvenience.

Publikace:
Modelování činnosti vláken v operačním systému

Diplomová práceopen access
Náhled

Soubory

Posudek_CapekJ_ModelovaniCinnosti_MI_2011.pdf (49.26 KB)
Posudek_OlejV_ModelovaniCinnosti_MI_2011.pdf (102.77 KB)
IblM_ModelovaniCinnosti_JC_prilohy_2011.zip (29.96 MB)
IblM_ModelovaniCinnosti_JC_2011.pdf (3.22 MB)

Datum

2011

Autoři

Ibl, Martin

Název časopisu

ISSN časopisu

Název svazku

Nakladatel

Univerzita Pardubice

Výzkumné projekty

Organizační jednotky

Číslo časopisu

Abstrakt

Práce se zaměřuje na popis a modelování činnosti vláken v moderních operačních systémech. Součástí práce je osvojení Petri sítí jako modelovacího nástroje s důrazem na barvené Petri sítě. Samotné modelování je realizováno pomocí barvených Petri sítí a zaměřuje se na stavový, behaviorální a kontextuální pohled na činnosti vláken.

Popis

Klíčová slova

vlákna, modelování, operační systém, Petri sítě, CPN Tools, scheduling, synchronizace, souběžnost, deadlock, race condition, kritická sekce, Standard ML, Threads, Modeling, Operating system, Petri nets, CPN Tools, Scheduling, Synchronization, Concurrency, Deadlock, Race condition, Critical region, Standard ML

Citace

Permanentní identifikátor

https://hdl.handle.net/10195/39522

Kolekce

Diplomové práce / Theses ÚSII FES (Ing.)
Vysokoškolské kvalifikační práce / Theses, dissertations, etc.

Endorsement

Review

Supplemented By

Referenced By