zoukankan      html  css  js  c++  java
  • 2019 SDN上机第7次作业

    1.补充并运行basic代码

    根据P4教程,将basicbasic_tunnel两个案例程序补充完整,成功运行。

    补充Basic代码:

    /* -*- P4_16 -*- */
    #include <core.p4>
    #include <v1model.p4>
    
    const bit<16> TYPE_IPV4 = 0x800;
    
    /*************************************************************************
    *********************** H E A D E R S  ***********************************
    *************************************************************************/
    
    typedef bit<9>  egressSpec_t;
    typedef bit<48> macAddr_t;
    typedef bit<32> ip4Addr_t;
    
    header ethernet_t {
        macAddr_t dstAddr;
        macAddr_t srcAddr;
        bit<16>   etherType;
    }
    
    header ipv4_t {
        bit<4>    version;
        bit<4>    ihl;
        bit<8>    diffserv;
        bit<16>   totalLen;
        bit<16>   identification;
        bit<3>    flags;
        bit<13>   fragOffset;
        bit<8>    ttl;
        bit<8>    protocol;
        bit<16>   hdrChecksum;
        ip4Addr_t srcAddr;
        ip4Addr_t dstAddr;
    }
    
    struct metadata {
        /* empty */
    }
    
    struct headers {
        ethernet_t   ethernet;
        ipv4_t       ipv4;
    }
    
    /*************************************************************************
    *********************** P A R S E R  ***********************************
    *************************************************************************/
    
    parser MyParser(packet_in packet,
                    out headers hdr,
                    inout metadata meta,
                    inout standard_metadata_t standard_metadata) {
    
        state start {
            transition parse_ethernet;
        }
    
        state parse_ethernet {
            packet.extract(hdr.ethernet);
            transition select(hdr.ethernet.etherType) {
                TYPE_IPV4: parse_ipv4;
                default: accept;
            }
        }
    
        state parse_ipv4 {
            packet.extract(hdr.ipv4);
            transition accept;
        }
    
    }
    
    /*************************************************************************
    ************   C H E C K S U M    V E R I F I C A T I O N   *************
    *************************************************************************/
    
    control MyVerifyChecksum(inout headers hdr, inout metadata meta) {   
        apply {  }
    }
    
    
    /*************************************************************************
    **************  I N G R E S S   P R O C E S S I N G   *******************
    *************************************************************************/
    
    control MyIngress(inout headers hdr,
                      inout metadata meta,
                      inout standard_metadata_t standard_metadata) {
        action drop() {
            mark_to_drop(standard_metadata);
        }
        
        action ipv4_forward(macAddr_t dstAddr, egressSpec_t port) {
            standard_metadata.egress_spec = port;
            hdr.ethernet.srcAddr = hdr.ethernet.dstAddr;
            hdr.ethernet.dstAddr = dstAddr;
            hdr.ipv4.ttl = hdr.ipv4.ttl - 1;
        }
        
        table ipv4_lpm {
            key = {
                hdr.ipv4.dstAddr: lpm;
            }
            actions = {
                ipv4_forward;
                drop;
                NoAction;
            }
            size = 1024;
            default_action = drop();
        }
        
        apply {
            if (hdr.ipv4.isValid()) {
                ipv4_lpm.apply();
            }
        }
    }
    
    /*************************************************************************
    ****************  E G R E S S   P R O C E S S I N G   *******************
    *************************************************************************/
    
    control MyEgress(inout headers hdr,
                     inout metadata meta,
                     inout standard_metadata_t standard_metadata) {
        apply {  }
    }
    
    /*************************************************************************
    *************   C H E C K S U M    C O M P U T A T I O N   **************
    *************************************************************************/
    
    control MyComputeChecksum(inout headers  hdr, inout metadata meta) {
         apply {
    	update_checksum(
    	    hdr.ipv4.isValid(),
                { hdr.ipv4.version,
    	      hdr.ipv4.ihl,
                  hdr.ipv4.diffserv,
                  hdr.ipv4.totalLen,
                  hdr.ipv4.identification,
                  hdr.ipv4.flags,
                  hdr.ipv4.fragOffset,
                  hdr.ipv4.ttl,
                  hdr.ipv4.protocol,
                  hdr.ipv4.srcAddr,
                  hdr.ipv4.dstAddr },
                hdr.ipv4.hdrChecksum,
                HashAlgorithm.csum16);
        }
    }
    
    /*************************************************************************
    ***********************  D E P A R S E R  *******************************
    *************************************************************************/
    
    control MyDeparser(packet_out packet, in headers hdr) {
        apply {
            packet.emit(hdr.ethernet);
            packet.emit(hdr.ipv4);
        }
    }
    
    /*************************************************************************
    ***********************  S W I T C H  *******************************
    *************************************************************************/
    
    V1Switch(
    MyParser(),
    MyVerifyChecksum(),
    MyIngress(),
    MyEgress(),
    MyComputeChecksum(),
    MyDeparser()
    ) main;
    
    

    打开终端,在对应目录下输入代码 make run


    在mininet下进行ping通测试,先将数据包从h1发送到h2
    然后进行全部主机之间的连通测试,都连通,证明代码补充成功

    补充Basic_tunnel代码:

    /* -*- P4_16 -*- */
    #include <core.p4>
    #include <v1model.p4>
    
    const bit<16> TYPE_MYTUNNEL = 0x1212;
    const bit<16> TYPE_IPV4 = 0x800;
    
    /*************************************************************************
    *********************** H E A D E R S  ***********************************
    *************************************************************************/
    
    typedef bit<9>  egressSpec_t;
    typedef bit<48> macAddr_t;
    typedef bit<32> ip4Addr_t;
    
    header ethernet_t {
        macAddr_t dstAddr;
        macAddr_t srcAddr;
        bit<16>   etherType;
    }
    
    header myTunnel_t {
        bit<16> proto_id;
        bit<16> dst_id;
    }
    
    header ipv4_t {
        bit<4>    version;
        bit<4>    ihl;
        bit<8>    diffserv;
        bit<16>   totalLen;
        bit<16>   identification;
        bit<3>    flags;
        bit<13>   fragOffset;
        bit<8>    ttl;
        bit<8>    protocol;
        bit<16>   hdrChecksum;
        ip4Addr_t srcAddr;
        ip4Addr_t dstAddr;
    }
    
    struct metadata {
        /* empty */
    }
    
    struct headers {
        ethernet_t   ethernet;
        myTunnel_t   myTunnel;
        ipv4_t       ipv4;
    }
    
    /*************************************************************************
    *********************** P A R S E R  ***********************************
    *************************************************************************/
    
    parser MyParser(packet_in packet,
                    out headers hdr,
                    inout metadata meta,
                    inout standard_metadata_t standard_metadata) {
    
        state start {
            transition parse_ethernet;
        }
    
        state parse_ethernet {
            packet.extract(hdr.ethernet);
            transition select(hdr.ethernet.etherType) {
                TYPE_MYTUNNEL: parse_myTunnel;
                TYPE_IPV4: parse_ipv4;
                default: accept;
            }
        }
    
        state parse_myTunnel {
            packet.extract(hdr.myTunnel);
            transition select(hdr.myTunnel.proto_id) {
                TYPE_IPV4: parse_ipv4;
                default: accept;
            }
        }
    
        state parse_ipv4 {
            packet.extract(hdr.ipv4);
            transition accept;
        }
    
    }
    
    /*************************************************************************
    ************   C H E C K S U M    V E R I F I C A T I O N   *************
    *************************************************************************/
    
    control MyVerifyChecksum(inout headers hdr, inout metadata meta) {   
        apply {  }
    }
    
    
    /*************************************************************************
    **************  I N G R E S S   P R O C E S S I N G   *******************
    *************************************************************************/
    
    control MyIngress(inout headers hdr,
                      inout metadata meta,
                      inout standard_metadata_t standard_metadata) {
        action drop() {
            mark_to_drop(standard_metadata);
        }
        
        action ipv4_forward(macAddr_t dstAddr, egressSpec_t port) {
            standard_metadata.egress_spec = port;
            hdr.ethernet.srcAddr = hdr.ethernet.dstAddr;
            hdr.ethernet.dstAddr = dstAddr;
            hdr.ipv4.ttl = hdr.ipv4.ttl - 1;
        }
        
        table ipv4_lpm {
            key = {
                hdr.ipv4.dstAddr: lpm;
            }
            actions = {
                ipv4_forward;
                drop;
                NoAction;
            }
            size = 1024;
            default_action = drop();
        }
        
        action myTunnel_forward(egressSpec_t port) {
            standard_metadata.egress_spec = port;
        }
    
        table myTunnel_exact {
            key = {
                hdr.myTunnel.dst_id: exact;
            }
            actions = {
                myTunnel_forward;
                drop;
            }
            size = 1024;
            default_action = drop();
        }
    
        apply {
            if (hdr.ipv4.isValid() && !hdr.myTunnel.isValid()) {
                // Process only non-tunneled IPv4 packets
                ipv4_lpm.apply();
            }
    
            if (hdr.myTunnel.isValid()) {
                // process tunneled packets
                myTunnel_exact.apply();
            }
        }
    }
    
    /*************************************************************************
    ****************  E G R E S S   P R O C E S S I N G   *******************
    *************************************************************************/
    
    control MyEgress(inout headers hdr,
                     inout metadata meta,
                     inout standard_metadata_t standard_metadata) {
        apply {  }
    }
    
    /*************************************************************************
    *************   C H E C K S U M    C O M P U T A T I O N   **************
    *************************************************************************/
    
    control MyComputeChecksum(inout headers  hdr, inout metadata meta) {
         apply {
    	update_checksum(
    	    hdr.ipv4.isValid(),
                { hdr.ipv4.version,
    	      hdr.ipv4.ihl,
                  hdr.ipv4.diffserv,
                  hdr.ipv4.totalLen,
                  hdr.ipv4.identification,
                  hdr.ipv4.flags,
                  hdr.ipv4.fragOffset,
                  hdr.ipv4.ttl,
                  hdr.ipv4.protocol,
                  hdr.ipv4.srcAddr,
                  hdr.ipv4.dstAddr },
                hdr.ipv4.hdrChecksum,
                HashAlgorithm.csum16);
        }
    }
    
    /*************************************************************************
    ***********************  D E P A R S E R  *******************************
    *************************************************************************/
    
    control MyDeparser(packet_out packet, in headers hdr) {
        apply {
            packet.emit(hdr.ethernet);
            packet.emit(hdr.myTunnel);
            packet.emit(hdr.ipv4);
        }
    }
    
    /*************************************************************************
    ***********************  S W I T C H  *******************************
    *************************************************************************/
    
    V1Switch(
    MyParser(),
    MyVerifyChecksum(),
    MyIngress(),
    MyEgress(),
    MyComputeChecksum(),
    MyDeparser()
    ) main;
    
    

    打开终端,在对应目录下输入代码 make run

    在mininet命令提示符界面下输入xterm h1 h2来打开两个终端:

    1. 先在主机2的xterm界面输入./receive.py启动服务器

    2. 然后在主机1的界面输入 ./send.py 10.0.2.2 "wtf???" 发送信息

    3. 检查主机2的界面,可以看到已经接收到了信息,内容包括以太头部,IP头部,TCP头部以及发送的信息

    4. 接着在主机1的界面更改dst_id,再次发送信息

    5. 检查主机2的界面,可以看到已经接收到了信息,内容包括以太头部,IP头部,TCP头部以及发送的信息

    6. 接着在主机1的界面修改IP地址,再一次发送信息./send.py 10.0.3.3 "wtf???" --dst_id 2

    3.对P4的认识和体会

    Openflow强调控制层面的逻辑控制,P4是在Openflow以上进一步的概念,可以进一步控制数据包怎么处理,可以更方便地定位数据包发送的目标地址 。但是依旧对这方面懵懵懂懂,希望自己努力学习吧!

  • 相关阅读:
    [微信篇]ESP8266-NonOS学习笔记(十一)之微信小程序控制LED灯 Part 1
    [外设篇]ESP8266-SDK教程(十)之DHT11、OLED1306
    [基础篇]ESP32-RTOS-SDK教程(一)之Windows环境搭建
    [网络篇]ESP8266-SDK教程(九)之物联网标配MQTT实际测试
    [网络篇]ESP8266-SDK教程(八)之物联网标配MQTT服务端软件
    [网络篇]ESP8266-SDK教程(七)之物联网标配MQTT初相识
    [网络篇]ESP8266-SDK教程(六)之网页配置Wi-Fi名称和密码
    [网络篇]ESP8266-SDK教程(五)之SmartConfig、Airkiss等多种配网方式
    [基础篇]ESP8266-SDK教程(四)之GPIO操作(按键、LED、中断、定时器)
    [网络篇]ESP8266-SDK教程(三)之TCP通信Server<->Client
  • 原文地址:https://www.cnblogs.com/HuangYH723/p/12025135.html
Copyright © 2011-2022 走看看