Diplomová práce je zaměřena na popis paralelních systémů a modelování spolupráce SMP se sdílenou pamětí. Součástí práce je osvojení Petriho sítí jako modelovacího jazyka. Její hlavním cílem je namodelovat spolupráci SMP (Symmetric multiprocessing) se sdílenou pamětí pomocí nástroje HPSim. SMP jsou modelovány pomocí propojovacích sítí sběrnice a kříţového přepínače. Následně jsou obě architektury porovnány a zjištěny jejich hraniční moţnosti.
Anotace v angličtině
The thesis focuses on the characterization and modeling of parallel systems co SMP shared memory. A part of the adoption of Petri nets as a modeling language. Its main aim is to model cooperation SMP shared memory using HPSim. SMP (Symmetric multiprocessing) are modeled using interconnection networks bus and crossbar. Subsequently, the two architectures were compared and found their border possibilities.
KEYWORDS
Parallel systems,
Klíčová slova
Paralelní systémy, SMP, sdílená paměť, HPSim
Klíčová slova v angličtině
Parallel systems, SMP, shared memory, HPSim
Rozsah průvodní práce
66s
Jazyk
CZ
Anotace
Diplomová práce je zaměřena na popis paralelních systémů a modelování spolupráce SMP se sdílenou pamětí. Součástí práce je osvojení Petriho sítí jako modelovacího jazyka. Její hlavním cílem je namodelovat spolupráci SMP (Symmetric multiprocessing) se sdílenou pamětí pomocí nástroje HPSim. SMP jsou modelovány pomocí propojovacích sítí sběrnice a kříţového přepínače. Následně jsou obě architektury porovnány a zjištěny jejich hraniční moţnosti.
Anotace v angličtině
The thesis focuses on the characterization and modeling of parallel systems co SMP shared memory. A part of the adoption of Petri nets as a modeling language. Its main aim is to model cooperation SMP shared memory using HPSim. SMP (Symmetric multiprocessing) are modeled using interconnection networks bus and crossbar. Subsequently, the two architectures were compared and found their border possibilities.
KEYWORDS
Parallel systems,
Klíčová slova
Paralelní systémy, SMP, sdílená paměť, HPSim
Klíčová slova v angličtině
Parallel systems, SMP, shared memory, HPSim
Zásady pro vypracování
Osvojení Petri sítě jako modelového nástroje.
Spolupráce procesorů v multiprocesovém operačním systému s pamětí.
Spolupráce jader ve vícejádrovém procesu s pamětí.
Modelování této spolupráce pomocí Petri sítě.
Zásady pro vypracování
Osvojení Petri sítě jako modelového nástroje.
Spolupráce procesorů v multiprocesovém operačním systému s pamětí.
Spolupráce jader ve vícejádrovém procesu s pamětí.
Modelování této spolupráce pomocí Petri sítě.
Seznam doporučené literatury
[1] MARKL, Jaroslav. Petriho sítě [online]. Ostrava : VŠB - Technická univerzita Ostrava , 1998 [cit. 2010-06-24]. Dostupné z WWW: .
[2] SILBERSCHATZ, Abraham ; GALVIN, Peter Baer; GAGNE, Greg. Operating systems concepts. John Wiley, 2003. 978 s.
[3] STALLINGS, William. Operational Systems. Prentice Hall, 2005. 822 s.
[4] TANENBAUM, Andrew Stuart. Modern operating Systems. Prentice Hall, 1992. 728 s.
[5] VORÁČKOVÁ, Šárka; PĚNIČKA, Martin ; VESELÝ, Jaroslav. Úvod do modelování procesů Petriho sítěmi. Vyd. 1. Praha : ČVUT v Praze, 2008. 126 s.
Seznam doporučené literatury
[1] MARKL, Jaroslav. Petriho sítě [online]. Ostrava : VŠB - Technická univerzita Ostrava , 1998 [cit. 2010-06-24]. Dostupné z WWW: .
[2] SILBERSCHATZ, Abraham ; GALVIN, Peter Baer; GAGNE, Greg. Operating systems concepts. John Wiley, 2003. 978 s.
[3] STALLINGS, William. Operational Systems. Prentice Hall, 2005. 822 s.
[4] TANENBAUM, Andrew Stuart. Modern operating Systems. Prentice Hall, 1992. 728 s.
[5] VORÁČKOVÁ, Šárka; PĚNIČKA, Martin ; VESELÝ, Jaroslav. Úvod do modelování procesů Petriho sítěmi. Vyd. 1. Praha : ČVUT v Praze, 2008. 126 s.
Přílohy volně vložené
CD
Přílohy vázané v práci
ilustrace, grafy, tabulky
Převzato z knihovny
Ne
Plný text práce
Přílohy
Posudek(y) oponenta
Hodnocení vedoucího
Záznam průběhu obhajoby
Student seznámil s výsledky své diplomové práce na téma Modelování práce procesorů v multiprocesorovém operačním systému. Otázky byly směřovány modelování procesorů. Autor na otázky pohotově odpovídal.
Otázky komise:
Zkontroloval jste si gramatickou a formální stránku práce?
Str. 24 - připomínkována rovnice a použitý matematický zápis. Použité symboly.