Building Gigabit-rate Routers with the NetFPGA: NICTA Tutorial at UNSW

123
NICTA 2008 - NetFPGA Tutorial 1 S T A N F O R D U N I V E R S I T Y Presented by: John W. Lockwood, Jad Naous, Glen Gibb (Stanford University) Hosted by: Lavy Libman (NICTA) and Philip Allen (UNSW) February 6, 2008: 9am-5pm Lab 343A, Electrical Engineering Building (G17) Kensington Campus, University of New South Wales Sydney, Australia http://NetFPGA.org Building Gigabit-rate Routers with the NetFPGA: NICTA Tutorial at UNSW

description

Building Gigabit-rate Routers with the NetFPGA: NICTA Tutorial at UNSW. Presented by: John W. Lockwood, Jad Naous, Glen Gibb (Stanford University) Hosted by: Lavy Libman (NICTA) and Philip Allen (UNSW) February 6, 2008: 9am-5pm Lab 343A, Electrical Engineering Building (G17) - PowerPoint PPT Presentation

Transcript of Building Gigabit-rate Routers with the NetFPGA: NICTA Tutorial at UNSW

Page 1: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 1 S T A N F O R D U N I V E R S I T Y

Presented by:

John W. Lockwood, Jad Naous, Glen Gibb (Stanford University)

Hosted by:

Lavy Libman (NICTA) and Philip Allen (UNSW)

February 6, 2008: 9am-5pmLab 343A, Electrical Engineering Building (G17)

Kensington Campus, University of New South WalesSydney, Australia

http://NetFPGA.org

Building Gigabit-rate Routerswith the NetFPGA:

NICTA Tutorial at UNSW

Page 2: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 2 S T A N F O R D U N I V E R S I T Y

FPGAFPGA

MemoryMemory

1GE1GE

1GE1GE

1GE1GE

1GE1GE

What is the NetFPGA?

PCI

CPUCPU MemoryMemory

NetFPGA Board

PC with NetFPGA

NetworkingSoftwarerunning on a standard PC

A hardware acceleratorbuilt with Field Programmable Gate Arraydriving Gigabit network links

Page 3: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 3 S T A N F O R D U N I V E R S I T Y

Introduction

Who uses the NetFPGA• Teachers• Students• Researchers

How they use the NetFPGA1. To run the Router Kit2. To build modular reference designs

• IPv4 router• 4-port NIC• Ethernet switch, …

3. To create new systems

Page 4: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 4 S T A N F O R D U N I V E R S I T Y

FPGAFPGA

MemoryMemory

1GE1GE

1GE1GE

1GE1GE

1GE1GE

Running the Router Kit

User-space development, 4x1GE line-rate forwarding

PCI

CPUCPU MemoryMemory

OSPFOSPF BGPBGP

My ProtocolMy Protocoluser

kernelRouting

Table

Usage #1

IPv4RouterIPv4

Router

1GE1GE

1GE1GE

1GE1GE

1GE1GE

FwdingTable

FwdingTable

PacketBuffer

PacketBuffer

“Mirror”

Page 5: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 5 S T A N F O R D U N I V E R S I T Y

FPGAFPGA

MemoryMemory

1GE1GE

1GE1GE

1GE1GE

1GE1GE

Building Modular Router Modules

PCI

CPUCPU MemoryMemory

Usage #2

NetFPGA DriverNetFPGA Driver

Java GUIFront Panel(Extensible)

Java GUIFront Panel(Extensible)

PW-OSPFPW-OSPF

In QMgmtIn Q

Mgmt

IPLookup

IPLookup

L2Parse

L2Parse

L3Parse

L3Parse

Out QMgmtOut QMgmt

1GE1GE

1GE1GE

1GE1GE

1GE1GE

Verilog modules interconnected by FIFO interfaces

MyBlock

MyBlock

VerilogEDA Tools

(Xilinx, Mentor, etc.)

VerilogEDA Tools

(Xilinx, Mentor, etc.)

1. Design2. Simulate3. Synthesize4. Download

1. Design2. Simulate3. Synthesize4. Download

Page 6: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 6 S T A N F O R D U N I V E R S I T Y

FPGAFPGA

MemoryMemory

1GE1GE

1GE1GE

1GE1GE

1GE1GE

Creating new systems

PCI

CPUCPU MemoryMemory

Usage #3

NetFPGA DriverNetFPGA Driver

1GE1GE

1GE1GE

1GE1GE

1GE1GE

My Design

(1GE MAC is soft/replaceable)

My Design

(1GE MAC is soft/replaceable)

VerilogEDA Tools

(Xilinx, Mentor, etc.)

VerilogEDA Tools

(Xilinx, Mentor, etc.)

1. Design2. Simulate3. Synthesize4. Download

1. Design2. Simulate3. Synthesize4. Download

Page 7: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 7 S T A N F O R D U N I V E R S I T Y

Tutorial Outline• Background

– Basics of an IP Router– The NetFPGA Platform

• The Stanford Base Reference Router– Demo1 : Reference Router running on the NetFPGA– Inside the NetFPGA hardware– Breakneck introduction to Verilog– Exercise 1: Build your own Reference Router

• The Enhanced Reference Router– Motivation: Understanding buffer size requirements in a router– Demo 2: Observing and controlling the queue size– Using NetFPGA for research and teaching– Exercise 2: Enhancing the Reference Router

• The Life of a Packet Through the NetFPGA

Page 8: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 8 S T A N F O R D U N I V E R S I T Y

Basic Operation of an IP RouterR3

A

B

C

R1

R2

R4 D

E

FR5

R5F

R3E

R3D

Next HopDestination

D

Page 9: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 9 S T A N F O R D U N I V E R S I T Y

What does a router do?R3

A

B

C

R1

R2

R4 D

E

FR5

R5F

R3E

R3D

Next HopDestination

D

16 3241

Data

Options (if any)

Destination Address

Source Address

Header ChecksumProtocolTTL

Fragment OffsetFlagsFragment ID

Total Packet LengthT.ServiceHLenVer

20

byte

s

Page 10: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 10 S T A N F O R D U N I V E R S I T Y

What does a router do?

A

B

C

R1

R2

R3

R4 D

E

FR5

Page 11: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 11 S T A N F O R D U N I V E R S I T Y

Basic Components of an IP Router

Control Plane

Datapathper-packet processing

SwitchingForwarding

Table

Routing Table

Routing Protocols

Management& CLI

Softw

areH

ardware

Page 12: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 12 S T A N F O R D U N I V E R S I T Y

Per-packet processing in an IP Router

1. Accept packet arriving on an incoming link.

