109 lines
2.4 KiB
Text
109 lines
2.4 KiB
Text
#include <core.p4>
|
|
#include <sume_switch.p4>
|
|
|
|
/*
|
|
Switch Calculator:
|
|
P4 program to use switch as a calculator and key-value lookup engine
|
|
*/
|
|
|
|
typedef bit<48> EthAddr_t;
|
|
|
|
#define REG_READ 8w0
|
|
#define REG_WRITE 8w1
|
|
|
|
#define INDEX_WIDTH 4 // determines depth of const register
|
|
|
|
// define opCode types
|
|
#define ADD_OP 8w0
|
|
#define SUB_OP 8w1
|
|
#define LOOKUP_OP 8w2
|
|
#define ADD_REG_OP 8w3
|
|
#define SET_REG_OP 8w4
|
|
|
|
// standard Ethernet header
|
|
header Ethernet_h {
|
|
EthAddr_t dstAddr;
|
|
EthAddr_t srcAddr;
|
|
bit<16> etherType;
|
|
}
|
|
|
|
// List of all recognized headers
|
|
struct Parsed_packet {
|
|
Ethernet_h ethernet;
|
|
}
|
|
|
|
// user defined metadata: can be used to share information between
|
|
// TopParser, TopPipe, and TopDeparser
|
|
struct user_metadata_t {
|
|
bit<8> unused;
|
|
}
|
|
|
|
// digest_data, MUST be 256 bits
|
|
struct digest_data_t {
|
|
bit<256> unused;
|
|
}
|
|
|
|
// Parser Implementation
|
|
@Xilinx_MaxPacketRegion(1024)
|
|
parser TopParser(packet_in b,
|
|
out Parsed_packet p,
|
|
out user_metadata_t user_metadata,
|
|
out digest_data_t digest_data,
|
|
inout sume_metadata_t sume_metadata) {
|
|
state start {
|
|
b.extract(p.ethernet);
|
|
user_metadata.unused = 0;
|
|
digest_data.unused = 0;
|
|
|
|
transition accept;
|
|
}
|
|
}
|
|
|
|
// match-action pipeline
|
|
control TopPipe(inout Parsed_packet p,
|
|
inout user_metadata_t user_metadata,
|
|
inout digest_data_t digest_data,
|
|
inout sume_metadata_t sume_metadata) {
|
|
|
|
action swap_eth_addresses() {
|
|
EthAddr_t temp = p.ethernet.dstAddr;
|
|
p.ethernet.dstAddr = p.ethernet.srcAddr;
|
|
p.ethernet.srcAddr = temp;
|
|
}
|
|
|
|
action do_nothing() {
|
|
EthAddr_t temp = p.ethernet.dstAddr;
|
|
}
|
|
|
|
table lookup_table {
|
|
key = { p.ethernet.dstAddr: exact; }
|
|
|
|
actions = {
|
|
swap_eth_addresses;
|
|
do_nothing;
|
|
}
|
|
size = 64;
|
|
default_action = do_nothing;
|
|
}
|
|
|
|
apply {
|
|
lookup_table.apply();
|
|
}
|
|
}
|
|
|
|
|
|
// Deparser Implementation
|
|
@Xilinx_MaxPacketRegion(1024)
|
|
control TopDeparser(packet_out b,
|
|
in Parsed_packet p,
|
|
in user_metadata_t user_metadata,
|
|
inout digest_data_t digest_data,
|
|
inout sume_metadata_t sume_metadata) {
|
|
apply {
|
|
b.emit(p.ethernet);
|
|
}
|
|
}
|
|
|
|
|
|
// Instantiate the switch
|
|
SimpleSumeSwitch(TopParser(), TopPipe(), TopDeparser()) main;
|