Modelování činnosti vláken v operačním systému
Diplomová práceDatum publikování
2011
Autoři
Vedoucí práce
Oponent
Název časopisu
Název svazku
Vydavatel
Univerzita Pardubice
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.
Rozsah stran
100 s.
ISSN
Trvalý odkaz na tento záznam
Projekt
Zdrojový dokument
Vydavatelská verze
Přístup k e-verzi
Bez omezení
Název akce
ISBN
Studijní obor
Informatika ve veřejné správě
Studijní program
Systémové inženýrství a informatika
Signatura tištěné verze
D24732
Umístění tištěné verze
Univerzitní knihovna (sklad)
Přístup k tištěné verzi
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