2. Lookup packet destination address in the forwarding table, to identify outgoing port(s).

3. Manipulate IP header: e.g., decrement TTL, update header checksum.

5. Buffer packet in the output queue.

6. Transmit packet onto outgoing link.

Page 13: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 13 S T A N F O R D U N I V E R S I T Y

Generic Datapath Architecture

LookupIP Address

UpdateHeader

Header ProcessingData Hdr Data Hdr

ForwardingTable

ForwardingTable

IP Address Next Hop

QueuePacket

BufferMemoryBuffer

Memory

Page 14: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 14 S T A N F O R D U N I V E R S I T Y

CIDR and Longest Prefix Matches

The IP address space is broken into line segments. Each line segment is described by a prefix. A prefix is of the form x/y where x indicates the prefix of all

addresses in the line segment, and y indicates the length of the segment.

e.g. The prefix 128.9/16 represents the line segment containing addresses in the range: 128.9.0.0 … 128.9.255.255.

0 232-1

128.9/16

128.9.0.0

216

142.12/19

65/8

128.9.16.14

Page 15: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 15 S T A N F O R D U N I V E R S I T Y

Classless Interdomain Routing (CIDR)

0 232-1

128.9/16

128.9.16.14

128.9.16/20128.9.176/20

128.9.19/24

128.9.25/24

Most specific route = “longest matching prefix”

Page 16: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 16 S T A N F O R D U N I V E R S I T Y

Techniques for LPM in hardware

• Linear search• Direct lookup

– Currently requires too much memory– Updating a prefix leads to many changes

• Tries– Deterministic lookup time– Easily pipelined– But requires multiple memories/references

• TCAM (Ternary CAM)– Simple and widely used– But low-density, high-power– Gradually being replaced by new algorithms

Page 17: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 17 S T A N F O R D U N I V E R S I T Y

An IP Router on NetFPGA

SwitchingForwarding

Table

Routing Table

Routing Protocols

Management& CLI

Softw

areH

ardware

Linux user-levelprocesses

Verilog on NetFPGA PCI board

ExceptionProcessing

Page 18: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 18 S T A N F O R D U N I V E R S I T Y

NetFPGA Router

Function – 4 Gigabit Ethernet ports

Fully programmable– FPGA hardware

Low cost

Open-source FPGA hardware – Verilog base design

Open-souce Software– Drivers in C and C++

Page 19: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 19 S T A N F O R D U N I V E R S I T Y

NetFPGA Platform

Major Components– Interfaces

• 4 Gigabit Ethernet Ports• PCI Host Interface

– Memories• 36Mbits Static RAM• 512Mbits DDR2 Dynamic RAM

– FPGA Resources• Block RAMs• Configurable Logic Block (CLBs)• Memory Mapped Registers

Page 20: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 20 S T A N F O R D U N I V E R S I T Y

NetFPGA System

User Space

Linux Kernel

NIC

GE

PCI-ePCI

Browser& VideoClient

MonitorSoftware

GE

GE

GE

GE

GE

CADTools

NetFPGA RouterHardware

VI

VI

VI

VI

Packet Forwarding Table

(eth1 .. 2)(nf2c0 .. 3)

Web &VideoServer

Page 21: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 21 S T A N F O R D U N I V E R S I T Y

NetFPGA Hardware

Page 22: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 22 S T A N F O R D U N I V E R S I T Y

NetFPGA System Implementation• NetFPGA Blocks

– Virtex-2 Pro FPGA– 4.5MB ZBT SRAM– 64MB DDR2 DRAM – PCI Host Interface– 4 Gigabit Ethernet ports

• Intranet Test Ports – Dual or Quad Gigabit

Etherents on PCI-e

• Internet – Gigabit Ethernet

on Motherboard

• Processor – Dual-Core CPU

• Operating System– Linux CentOS 4.4

Page 23: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 23 S T A N F O R D U N I V E R S I T Y

NetFPGA Lab Setup

(eth1 .. 2)

Nf2c3 : Adj. ServerCPU x2 Net-FPGA

Dual NICGE

PC

I-eP

CI

Client

NetFPGAControl SW

GE

GE

GE

GE

GECAD Tools

InternetRouter

Hardware

Eth2 : Server

ServerEth1 : Local host

Nf2c1 : Adjacent

Nf2c2 : Local Host

Nf2c0 : Adjacent

Page 24: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 24 S T A N F O R D U N I V E R S I T Y

Net-FPGA

NetFPGA Hardware Set for Demo #1

Net-FPGA

GE

GE

GE

GE

InternetRouter

Hardware

CPU x2

Net-FPGA

NICGE

PC

I-eP

CIVideo

Display

GE

GE

GE

GE

GE

CAD Tools

GE

GE

GE

GE

InternetRouter

Hardware

InternetRouter

Hardware

CPU x2

PC

I-eP

CI

VideoServer

NICGE

PC

I-e

GE

Server deliversstreaming HD videothrough a chain of NetFPGA Routers

Page 25: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 25 S T A N F O R D U N I V E R S I T Y

Tutorial Outline• Background

– Basics of an IP Router– The NetFPGA Platform

• The Stanford Base Reference Router– Demo1 : Reference Router running on the NetFPGA– Inside the NetFPGA hardware– Breakneck introduction to Verilog– Exercise 1: Build your own Reference Router

• The Enhanced Reference Router– Motivation: Understanding buffer size requirements in a router– Demo 2: Observing and controlling the queue size– Using NetFPGA for research and teaching– Exercise 2: Enhancing the Reference Router

• The Life of a Packet Through the NetFPGA

Page 26: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 26 S T A N F O R D U N I V E R S I T Y

HDDisplay

Topology of NetFPGA Routers

VideoServer

Demo

1

Demo

1

Page 27: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 27 S T A N F O R D U N I V E R S I T Y

Setup for the Reference Router

Each NetFPGA card has four ports

Port 2 connected to Client / Server

Ports 0 and 3 connected to adjacent NetFPGA cards

NetFPGA

Video Client

Demo

1

Demo

1

NetFPGA

NetFPGA

Video Server

Page 28: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 28 S T A N F O R D U N I V E R S I T Y

Demo 1: Logical Topology

.1.1

.1.2.3.1

.30.2

.4.1

.4.2

.6.1.3.2

.7.1

.7.2

.9.1

.6.2

.10.1

.10.2

.12.1

.9.2

.13.1

.13.2

.15.1

.12.2

.16.1

.16.2.15.2

.28.1

.28.2.27.1

.30.1

.25.1

.25.2.24.1

.27.2

.22.1

.22.2.21.1

