orchestrator.yml 10.1 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35
##########################################
# Header instance definitions            #
##########################################

errors:
    type: enum
    values:
    -   NoError: 1
    -   PacketTooShort: 2
    -   NoMatch: 3
    -   StackOutOfBounds: 4
    -   HeaderTooShort: 5
    -   ParserTimeout: 6

ethernet:
    fields:
    -   dstAddr: 48
    -   srcAddr: 48
    -   etherType: 16
    type: header

exec_hdr:
    fields:
    -   function_count: 8
    -   function: 8
    type: metadata

ing_metadata:
    fields:
    -   drop: 1
    -   egress_port: 9
    -   packet_type: 4
    -   _padding: 2
    type: metadata

36 37 38 39 40
ingress::act::scalars:
    fields:
    -   pc2: 64
    type: metadata

41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69
ipv4:
    calculated_fields:
    -   condition: valid(ipv4)
        field: hdrChecksum
        func: calc
        type: verify
    -   condition: valid(ipv4)
        field: hdrChecksum
        func: calc_0
        type: update
    fields:
    -   version: 4
    -   ihl: 4
    -   diffserv: 8
    -   totalLen: 16
    -   identification: 16
    -   flags: 3
    -   fragOffset: 13
    -   ttl: 8
    -   protocol: 8
    -   hdrChecksum: 16
    -   srcAddr: 32
    -   dstAddr: 32
    type: header

map_hdr:
    fields:
    -   chain_id: 32
    -   exec_id: 32
70
    -   function_id: 32
71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112
    -   data: 32
    -   function_count: 8
    -   f0: 8
    -   f1: 8
    -   f2: 8
    -   f3: 8
    -   f4: 8
    type: header

resubmit_meta:
    fields:
    -   current_state: 8
    -   data: 32
    type: metadata

standard_metadata:
    fields:
    -   ingress_port: 16
    -   packet_length: 14
    -   egress_spec: 16
    -   egress_port: 16
    -   egress_instance: 10
    -   instance_type: 4
    -   clone_spec: 32
    -   parser_error_location: 8
    -   parser_status: 3
    -   checksum_error: 1
    type: metadata

udp:
    fields:
    -   srcPort: 16
    -   dstPort: 16
    -   length_: 16
    -   checksum: 16
    type: header


##########################################
# Register definitions                   #
##########################################

Mahendra Patel's avatar
Mahendra Patel committed
113 114 115 116 117 118 119
batch:
    class: global
    fields:
    -   value: 8
    instance_count: 16384
    type: register

120 121 122 123 124 125 126 127 128 129 130 131 132 133
current_state:
    class: global
    fields:
    -   value: 8
    instance_count: 16384
    type: register

dispatch_state:
    class: global
    fields:
    -   value: 8
    instance_count: 16384
    type: register

134 135 136 137 138 139 140 141 142 143 144 145 146 147
function_id_check:
    class: global
    fields:
    -   value: 8
    instance_count: 1
    type: register

fwd_checks:
    class: global
    fields:
    -   value: 64
    instance_count: 1
    type: register

148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204

##########################################
# Field list definitions                 #
##########################################

field_list_1:
    fields:
    - ipv4.version
    - ipv4.ihl
    - ipv4.diffserv
    - ipv4.totalLen
    - ipv4.identification
    - ipv4.flags
    - ipv4.fragOffset
    - ipv4.ttl
    - ipv4.protocol
    - ipv4.srcAddr
    - ipv4.dstAddr
    type: field_list


##########################################
# Field list calculations                #
##########################################

calc:
    algorithm: csum16
    inputs:
    - field_list_1
    output_width: 16
    type: field_list_calculation

calc_0:
    algorithm: csum16
    inputs:
    - field_list_1
    output_width: 16
    type: field_list_calculation


##########################################
# Parse states                           #
##########################################

parse_ipv4:
    implementation: extract(ipv4);
    select_value:
    - ipv4.fragOffset
    - ipv4.ihl
    - ipv4.protocol
    src_filename: p4src/includes/parsers.p4
    src_lineno: 3
    type: parse_state

parse_map_hdr:
    implementation: extract(map_hdr);
    src_filename: p4src/includes/parsers.p4
Mahendra Patel's avatar
Mahendra Patel committed
205
    src_lineno: 34
206 207 208 209 210 211 212
    type: parse_state

parse_udp:
    implementation: extract(udp);
    select_value:
    - udp.dstPort
    src_filename: p4src/includes/parsers.p4
Mahendra Patel's avatar
Mahendra Patel committed
213
    src_lineno: 12
214 215 216 217 218 219 220
    type: parse_state

start:
    implementation: extract(ethernet);
    select_value:
    - ethernet.etherType
    src_filename: p4src/includes/parsers.p4
Mahendra Patel's avatar
Mahendra Patel committed
221
    src_lineno: 39
222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237
    type: parse_state


##########################################
# Parser                                 #
##########################################

