Detail práce

Tvorba simulačních modelů jazyka P4

Bakalářská práce Student: Bulička Miroslav Akademický rok: 2019/2020 Vedoucí: Martínek Tomáš, doc. Ing., Ph.D.
Název anglicky
Development of Simulation Models of P4 Language
Jazyk práce
český
Abstrakt

Sdružení CESNET vyvíjí nástroj umožňující spouštět P4 programy na programovatelném hradlovém poli. Tento nástroj se využívá při návrhu digitálního obvodu, který prochází procesem verifikace. Pro verifikaci je prozatím využíván simulační model, který plně neodpovídá požadavkům. Bakalářská práce se zabývá seznámením s jazykem P4 a tvorbou jeho simulačních modelů. Práce má za cíl zejména vytvoření simulačního modelu, který přesněji odpovídá požadavkům sdružení CESNET tak, aby mohl být nahrazen dosavadní simulační model využívaný ve verifikačním prostředí. Tvorba modelu probíhala pomocí projektu BMv2, který umožňuje psaní simulačních modelů pro jazyk P4. Jako výchozí simulační model byl zvolen Simple switch, který je ve verifikačním prostředí prozatím využíván a který byl upravován podle požadavků. Výsledkem práce je simulační model odpovídající požadavkům sdružení CESNET.

Klíčová slova

jazyk P4, simulační model, Behaviorální model verze 2, software-defined networking

Ústav
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení B
Obhajoba
13. července 2020
Oponent
Průběh obhajoby

Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm B.

Otázky u obhajoby
  1. Jakým způsobem je do vlákna zpracování paketů a vlákna odesílání paketů dodána informace o celkovém počtu přečtených paketů, když jsou tato vlákna spuštěna ještě před dokončením čtení paketů na vstupu (viz Obr. 3.4 na str. 37)?
  2. Bylo by možné implementovat ukončování simulačního modelu po zpracování všech paketů i bez dedikovaného monitorovacího vlákna? Pokud ano, jak by se změnil Obr. 3.4?
Komise
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT), předseda
Burget Radek, doc. Ing., Ph.D. (UIFS FIT VUT), člen
Čadík Martin, doc. Ing., Ph.D. (UPGM FIT VUT), člen
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT), člen
Martínek Tomáš, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Citace
BULIČKA, Miroslav. Tvorba simulačních modelů jazyka P4. Brno, 2020. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2020-07-13. Vedoucí práce Martínek Tomáš. Dostupné z: https://www-dev.fit.vutbr.cz/study/thesis/23105/
BibTeX
@bachelorsthesis{FITBT23105,
    author = "Miroslav Buli\v{c}ka",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Tvorba simula\v{c}n\'{i}ch model\r{u} jazyka P4",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2020,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/23105/"
}
Nahoru