.24.2

.19.1

.19.2

.17.1

.21.2.18.2

.5.1 .8.1 .11.1 .14.1 .18.1

.20.1

.23.1.26.1

.29.1

.2.1

Video ClientShortest Path

Video Server

Demo

1

Demo

1

Page 29: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 29 S T A N F O R D U N I V E R S I T Y

Working IP Router

• Objectives – Become familiar with

Stanford Reference Router

– Observe PW-OSPF re-routing traffic around a failure

Demo

1

Demo

1

Page 30: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 30 S T A N F O R D U N I V E R S I T Y

Streaming Video through the NetFPGA

• Video server– Source files

/var/www/html/video– Network URL :

http://192.168.Net.Host/Video

• Video client– Windows Media Player– Linux mplayer

• Video traffic– MPEG2 HDTV (35 Mbps)– MPEG2 TV (9 Mbps)– DVI (3 Mbps)– WMF (1.7 Mbps)

Demo

1

Demo

1

Page 31: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 31 S T A N F O R D U N I V E R S I T Y

Step 1 – Observe the Routing Tables

The router is already configured and running on your machines

The routing table has converged to the routing decisions with minimum number of hops

Next, break a link …

Demo

1

Demo

1

Page 32: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 32 S T A N F O R D U N I V E R S I T Y

Step 2 - Dynamic Re-routing

Break the link between video server and video client

Routers re-route traffic around the broken link and video continues playing

.1.1

.1.2

.3.1

.30.2

.4.1

.4.2

.6.1.3.2

.7.1

.7.2

.9.1

.6.2

.10.1

.10.2

.12.1

.9.2

.13.1

.13.2

.15.1

.12.2

.16.1

.16.2

.15.2

.28.1

.28.2.27.1

.30.1

.25.1

.25.2.24.1

.27.2

.22.1

.22.2.21.1

.24.2

.19.1

.19.2

.17.1

.21.2

.18.2

.5.1 .8.1 .11.1 .14.1

.18.1

.20.1

.23.1.26.1

.29.1

.2.1

Demo

1

Demo

1

Page 33: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 33 S T A N F O R D U N I V E R S I T Y

Tutorial Outline• Background

– Basics of an IP Router– The NetFPGA Platform

• The Stanford Base Reference Router– Demo1 : Reference Router running on the NetFPGA– Inside the NetFPGA hardware– Breakneck introduction to Verilog– Exercise 1: Build your own Reference Router

• The Enhanced Reference Router– Motivation: Understanding buffer size requirements in a router– Demo 2: Observing and controlling the queue size– Using NetFPGA for research and teaching– Exercise 2: Enhancing the Reference Router

• The Life of a Packet Through the NetFPGA

Page 34: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 34 S T A N F O R D U N I V E R S I T Y

Integrated Circuit Technology

Full-custom Design – Complementary Metal Oxide Semiconductor (CMOS)

Semi-custom ASIC Design – Gate array– Standard cell

Programmable Logic Device– Programmable Array Logic– Field Programmable Gate Arrays

Processors

Page 35: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 35 S T A N F O R D U N I V E R S I T Y

Combinatorial Logic

AB

CD

Z

Look-Up Tables

Combinatorial logic is stored in Look-Up Tables (LUTs) – Also called

Function Generators (FGs)– Capacity is limited only by

number of inputs, not complexity– Delay through the LUT is constant

A B C D Z

0 0 0 0 0

0 0 0 1 0

0 0 1 0 0

0 0 1 1 1

0 1 0 0 1

0 1 0 1 1

. . .

1 1 0 0 0

1 1 0 1 0

1 1 1 0 0

1 1 1 1 1

Diagram From: Xilinx, Inc

Page 36: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 36 S T A N F O R D U N I V E R S I T Y

Slice 0

LUT Carry

LUT Carry D QCE

PRE

CLR

DQCE

PRE

CLR

Xilinx CLB Structure

Each slice has four outputs– Two registered outputs,

two non-registered outputs

– Two BUFTs associated with each CLB, accessible by all 16 CLB outputs

Carry logic run vertically – Signals run upwards– Two independent

carry chains per CLB

Diagram From: Xilinx, Inc (Courtesy Jeff Weintraub)

Page 37: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 37 S T A N F O R D U N I V E R S I T Y

Field Programmable Gate Arrays

CLB– Primitive element of FPGA

Routing Module– Global routing– Local interconnect

Macro Blocks– Block Memories– Microprocessor

I/O Block

4 LUT

G4

G3

G2

G1

G

4 LUT

F4

F3

F2

F1

F

3 LUT

H

S

R

D Q

S

R

D Q

H1

Din Clk

YQ

Y

XQ

X

M

M

M

M

CLB

GRMLocal R outing

CLB PIP

...

...

...

... ...

......

3rd Generation LUT-based FPGA

Pad Routing CLB M atrix I/O

M acroBlock(uP,M em)

Page 38: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 38 S T A N F O R D U N I V E R S I T Y

NetFPGA Block Diagram

NetFPGA platform

1GE

M

AC

1GE

M

AC

1GE

M

AC

1GE

M

AC

Virtex II-Pro 50 FPGA withuser-defined network logic* Hardware specified with

- Verilog source code- Pre-generated cores

* Software written for - Embedded PowerPCs - Soft core processors

(Microblaze, LEON ..)

18Mb

SR

AM

1GE

P

HY

1GE

P

HY

1GE

P

HY

1GE

P

HY

FPGA w/provided infrastructure64M

BD

DR

2S

DR

AM

Linux OS - NetFPGA Kernel driverHostcomputer

User-defined software networking applications

Four G

igabit Ethernet Interfaces

18Mb

SR

AM

FIFOpacketbuffers

Control, PCIInterface

3 Gb

SA

TA

Board-B

oard In

terconnect

Page 39: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 39 S T A N F O R D U N I V E R S I T Y

Details of NetFPGA

• Fits into Standard PCI slot– Standard Bus : 32 bits, 33 MHz

• Provides Interfaces for processing network packets– 4 Gigabit Ethernet Ports

• Allows hardware-accelerated processing – Implemented with Field Programmable Gate Array (FPGA) Logic

Page 40: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 40 S T A N F O R D U N I V E R S I T Y

Tutorial Outline• Background

– Basics of an IP Router– The NetFPGA Platform

• The Stanford Base Reference Router– Demo1 : Reference Router running on the NetFPGA– Inside the NetFPGA hardware– Breakneck introduction to Verilog– Exercise 1: Build your own Reference Router

