|
|
Flexibilní vyvažovač zátěže s využitím jazyka P4
Šesták, Jindřich ; Fukač, Tomáš (oponent) ; Martínek, Tomáš (vedoucí práce)
V současnosti jsou servery internetových služeb většinou shlukovány do skupin, aby měly dostatečný výkon obsloužit dotazy klientů. Každý tento shluk potřebuje Vyvažovač zátěže, který pro každý dotaz vybere jeden ze serverů, který dotaz obslouží. Pro popis takového zařízení zpracovávající pakety lze využít jazyk P4. V rámci této práce byly prostudovány principy vyvažování, proveden návrh, implementace a testování jednoduchého Vyvažovače zátěže popsaného v jazyce P4. Program je testován pomoci Behaviorálního modelu jazyka P4 na běžném procesoru a také na kartě NFB-200G2QL díky prostředí Netcope od sdružení CESNET.
|
|
|
Tvorba simulačních modelů jazyka P4
Bulička, Miroslav ; Matoušek, Jiří (oponent) ; Martínek, Tomáš (vedoucí práce)
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.
|
|
|
Flexibilní vyvažovač zátěže s využitím jazyka P4
Šesták, Jindřich ; Fukač, Tomáš (oponent) ; Martínek, Tomáš (vedoucí práce)
V současnosti jsou servery internetových služeb většinou shlukovány do skupin, aby měly dostatečný výkon obsloužit dotazy klientů. Každý tento shluk potřebuje Vyvažovač zátěže, který pro každý dotaz vybere jeden ze serverů, který dotaz obslouží. Pro popis takového zařízení zpracovávající pakety lze využít jazyk P4. V rámci této práce byly prostudovány principy vyvažování, proveden návrh, implementace a testování jednoduchého Vyvažovače zátěže popsaného v jazyce P4. Program je testován pomoci Behaviorálního modelu jazyka P4 na běžném procesoru a také na kartě NFB-200G2QL díky prostředí Netcope od sdružení CESNET.
|
|
|
Tvorba simulačních modelů jazyka P4
Bulička, Miroslav ; Matoušek, Jiří (oponent) ; Martínek, Tomáš (vedoucí práce)
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.
|
host ::
RSS.