This repository contain essential networking functionalities—TCP/UDP protocols and ACLs—using the P4 programming language.
-
Install VirtualBox
Ensure you have VirtualBox installed on your system. -
Clone this Repository
Use the following commands to clone the project repository and navigate to the project directory:git clone https://github.com/your-repo.git cd your-repo cd course-net/spring2021-1/assignment2
-
Explore Resources Utilize the P4 tutorial and cheatsheet as valuable references throughout the development process.
Develop a P4 program to implement the functionality of the TCP and UDP transport layer protocols on a switch.
let's compile the incomplete acl.p4
and bring up a switch in Mininet to test its behavior.
-
In your shell, run:
make run
This will:
- compile
acl.p4
, and - start a Mininet instance with one switch (
s1
) connected to four hosts (h1
,h2
,h3
andh4
). Mininet is a network simulator that can simulate a virtual network in the VM. - The hosts are assigned with IP addresses of
10.0.1.1
,10.0.1.2
,10.0.1.3
and10.0.1.4
. The output of this command line may be useful when you debug.
- compile
-
You should now see a Mininet command prompt. Open two terminals for
h1
andh2
, respectively:mininet> xterm h1 h2
-
Each host includes a small Python-based messaging client and server. In
h2
's xterm, go to the current exercise folder (cd exercises/acl
) and start the server with the listening port:./receive.py 80
-
In
h1
's xterm, go to the current exercise folder (cd exercises/acl
) and send a message toh2
:./send.py 10.0.1.2 UDP 80 "P4 IS COOL"
The command line means
h1
will send a message to10.0.1.2
with udp.dstport=80. The message will not be received and displayed inh2
.A P4 program defines a packet-processing pipeline, but the rules within each table are inserted by the control plane. When a rule matches a packet, its action is invoked with parameters supplied by the control plane as part of the rule.
As part of bringing up the Mininet instance, the
make run
command will install packet-processing rules in the tables of each switch. These are defined in thes1-acl.json
files.Important: We use P4Runtime to install the control plane rules. The content of files
s1-acl.json
refer to specific names of tables, keys, and actions, as defined in the P4Info file produced by the compiler (look for the filebuild/acl.p4info
after executingmake run
). Any changes in the P4 program that add or rename tables, keys, or actions will need to be reflected in theses1-acl.json
files.
Create a P4 program to enforce an ACL on a switch, allowing or blocking network traffic based on predefined rules.
A complete acl.p4
will contain the following components:
- Header type definitions for Ethernet (
ethernet_t
), IPv4 (ipv4_t
), TCP (tcp_t
) and UDP (udp_t
). - Parsers for Ethernet, IPv4, TCP or UDP headers.
- An action
drop()
to drop a packet, usingmark_to_drop()
. - An action (called
ipv4_forward
) that:- Sets the egress port for the next hop.
- Updates the ethernet destination address with the address of the next hop.
- Updates the ethernet source address with the address of the switch.
- Decrements the TTL.
- A control that:
- Defines a table that will match IP dstAddr and UDP dstPort, and
invoke either
drop
orNoAction
. - An
apply
block that applies the table. - Rules added to
s1-acl.json
that denies all the UDP packets with dstPort=80 or dstAddr=10.0.1.4.
- Defines a table that will match IP dstAddr and UDP dstPort, and
invoke either
- A
package
instantiation supplied with the parser, control, and deparser.In general, a package also requires instances of checksum verification and recomputation controls. These are not necessary for this assignment and are replaced with instantiations of empty controls.