• The Enhanced Reference Router– Motivation: Understanding buffer size requirements in a router– Demo 2: Observing and controlling the queue size– Using NetFPGA for research and teaching– Exercise 2: Enhancing the Reference Router

• The Life of a Packet Through the NetFPGA

Page 41: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 41 S T A N F O R D U N I V E R S I T Y

Hardware Description Languages

• Concurrent– By Default, Verilog statements

evaluated concurrently

• Express fine grain parallelism– Allows gate-level parallelism

• Provides Precise Description– Eliminates ambiguity about operation

• Synthesizable– Generates hardware from description

Page 42: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 42 S T A N F O R D U N I V E R S I T Y

Verilog Data Types

reg [7:0] A; // 8-bit register, MSB to LSB // (Preferred bit order for NetFPGA)

reg [0:15] B; // 16-bit register, LSB to MSB

B = {A[7:0],A[0:7]}; // Assignment of bits

reg [31:0] Mem [0:1023]; // 1K Word Memory

integer Count; // simple signed 32-bit integerinteger K[1:64]; // an array of 64 integerstime Start, Stop; // Two 64-bit time variables

From: CSCI 320 Computer ArchitectureHandbook on Verilog HDL, by Dr. Daniel C. Hyde :

http://eesun.free.fr/DOC/VERILOG/verilog-manual.html

Page 43: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 43 S T A N F O R D U N I V E R S I T Y

Signal Multiplexers

From: http://eesun.free.fr/DOC/VERILOG/synvlg.html

Two input multiplexer (using if / else) reg y; always @*

   if (select)       y = a;    else       y = b;

Two input multiplexer (using ternary operator ?:)

wire t = (select ? a : b);

Page 44: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 44 S T A N F O R D U N I V E R S I T Y

Larger Multiplexers

Three input multiplexer

reg s; always @*    begin    case (select2)

      2'b00: s = a;       2'b01: s = b;       default: s = c;     endcase    end

From: http://eesun.free.fr/DOC/VERILOG/synvlg.html

Page 45: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 45 S T A N F O R D U N I V E R S I T Y

Synchronous Storage Elements• Values change at

times governed by clock

Clock Transition

t=0 t=1 t=20

1Clock

time

Clock Transition

S0Dout

t=0

A B

A B CDin

t=0

Clock

Din DoutQD

– Clock• Input to circuit

– Clock Event• Example: Rising edge

– Flip/Flop• Transfers Value From Din

to Dout on Clock event

Page 46: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 46 S T A N F O R D U N I V E R S I T Y

Finite State Machines

Copyright 2001, John W. Lockwood, All Rights Reserved

Combinational Logic

Inputs (X)

S(t) S(t+1)=(X,S(t))

Outputs (Z)

StateNext

State Storage

...

[Moore](S(t))

[Mealy](X,S(t))

-or-

Q D

Q D

Page 47: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 47 S T A N F O R D U N I V E R S I T Y

Synthesizable Verilog : Delay Flip/Flops

From: http://eesun.free.fr/DOC/VERILOG/synvlg.html

D type flip flop with data enablereg q; always @ (posedge clk)

  if (enable)     q <= d;

D-type flip flop reg q; always @ (posedge clk)

  q <= d;

Page 48: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 48 S T A N F O R D U N I V E R S I T Y

Tutorial Outline• Background

– Basics of an IP Router– The NetFPGA Platform

• The Stanford Base Reference Router– Demo1 : Reference Router running on the NetFPGA– Inside the NetFPGA hardware– Breakneck introduction to Verilog– Exercise 1: Build your own Reference Router

• The Enhanced Reference Router– Motivation: Understanding buffer size requirements in a router– Demo 2: Observing and controlling the queue size– Using NetFPGA for research and teaching– Exercise 2: Enhancing the Reference Router

• The Life of a Packet Through the NetFPGA

Page 49: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 49 S T A N F O R D U N I V E R S I T Y

Reference Router Pipeline

• Five stages– Input– Input Arbitration– Routing Decision and

packet modification– Output Queuing– Output

• Packet-based module interface

• Pluggable design

Exerc

ise

1

Exerc

ise

1

MACRxQMACRxQ

CPURxQCPURxQ

MACRxQMACRxQ

CPURxQCPURxQ

MACRxQMACRxQ

CPURxQCPURxQ

MACRxQMACRxQ

CPURxQCPURxQ

Input ArbiterInput Arbiter

Output Port LookupOutput Port Lookup

MACTxQMACTxQ

CPUTxQCPUTxQ

MACTxQMACTxQ

CPUTxQCPUTxQ

MACTxQMACTxQ

CPUTxQCPUTxQ

MACTxQMACTxQ

CPUTxQCPUTxQ

Output QueuesOutput Queues

Page 50: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 50 S T A N F O R D U N I V E R S I T Y

Make your own router

Objectives: – Learn how to build hardware– Run the software– Explore router architecture

Execution– Start synthesis– Rerun the GUI with the new hardware– Test connectivity and statistics with pings– Explore pipeline in the details page– Explore detailed statistics in the details page

Exerc

ise

1

Exerc

ise

1

Page 51: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 51 S T A N F O R D U N I V E R S I T Y

Step 1 - Build the hardware

Start terminal, cd to “NF2/projects/tutorial_router/synth”

Start synthesis with “make”

Exerc

ise

1

Exerc

ise

1

Page 52: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 52 S T A N F O R D U N I V E R S I T Y

Step 2 - Run Homemade Router

cd to “NF2/projects/tutorial_router/sw”

Type: “tutorial_router_gui.pl” to

use the just built router hardware

The same interface should start again

Exerc

ise

1

Exerc

ise

1

Page 53: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 53 S T A N F O R D U N I V E R S I T Y

Step 4 - Connectivity and StatisticsPing any addresses

192.168.x.y where x is from 1-20 and y is 1 or 2

Open the statistics tab in the Quickstart window to see some statistics

Explore more statistics in modules under the details tab

Exerc

ise

1

Exerc

ise

1

Page 54: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 54 S T A N F O R D U N I V E R S I T Y

Step 5 - Explore Router Architecture

Click the Details tab of the Quickstart window

This is the reference router pipeline – a canonical, simple to understand, modular router pipeline

Exerc

ise

1

Exerc

ise

1

Page 55: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 55 S T A N F O R D U N I V E R S I T Y

Step 6 - Explore Output Queues

Click on the Output Queues module in the Details tab

The page gives configuration details

…and statistics

Exerc

ise

1

Exerc

ise

1

Page 56: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 56 S T A N F O R D U N I V E R S I T Y

Tutorial Outline• Background

– Basics of an IP Router– The NetFPGA Platform

