Skip to content

LDWG meeting minutes, May 6, 2019

Jump to bottom
Nate Foster edited this page May 6, 2019 · 1 revision

Attendees

  • Antonin Bas (Barefoot)
  • Gordon Brebner (Xilinx)
  • Chris Dodd (Barefoot)
  • Nate Foster (Cornell)
  • Mihai Budiu (VMware)
  • Andy Fingerhut (Cisco)
  • Jed Liu (Barefoot)

Post Workshop Debrief

  • Q: Are people using P4_16? A: Seems like yes.

  • What are our priorities?

    • Module system or some support for name spaces. This needs to be in the language and can't be bolted on.

    • Executable specifications for architectures

    • Events other packets

    • From Cisco meeting: What would P4++ look like?

      • Some form of loops?
      • Tagged unions?

    • Extensible parsers?

  • Target: v1.2 by end of the summer?

Modules Notes

  • What happens when we run cpp?

  • Do we run it separately on each file? Can #include "defines.h" in each file. Note that this preserves the current semantics.

  • Need to clearly specify the semantics of cpp.

  • For import, do we also want from f import x as y?

  • Do we want to do conditional imports?

  • Do we also want exports? And export *?

  • Think about @name annotations and how they interact with module system.

  • Should a module name be a file name or a path name?

Support for non-linear packet paths in V1Model

Support for assume and assert

Abstract Methods?

  • @cdodd will take a look and try to drive this proposal forward.

Slices for signed integers

Structure initializers with named fields

Default values for controls?

Next Meeting

  • May 20th if @jafingerhut makes progress on namespace issue, otherwise June 3rd.
Clone this wiki locally