Andy Fingerhut

Design syntax and semantics to indicate persistent storage of per-table-entry data across packets, modifiable in data plane

33

## Personnel - [x] **Owner**: @jafingerhut - [x] **Supporters**: @mariobaldi ## Design - [ ] **Document**: Discussion about a few possible ways such a feature could be designed: https://github.com/jafingerhut/p4-guide/tree/master/data-plane-writable-per-table-entry-state ##...

Literal syntax to represent the value of "an invalid header"

13

## Personnel - [x] **Owner**: @jafingerhut - [x] **Supporters**: @mbudiu-vmw ## Design - [x] **Document**: See rest of this comment below ## Implementation - [x] **`p4-spec`**: https://github.com/p4lang/p4-spec/pull/1184 - [x] **`p4c`**:...

Issue #936 - PSA: packets experiencing parsing errors are not automaticall…

2

…y dropped

## Personnel - [x] **Owner**: @jafingerhut - [x] **Supporters**: @thantry ## Design - [x] **Document**: https://docs.google.com/presentation/d/1GW-9FDtyLuwqV_mdGeDh_qqDiey0VkQ1/edit?usp=sharing&ouid=113165450274035133953&rtpof=true&sd=true ## Implementation - [x] **`p4-spec`**: https://github.com/p4lang/p4-spec/pull/1180 - [ ] **`p4c`**: ## Process - [x]...

Question: Is there a way to instantiate an extern like in the example code without giving `_` as a type parameter?

2

@mbudiu-vmw @jnfoster @ChrisDodd My apologies for pinging you directly on this, but I suspect you are the ones most likely to know the relevant parts of the P4_16 language spec...

Ubuntu 22.04 and 24.04 `make build` in p4-16/spec directory fails

19

For current status of the possibility of using AsciiDoc as a replacement for Madoko in maintaing the source of the P4_16 language specification, see https://github.com/p4lang/p4-spec/issues/1298 At least it failed as...

Side effects in select expressionList

2

By select expressionList, I mean the expression list `e1, e2, ...` in `transition select (e1, e2, ...) { .... }`. If we follow the clarification in the spec made with...

P4_16 Allow `type` and `typedef` inside scope of controls and parsers

7

Right now I believe the language spec and p4c only allow `type` and `typedef` at the top level of your program. @vgurevich proposed allowing such types also to be defined...

Summary: I believe there might be enough differences between multiple different implementations of action selectors, that there might be irreconcilable differences between the sets of parameters that people want to...