• The Stanford Base Reference Router– Demo1 : Reference Router running on the NetFPGA– Inside the NetFPGA hardware– Breakneck introduction to Verilog– Exercise 1: Build your own Reference Router

• The Enhanced Reference Router– Motivation: Understanding buffer size requirements in a router– Demo 2: Observing and controlling the queue size– Using NetFPGA for research and teaching– Exercise 2: Enhancing the Reference Router

• The Life of a Packet Through the NetFPGA

Page 57: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 57 S T A N F O R D U N I V E R S I T Y

Buffer Requirements in a Router

Buffer size matters:– Small queues reduce delay– Large buffers are expensive

Theoretical tools predict requirements– Queuing theory– Large deviation theory– Mean field theory

Yet, there is no direct answer.– Flows have a closed-loop nature– Question arises on whether focus should be on

equilibrium state or transient state..

Page 58: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 58 S T A N F O R D U N I V E R S I T Y

• Universally applied rule-of-thumb:– A router needs a buffer size:– 2T is the two-way propagation delay (or just 250ms)– C is capacity of bottleneck link

• Context– Mandated in backbone and edge routers.– Appears in RFPs and IETF architectural guidelines.– Already known by inventors of TCP

• [Van Jacobson, 1988]

– Has major consequences for router design

CTB 2

CRouterSource Destination

2T

Rule-of-thumb

Page 59: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 59 S T A N F O R D U N I V E R S I T Y

The Story So Far

)(logO2

2 )2()1( Wn

CTCT

)(logO

22 )2()1( W

n

CTCT

10,000 20# packetsat 10Gb/s

1,000,000

(1) Assume: Large number of desynchronized flows; 100% utilization(2) Assume: Large number of desynchronized flows; <100% utilization

Page 60: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 60 S T A N F O R D U N I V E R S I T Y

Using NetFPGA to explore buffer size

• Need to reduce buffer size and measure occupancy

• Alas, not possible in commercial routers• So, we will use NetFPGA instead

Objective:– Use NetFPGA to understand how large a buffer

we need for a single TCP flow.

Page 61: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 61 S T A N F O R D U N I V E R S I T Y

Rule for adjusting W– If an ACK is received: W ← W+1/W– If a packet is lost: W ← W/2

Why 2TxC for a single TCP Flow?

Only W packets may be outstanding

Page 62: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 62 S T A N F O R D U N I V E R S I T Y

Time evolution of a single TCP flow through a router. Buffer is < 2T*C

Time Evolution of a Single TCP Flow

Time evolution of a single TCP flow through a router. Buffer is 2T*C

Page 63: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 63 S T A N F O R D U N I V E R S I T Y

NetFPGA Hardware Set for Demo #2

CPU x2P

CI-e

VideoServer

NICGE

PC

I-e

GE

Net-FPGA

CPU x2

NICGE

PC

I-eP

CIVideo

Client

GE

GE

GE

GE

GE

InternetRouter

Hardware

Server deliversstreaming HD videoto adjacent client

Page 64: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 64 S T A N F O R D U N I V E R S I T Y

Tutorial Outline• Background

– Basics of an IP Router– The NetFPGA Platform

• The Stanford Base Reference Router– Demo1 : Reference Router running on the NetFPGA– Inside the NetFPGA hardware– Breakneck introduction to Verilog– Exercise 1: Build your own Reference Router

• The Enhanced Reference Router– Motivation: Understanding buffer size requirements in a router– Demo 2: Observing and controlling the queue size– Using NetFPGA for research and teaching– Exercise 2: Enhancing the Reference Router

• The Life of a Packet Through the NetFPGA

Page 65: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 65 S T A N F O R D U N I V E R S I T Y

Setup for the Demo 2

Each NetFPGA card has four ports

Port 2 connected to Local Host

Port 3 connected to adjacent Server

LocalHost

Demo

2

Demo

2

NetFPGA

AdjacentServer

Page 66: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 66 S T A N F O R D U N I V E R S I T Y

Topology for Second DemonstrationRouters connected point-to-point topologyPort 3 connects to local hostPort 1 connects to adjacent neighborPorts 0 and 2 unused

.1.1 .1.2

.4.1

.4.2

.7.1

.7.2

.10.1

.10.2

.13.1

.13.2

.16.1

.16.2

.28.1

.28.2

.25.1

.25.2

.22.1

.22.2

.19.1

.19.2

Demo

2

Demo

2

.2.2

.2.1

.5.2

.5.1

.8.2

.8.1

.11.2

.11.1

.14.2

.14.1.17.2

.17.1

.20.2

.20.1

.23.2

.23.1

.26.2

.26.1

.29.2

.29.1

Page 67: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 67 S T A N F O R D U N I V E R S I T Y

Enhanced Router

Objectives – Observe router with new modules– New modules: rate limiting, delay, event capture

Execution– Run event capture router– Look at routing tables– Explore details pane– Start tcp transfer, look at queue occupancy– Change rate/delay, look at queue occupancy

Demo

2

Demo

2

Page 68: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 68 S T A N F O R D U N I V E R S I T Y

Step 1 - Run Pre-made Enhanced Router

Start terminal and cd to “NF2/projects/tutorial_router/sw/”

Type “./tut_adv_router_gui.pl”

A familiar GUI should start

Demo

2

Demo

2

Page 69: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 69 S T A N F O R D U N I V E R S I T Y

Step 3 - Explore Enhanced Router

Click on the Details tab

A similar Pipeline to the one seen previously shows with some additions

Demo

2

Demo

2

Page 70: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 70 S T A N F O R D U N I V E R S I T Y

Enhanced Router Pipeline

Two modules added1. Event Capture

to capture output queue events (writes, reads, drops)

2. Rate Limiter to create a bottleneck

Demo

2

Demo

2

MACRxQMACRxQ

CPURxQCPURxQ

MACRxQMACRxQ

CPURxQCPURxQ

MACRxQMACRxQ

CPURxQCPURxQ

MACRxQMACRxQ

CPURxQCPURxQ

Input ArbiterInput Arbiter

Output Port LookupOutput Port Lookup

MACTxQMACTxQ

CPUTxQCPUTxQ

MACTxQMACTxQ

CPUTxQCPUTxQ

MACTxQMACTxQ

CPUTxQCPUTxQ

MACTxQMACTxQ

CPUTxQCPUTxQ

Output QueuesOutput Queues

RateLimiter

RateLimiter

Event CaptureEvent Capture

Page 71: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 71 S T A N F O R D U N I V E R S I T Y

Step 4 - Decrease the Link RateTo create bottleneck and

show the TCP “sawtooth”, link-rate is decreased.

In the Details tab click the “Rate Limit” module

Check Enable

Set link rate to 1.953Mbps

Demo

2

Demo

2

Page 72: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 72 S T A N F O R D U N I V E R S I T Y

Step 5 – Decrease Queue Size

Go back to the Details Panel and click on “Output Queues”.

Select the “Output Queue 2” tab.

Change the output queues size in packets slider to 16

Demo

2

Demo

2

Page 73: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 73 S T A N F O R D U N I V E R S I T Y

Step 6 - Start Event Capture

Click on the Event Capture module under the Details tab

This should start the configuration page

Demo

2

Demo

2

Page 74: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 74 S T A N F O R D U N I V E R S I T Y

Step 7 - Configure Event Capture

Check Send to local host to receive events on the local host

Check Monitor Queue 2 to monitor output queue of MAC port1

Check “Enable Capture” to start Event capture

Demo

2

Demo

2

Page 75: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 75 S T A N F O R D U N I V E R S I T Y

Step 8 - Start TCP Transfer

We will use iperf to run a large TCP transfer and look at queue evolution

Start a terminal and cd to“NF2/projects/tutorial_router/sw”

type “iperf.sh”

Demo

2

Demo

2

Page 76: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 76 S T A N F O R D U N I V E R S I T Y

Step 9 - Look at Event Capture Results

Click on the Event Capture module under the details tab.

The sawtooth pattern should now be visible.

Demo

2

Demo

2

Page 77: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 77 S T A N F O R D U N I V E R S I T Y

Queue Occupancy Charts

Page 78: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 78 S T A N F O R D U N I V E R S I T Y

Tutorial Outline• Background

– Basics of an IP Router– The NetFPGA Platform

• The Stanford Base Reference Router– Demo1 : Reference Router running on the NetFPGA– Inside the NetFPGA hardware– Breakneck introduction to Verilog– Exercise 1: Build your own Reference Router

• The Enhanced Reference Router– Motivation: Understanding buffer size requirements in a router– Demo 2: Observing and controlling the queue size– Using NetFPGA for research and teaching– Exercise 2: Enhancing the Reference Router

• The Life of a Packet Through the NetFPGA

Page 79: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 79 S T A N F O R D U N I V E R S I T Y

NetFPGA in the Classroom

• Stanford CS344: “Build an Internet Router”– Courseware will be available later in 2007– Students work in teams of three (2 software, 1

hardware)– Design and implement hardware and software

in 8 weeks– Software: CLI, PW-OSPF– Show interoperability with other groups – Add new features in remaining two weeks

• Firewall, NAT, DRR, Packet capture, Data generator, …

Page 80: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 80 S T A N F O R D U N I V E R S I T Y

Networked FPGAs in Research

1. RCP: Congestion control• New module for parsing and overwriting new packet• New software to calculate explicit rates

2. Packet Monitoring (ICSI)• Network Shunt

3. Deep Packet Inspection (FPX)• TCP/IP Flow Reconstruction• Regular Expression Matching• Bloom Filters

4. Ethane: Network security• New switch (“managed flow-table”) deployed

5. Buffer Sizing• Reduce buffer size and measure effect on network

performance.• Need a way to set buffer size, and measure buffer

occupancy.

Page 81: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 81 S T A N F O R D U N I V E R S I T Y

Tutorial Outline• Background

– Basics of an IP Router– The NetFPGA Platform

• The Stanford Base Reference Router– Demo1 : Reference Router running on the NetFPGA– Inside the NetFPGA hardware– Breakneck introduction to Verilog– Exercise 1: Build your own Reference Router

• The Enhanced Reference Router– Motivation: Understanding buffer size requirements in a router– Demo 2: Observing and controlling the queue size– Using NetFPGA for research and teaching– Exercise 2: Enhancing the Reference Router

• The Life of a Packet Through the NetFPGA

Page 82: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 82 S T A N F O R D U N I V E R S I T Y

Enhance Your Router

Objectives – Add new modules to datapath– Synthesize and test router

Execution– Open user_datapath.v, uncomment

delay/rate/event capture modules– Synthesize– After synthesis, test the new system.

Exerc

ise

2

Exerc

ise

2

Page 83: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 83 S T A N F O R D U N I V E R S I T Y

An aside: xemacs Tips

We will be modifying the Verilog source codeSlides show xemacs, but vim also available.xemacs:

– To undo, use ctrl+shift+'-'– To cancel a multi-keystroke command, just type ctrl+g– To select lines, hold shift and press the arrow keys.– To comment some selected lines, type ctrl+c+c– To uncomment a commented block, move the cursor to

one of the lines inside the commented block and type ctrl+c+u

– To save type ctrl+x+s– To search, type ctrl+s search_pattern

Page 84: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 84 S T A N F O R D U N I V E R S I T Y

Step 1 - Open the Source

We will modify the Verilog source code to add event capture, rate limiter, and delay modules

We will simply comment and uncomment existing code

Open terminalType “xemacs

NF2/projects/tutorial_router/src/user_data_path.v

Exerc

ise

2

Exerc

ise

2

Page 85: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 85 S T A N F O R D U N I V E R S I T Y

Step 2 - Add wires

Now we need to add wires to connect the new modules

Search for “new wires” (ctrl+s new wires) then press Enter

Uncomment the wires (ctrl+c+u)

Exerc

ise

2

Exerc

ise

2

Page 86: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 86 S T A N F O R D U N I V E R S I T Y

Step 3 - Connect Event Capture

Search for opl_output (ctrl+s opl_output) then press Enter

Comment the four lines above (up, shift + up + up + up + up, ctrl+c+c)

Uncomment the block below to connect the outputs (ctrl+s opl_out, ctrl+c+u)

Exerc

ise

2

Exerc

ise

2

Page 87: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 87 S T A N F O R D U N I V E R S I T Y

Step 4 - Add the Event Capture Module

Search for evt_capture_top (ctrl+s evt_capture_top) then press Enter

Uncomment the block (ctrl+c+u)

Exerc

ise

2

Exerc

ise

2

Page 88: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 88 S T A N F O R D U N I V E R S I T Y

Step 5 - Connect the Output Queue to the Rate Limiter

Search for port_outputs (ctrl+s ports_outputs, Enter)

Comment the 4 lines above (select the four lines by using shift+arrow keys, then type ctrl+c+c)

Uncomment the commented block by scrolling down into the block and typing ctrl+c+u

Exerc

ise

2

Exerc

ise

2

Page 89: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 89 S T A N F O R D U N I V E R S I T Y

Step 6 - Add Rate Limiter

Scroll down until you reach the next “Excluded” block

Uncomment the block containing the rate limiter instantiations. (scroll into the block and type ctrl+c+u)

Save (ctrl+x+s)

Exerc

ise

2

Exerc

ise

2

Page 90: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

SIGMETICS 2007 - NetFPGA Tutorial 90 S T A N F O R D U N I V E R S I T Y

Step 7 - Build the hardware

Start terminal, cd to “NF2/projects/tutorial_router/synth”

Start synthesis with “make”

Exerc

ise

2

Exerc

ise

2

Page 91: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 91 S T A N F O R D U N I V E R S I T Y

Tutorial Outline• Background

– Basics of an IP Router– The NetFPGA Platform

• The Stanford Base Reference Router– Demo1 : Reference Router running on the NetFPGA– Inside the NetFPGA hardware– Breakneck introduction to Verilog– Exercise 1: Build your own Reference Router

• The Enhanced Reference Router– Motivation: Understanding buffer size requirements in a router– Demo 2: Observing and controlling the queue size– Using NetFPGA for research and teaching– Exercise 2: Enhancing the Reference Router

• The Life of a Packet Through the NetFPGA

Page 92: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 92 S T A N F O R D U N I V E R S I T Y

Full System Components

Software

PCI Bus

NetFPGA

CPURxQCPURxQ

CPUTxQCPUTxQ

nf2_reg_grpnf2_reg_grp

user data pathuser data path

nf2c0nf2c0 nf2c1nf2c1 nf2c2nf2c2 nf2c3nf2c3 ioctlioctl

MACTxQMACTxQ

MACRxQMACRxQ

Ethernet

CPURxQCPURxQ

CPUTxQCPUTxQ

CPURxQCPURxQ

CPUTxQCPUTxQ

CPURxQCPURxQ

CPUTxQCPUTxQ

MACTxQMACTxQ

MACRxQMACRxQ

MACTxQMACTxQ

MACRxQMACRxQ

MACTxQMACTxQ

MACRxQMACRxQ

Page 93: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 93 S T A N F O R D U N I V E R S I T Y

port0 port2192.168.2.y192.168.1.x

Life of a Packet through the hardware

Page 94: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 94 S T A N F O R D U N I V E R S I T Y

Router Stages Again

MACRxQMACRxQ

CPURxQCPURxQ

MACRxQMACRxQ

CPURxQCPURxQ

MACRxQMACRxQ

CPURxQCPURxQ

MACRxQMACRxQ

CPURxQCPURxQ

Input ArbiterInput Arbiter

Output Port LookupOutput Port Lookup

MACTxQMACTxQ

CPUTxQCPUTxQ

MACTxQMACTxQ

CPUTxQCPUTxQ

MACTxQMACTxQ

CPUTxQCPUTxQ

MACTxQMACTxQ

CPUTxQCPUTxQ

Output QueuesOutput Queues

Page 95: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 95 S T A N F O R D U N I V E R S I T Y

Inter-module Communication

Using “Module Headers”:

IP Hdr

Eth Hdr

0

0

0

Last word of packet0x10

Last Module Hdry

……

Module Hdrx Contain information such as packet length, input port, output port, …

Data Word(64 bits)

Ctrl Word(8 bits)

Page 96: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 96 S T A N F O R D U N I V E R S I T Y

data

Inter-module Communication

ctrlwr

rdy

Page 97: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 97 S T A N F O R D U N I V E R S I T Y

MAC Rx Queue

Page 98: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 98 S T A N F O R D U N I V E R S I T Y

Rx Queue

IP Hdr:IP Dst: 192.168.2.3,

TTL: 64, Csum:0x3ab4

Eth Hdr:Dst MAC = port 0,

Ethertype = IP

Data

0

0

0

Pkt length,input port = 0

0xff

Page 99: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 99 S T A N F O R D U N I V E R S I T Y

Input Arbiter

Pkt

Pkt

Pkt

Page 100: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 100 S T A N F O R D U N I V E R S I T Y

Output Port Lookup

Page 101: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 101 S T A N F O R D U N I V E R S I T Y

IP Hdr:IP Dst: 192.168.2.3,

TTL: 64, Csum:0x3ab4

IP Hdr:IP Dst: 192.168.2.3,

TTL: 63, Csum:0x3ac2

Output Port Lookup

EthHdr: Dst MAC = 0Src MAC = x,

Ethertype = IP

Data

0

0

0

Pkt length,input port = 0

0xff

output port = 40x04

1- Check input port matches

Dst MAC

2- Check TTL, checksum

3- Lookup next hop IP & output port

(LPM)

4- Lookup next hop MAC address (ARP)

5- Add output port module

6- Modify MAC Dst and Src addresses

7-Decrement TTL and update

checksum

EthHdr: Dst MAC = nextHop Src MAC = port 4,

Ethertype = IP

Page 102: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 102 S T A N F O R D U N I V E R S I T Y

Output Queues

OQ0

OQ4

OQ7

Page 103: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 103 S T A N F O R D U N I V E R S I T Y

MAC Tx Queue

Page 104: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 104 S T A N F O R D U N I V E R S I T Y

MAC Tx Queue

IP Hdr:IP Dst: 192.168.2.3,

TTL: 64, Csum:0x3ab4

IP Hdr:IP Dst: 192.168.2.3,

TTL: 63, Csum:0x3ac2

EthHdr: Dst MAC = nextHop Src MAC = port 4,

Ethertype = IP

Data

0

0

0

Pkt length,input port = 0

0xff

output port = 40x04

Page 105: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 105 S T A N F O R D U N I V E R S I T Y

Exception Packet

• Example: TTL = 0 or TTL = 1• Packet has to be sent to the CPU which will

generate an ICMP packet as a response• Difference starts at the Output Port lookup

stage

Page 106: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 106 S T A N F O R D U N I V E R S I T Y

Exception Packet Path

Software

PCI Bus

NetFPGA

CPURxQCPURxQ

CPUTxQCPUTxQ

CPURxQCPURxQ

CPUTxQCPUTxQ

CPURxQCPURxQ

CPUTxQCPUTxQ

CPURxQCPURxQ

CPUTxQCPUTxQ

nf2_reg_grpnf2_reg_grp

user data pathuser data path

nf2c0nf2c0 nf2c1nf2c1 nf2c2nf2c2 nf2c3nf2c3 ioctlioctl

MACTxQMACTxQ

MACRxQMACRxQ

MACTxQMACTxQ

MACRxQMACRxQ

MACTxQMACTxQ

MACRxQMACRxQ

MACTxQMACTxQ

MACRxQMACRxQ

Ethernet

Page 107: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 107 S T A N F O R D U N I V E R S I T Y

IP Hdr:IP Dst: 192.168.2.3,

TTL: 1, Csum:0x3ab4

Output Port Lookup

EthHdr: Dst MAC = 0,Src MAC = x,

Ethertype = IP

Data

0

0

0

Pkt length,input port = 0

0xff

output port = 10x04

1- Check input port matches

Dst MAC

2- Check TTL, checksum – EXCEPTION!

3- Add output port module

Page 108: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 108 S T A N F O R D U N I V E R S I T Y

Output Queues

OQ0

OQ1

OQ2

OQ7

Page 109: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 109 S T A N F O R D U N I V E R S I T Y

CPU Tx Queue

Page 110: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 110 S T A N F O R D U N I V E R S I T Y

CPU Tx Queue

IP Hdr:IP Dst: 192.168.2.3,

TTL: 1, Csum:0x3ab4

EthHdr: Dst MAC = 0, Src MAC = x,

Ethertype = IP

Data

0

0

0

Pkt length,input port = 0

0xff

output port = 10x04

Page 111: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 111 S T A N F O R D U N I V E R S I T Y

ICMP Packet

• For the ICMP packet, the packet arrives at the CPU Rx Queue from the PCI Bus

• Follows the same path as a packet from the MAC until the Output Port Lookup.

• The OPL module seeing the packet is from the CPU Rx Queue 1, sets the output port directly to 0.

• The packet then continues on the same path as the non-exception packet to the Output Queues and then MAC Tx queue 0.

Page 112: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 112 S T A N F O R D U N I V E R S I T Y

ICMP Packet Path

Software

PCI Bus

NetFPGA

CPURxQCPURxQ

CPUTxQCPUTxQ

CPURxQCPURxQ

CPUTxQCPUTxQ

CPURxQCPURxQ

CPUTxQCPUTxQ

CPURxQCPURxQ

CPUTxQCPUTxQ

nf2_reg_grpnf2_reg_grp

user data pathuser data path

nf2c0nf2c0 nf2c1nf2c1 nf2c2nf2c2 nf2c3nf2c3 ioctlioctl

MACTxQMACTxQ

MACRxQMACRxQ

MACTxQMACTxQ

MACRxQMACRxQ

MACTxQMACTxQ

MACRxQMACRxQ

MACTxQMACTxQ

MACRxQMACRxQ

Ethernet

Page 113: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 113 S T A N F O R D U N I V E R S I T Y

NetFPGA-Host Interaction

• Linux driver interfaces with hardware– Packet interface via standard Linux network

stack

– Register reads/writes via ioctl system call (with convenience wrapper functions)

• readReg(nf2device *dev, int address, unsigned *rd_data)• writeReg(nf2device *dev, int address, unsigned *wr_data)

eg:readReg(&nf2, OQ_NUM_PKTS_STORED_0, &val);

Page 114: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 114 S T A N F O R D U N I V E R S I T Y

NetFPGA-Host Interaction

NetFPGA to host packet transferNetFPGA to host packet transfer

PC

I Bu

sP

CI B

us

2. Interrupt notifies driver of packet arrival

2. Interrupt notifies driver of packet arrival

3. Driver sets up and initiates DMA transfer

3. Driver sets up and initiates DMA transfer

1. Packet arrives – forwarding table sends to CPU queue

1. Packet arrives – forwarding table sends to CPU queue

Page 115: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 115 S T A N F O R D U N I V E R S I T Y

NetFPGA-Host Interaction

NetFPGA to host packet transfer (cont)NetFPGA to host packet transfer (cont)

PC

I Bu

sP

CI B

us

4. NetFPGA transfers packet via DMA

4. NetFPGA transfers packet via DMA

5. Interrupt signals completion of DMA

5. Interrupt signals completion of DMA

6. Driver passes packet to network stack6. Driver passes packet to network stack

Page 116: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 116 S T A N F O R D U N I V E R S I T Y

NetFPGA-Host Interaction

Host to NetFPGA packet transfersHost to NetFPGA packet transfers

PC

I Bu

sP

CI B

us

3. Interrupt signals completion of DMA

3. Interrupt signals completion of DMA

1. Software sends packet via network sockets. Packet delivered to driver.

1. Software sends packet via network sockets. Packet delivered to driver.

2. Driver sets up and initiates DMA transfer

2. Driver sets up and initiates DMA transfer

Page 117: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 117 S T A N F O R D U N I V E R S I T Y

NetFPGA-Host Interaction

Register accessRegister access

PC

I Bu

sP

CI B

us

1. Software makes ioctl call on network socket. ioctl passed to driver.

1. Software makes ioctl call on network socket. ioctl passed to driver.

2. Driver performs PCI memory read/write

2. Driver performs PCI memory read/write

Page 118: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 118 S T A N F O R D U N I V E R S I T Y

NetFPGA-Host Interaction

• Packet transfers shown using DMA interface

• Alternative: use programmed IO to transfer packets via register reads/writes– slower but eliminates the need to deal with

network sockets

Page 119: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 119 S T A N F O R D U N I V E R S I T Y

Step 8 – Perfect the Router

If interested, go back to “Demo 2: Step 1” after synthesis is done and redo the steps with your own router.

You can also change the bandwidth and queue size settings to see how that effects the queue occupancy evolution.

To run your router:1- cd NF2/projects/tutorial_router/sw2- type “./tut_adv_router_gui.pl --use_bin

../../../bitfiles/tutorial_router.bit”

Exerc

ise

2

Exerc

ise

2

Page 120: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 120 S T A N F O R D U N I V E R S I T Y

We’re done!

Congratulations!

Page 121: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 121 S T A N F O R D U N I V E R S I T Y

Acknowledgements

Jianying Luo, Glen Gibb, Nick McKeown, Greg Watson, Jim Weaver, Jad Naous, Ramanan Raghuraman,

Paul Hartke, John Lockwood

NetFPGA Team : January 2007

Page 122: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 122 S T A N F O R D U N I V E R S I T Y

Acknowledgements

• Support for the NetFPGA project has been provided by the following companies and institutions

Disclaimer: Any opinions, findings, conclusions, or recommendations expressed in this material do not necessarily reflect the views of the National Science Foundation or of any other sponsors supporting this project.

Page 123: Building Gigabit-rate Routers with the NetFPGA:  NICTA Tutorial at UNSW

NICTA 2008 - NetFPGA Tutorial 123 S T A N F O R D U N I V E R S I T Y

Reference on the Web

NetFPGA homepage

http://NetFPGA.org