parser:
    format: dot
    implementation: |-
        digraph {
            start -> parse_ipv4 [value="0x0800", mask="none", order="0"]
            start -> exit [value="default", mask="none", order="1"]
            parse_ipv4 -> parse_udp [value="0x00000511", mask="0x00000fff", order="0"]
            parse_ipv4 -> exit [value="default", mask="none", order="1"]
            parse_udp -> parse_map_hdr [value="0x1f40", mask="none", order="0"]
Mahendra Patel's avatar
Mahendra Patel committed
238 239 240 241 242 243 244 245 246 247
            parse_udp -> parse_map_hdr [value="0x2329", mask="none", order="1"]
            parse_udp -> parse_map_hdr [value="0x232a", mask="none", order="2"]
            parse_udp -> parse_map_hdr [value="0x232b", mask="none", order="3"]
            parse_udp -> parse_map_hdr [value="0x232c", mask="none", order="4"]
            parse_udp -> parse_map_hdr [value="0x232d", mask="none", order="5"]
            parse_udp -> parse_map_hdr [value="0x232e", mask="none", order="6"]
            parse_udp -> parse_map_hdr [value="0x232f", mask="none", order="7"]
            parse_udp -> parse_map_hdr [value="0x2382", mask="none", order="8"]
            parse_udp -> parse_map_hdr [value="0x2328", mask="none", order="9"]
            parse_udp -> exit [value="default", mask="none", order="10"]
248 249 250 251 252 253
            parse_map_hdr -> exit [value="default", mask="none", order="0"]
        }
    start_state: start
    type: parser


254 255 256 257 258 259 260 261 262 263
##########################################
# Action Expressions                     #
##########################################

_expression_act_0:
    expression: ((((ingress::act::scalars.pc2) + (0x0000000000000001))) & (0xffffffffffffffff))
    format: bracketed_expr
    type: expression


264 265 266 267 268 269 270
##########################################
# Action sets                            #
##########################################

egress::fix_checksum:
    implementation: modify_field(udp.checksum, 0x0000);
    src_filename: p4src/orchestrator.p4
271 272 273 274 275 276 277 278 279 280
    src_lineno: 93
    type: action

ingress::act:
    implementation: |-
        register_read(ingress::act::scalars.pc2, fwd_checks.value, 0x00000000);
        modify_field(ingress::act::scalars.pc2, _expression_act_0);
        register_write(fwd_checks.value, 0x00000000, ingress::act::scalars.pc2);
    src_filename: ''
    src_lineno: 1
281 282 283 284 285 286 287 288 289 290 291 292 293
    type: action

ingress::dispatch_act:
    implementation: |-
        modify_field(ipv4.dstAddr, dstAddr);
        modify_field(udp.dstPort, dstPort);
        modify_field(ethernet.dstAddr, ethernetAddr);
    parameter_list:
    -   dstAddr: 32
    -   dstPort: 16
    -   ethernetAddr: 48
    -   egress_port: 16
    src_filename: p4src/orchestrator.p4
294
    src_lineno: 31
295 296 297 298 299 300 301
    type: action

ingress::fwd_act:
    implementation: modify_field(standard_metadata.egress_spec, port);
    parameter_list:
    -   port: 16
    src_filename: p4src/orchestrator.p4
302
    src_lineno: 18
303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327
    type: action


##########################################
# Ingress and Egress tables              #
##########################################

egress::tbl_fix_checksum:
    allowed_actions:
    - egress::fix_checksum
    default_entry:
        action: egress::fix_checksum
        const: true
    max_entries: 1025
    src_filename: ''
    src_lineno: 1
    type: table

ingress::dispatch:
    allowed_actions:
    - ingress::dispatch_act
    match_on:
        map_hdr.function_id: exact
    max_entries: 1025
    src_filename: p4src/orchestrator.p4
328
    src_lineno: 51
329 330 331 332 333 334 335 336 337
    type: table

ingress::fwd:
    allowed_actions:
    - ingress::fwd_act
    match_on:
        standard_metadata.ingress_port: exact
    max_entries: 1025
    src_filename: p4src/orchestrator.p4
338 339 340 341 342 343 344 345 346 347 348 349
    src_lineno: 22
    type: table

ingress::tbl_act:
    allowed_actions:
    - ingress::act
    default_entry:
        action: ingress::act
        const: true
    max_entries: 1025
    src_filename: ''
    src_lineno: 1
350 351 352 353 354 355 356 357 358 359 360
    type: table


##########################################
# Ingress conditionals sets              #
##########################################

_condition_0:
    condition: (((valid(ipv4))) and (((udp.dstPort) == (8000))))
    format: bracketed_expr
    src_filename: p4src/orchestrator.p4
361
    src_lineno: 62
362 363 364 365 366 367 368 369 370 371 372 373 374 375
    type: conditional


##########################################
# Ingress control flow                   #
##########################################

ingress_flow:
    doc: control flow for ingress
    format: dot
    implementation: |-
        digraph {
            "_condition_0" -> "ingress::fwd" [condition = false]
            "_condition_0" -> "ingress::dispatch" [condition = true]
376 377
            "ingress::fwd" -> "ingress::tbl_act" [action = always]
            "ingress::tbl_act" -> "exit_control_flow" [action = always]
378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429
            "ingress::dispatch" -> "ingress::fwd" [action = always]
        }
    start_state: _condition_0
    type: control_flow


##########################################
# Egress control flow                    #
##########################################

egress_flow:
    doc: control flow for egress
    format: dot
    implementation: |-
        digraph {
            "egress::tbl_fix_checksum" -> "exit_control_flow" [action = always]
        }
    start_state: egress::tbl_fix_checksum
    type: control_flow


##########################################
# Deparsers                              #
##########################################

deparser:
    order:
    - ethernet
    - ipv4
    - udp
    - map_hdr
    type: deparser


##########################################
# Processor layout                       #
##########################################

layout:
    format: list
    implementation:
    - parser
    - ingress
    - egress
    type: processor_layout


##########################################
# Source info                            #
##########################################

source_info:
430
    date: 2021/12/15 05:37:07
431 432 433 434 435 436 437 438 439
    output_file: p4src/orchestrator.yml
    p4_version: '16'
    source_files:
    - p4src/orchestrator.p4
    - ''
    - /opt/netronome/p4/include/16/p4include/core.p4
    type: source_info