D 2006

Routing and Level 2 Addressing in a Hardware Accelerator for Network Applications

ANTOŠ, David a Vojtěch ŘEHÁK

Základní údaje

Originální název

Routing and Level 2 Addressing in a Hardware Accelerator for Network Applications

Název česky

Směrování a L2 adresace v hardwarovém akcelerátoru pro síťové aplikace

Autoři

ANTOŠ, David (203 Česká republika, garant) a Vojtěch ŘEHÁK (203 Česká republika)

Vydání

Funchal, Madeira, ICT 2006, 13th International Conference on Telecommunications, od s. 1-4, 4 s. 2006

Nakladatel

University of Aveiro, Portugal

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

20200 2.2 Electrical engineering, Electronic engineering, Information engineering

Stát vydavatele

Portugalsko

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14330/06:00015335

Organizační jednotka

Fakulta informatiky

ISBN

972-98368-4-1

Klíčová slova anglicky

routing; L2 addressing; hardware acceleration

Příznaky

Recenzováno
Změněno: 11. 12. 2006 11:27, doc. RNDr. Vojtěch Řehák, Ph.D.

Anotace

V originále

Personal computers are known to be highly usable as internet routers. To overcome their throughput limitations, a hardware accelerator can be employed. For the purposes of packet classification in the accelerator, we investigate a way to combine routing, level 2 addressing, and packet filtering into a single lookup structure. This paper describes the first part of the process: a method to combine routing and level 2 addressing to a single lookup. A formal model of routing and level 2 addressing is presented and used to prove correctness of the method and its equivalence to operating system behaviour.

Česky

Osobní počítač lze použít jako směrovač. Abychom obešli omezení propustnosti, lze nasadit hardwarový akcelerátor. Pro úlohu klasifikace paketů v akcelerátoru studujeme způsoby, jak zkombinovat směrování, L2 adresaci a filtraci paketů do jediné vyhledávací operace. Článek popisuje první část tohoto procesu: metodu kombinace směrovacích informací a L2 do jedné vyhledávací struktury. Prezentuje formální přístup ke směrování a L2 adresaci a vytvořený formalismus je použit k důkazu ekvivalence chování vytvořené struktury a operačního systému.

Návaznosti

GD102/05/H050, projekt VaV
Název: Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
Investor: Grantová agentura ČR, Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
MSM0021622419, záměr
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
1ET408050503, projekt VaV
Název: Techniky automatické verifikace a validace softwarových a hardwarových systémů
Investor: Akademie věd ČR, Techniky automatické verifikace a validace softwarových a hardwarových systémů
1M0545, projekt VaV
Název: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky