doc. RNDr. Ing. Petr Zemánek, CSc.

Závěrečné práce

Dizertační práce

Automatizace ladění jádra operačního systému

Stupeň
Téma dizertační práce
Popis tématu

Jádra monolitických operačních systémů jsou v současnosti pravděpodobně nejsložitější centralizované programy, které podstupují proces neustáleho vývoje a ladění jak funkčnosti tak výkonnosti. Mají architekturu řádově stovek modulů. V současné době je k dispozici řadu nástrojů pro diagnostiku funkcionality a výkonnosti těchto jader, ale úroveň využitelnosti výstupů těchto nástrojů pro efektivní ladění jader je výrazně závislá na lidském faktoru, na vyspělosti a zkušenosti týmu vývojářů.

Cílem dizertační práce je výzkum metod automatického zjišťování příčin výkonnostních problémů jádra operačního systému a škálovatelnosti jader pro víceprocesorové počítačové systémy. Prozkoumejte, které známé techniky umělé inteligenne a strojového učení lze využít pro automatizaci těchto metod.

Diplomové práce

Studie integrace časově citlivých sítí v RTOS PikeOS

Autor
Jakub Šatoplet
Rok
2024
Typ
Diplomová práce
Vedoucí
doc. RNDr. Ing. Petr Zemánek, CSc.
Oponenti
Ing. Alexandru Moucha, Ph.D.
Anotace
Cílem diplomové práce je studie integrace časově citlivých sítí do operačního systému reálného času PikeOS. V analytické části práce jsou představeny operační systémy reálného času a systém PikeOS. Dále představuje základní koncepty časově citlivých sítí s důrazem na synchronizaci času pomocí protokolu Precision Time Protocol. Implementační kapitoly vysvětlují, jak jsou strukturovány ovladače systému PikeOS, se zaměřením na Ethernetové ovladače. Jejich hlavním výstupem je ovladač pro Ethernetový řadič ENET_QOS. Kromě základních funkcí přenosu rámců patří mezi vlastnosti ovladače pokročilé filtrování rámců se značkami IEEE 802.1Q, které představilo návrh nového standardního rozhraní, zpracování vícesměrového vysílání a integrace protokolu Precision Time Protocol. Testování ovladače ověřilo jeho správnost a naměřilo chybu integrované časové synchronizace v očekávaném rozsahu desítek mikrosekund.