Bili Dong

Is struct as action parameter supported by any arch/target?

12

I know that struct as action parameter is not supported by v1model/bmv2 yet. I heard this is a bmv2-specific limitation though. So I have the following questions to clarify: 1....

Question about extern declaration grammar

4

In the language spec [H. Appendix: P4 grammar](https://p4.org/p4-spec/docs/P4-16-v-1.2.3.html#sec-grammar), the following two production rules are shown: ``` externDeclaration : optAnnotations EXTERN nonTypeName optTypeParameters '{' methodPrototypes '}' | optAnnotations EXTERN functionPrototype ';'...

Inconsistent section link in P4_16 Language Specification v1.2.3

1

The link to the P4_16 Language Specification is: https://p4.org/p4-spec/docs/P4-16-v1.2.3.html But if I click on a section, it becomes: https://p4.org/wp-content/uploads/2022/07/P4-16-spec.html#sec-overview The one I expect is: https://p4.org/p4-spec/docs/P4-16-v1.2.3.html#sec-overview This link actually works, but...

Does P4Runtime support struct action parameters?

4

This is a follow-up on https://github.com/p4lang/p4c/issues/3760#issuecomment-1340213608 (@jfingerh). I have taken a closer look at the P4Runtime protos, and would like to continue the P4Runtime side of discussion here. I have...

Shell input issues

1

@lzhzero and I have identified several shell input issues, that might relate to each other. So we decided to use this single issue to report them all at once. ##...

Lack of documentation on the optional bytes counter increment parameter

7

This optional parameter has been added in p4c: https://github.com/p4lang/p4c/blob/94994988db3c6f2d0c39a95135592524c5c5293b/p4include/pna.p4#L375-L378 https://github.com/p4lang/p4c/blob/94994988db3c6f2d0c39a95135592524c5c5293b/p4include/dpdk/pna.p4#L382-L390 [PNA spec](https://p4.org/p4-spec/docs/PNA-v0.7.html#sec-pna-extern-objects) refers to the [PSA spec](https://p4.org/p4-spec/docs/PSA-v1.2.html#sec-counter) for the counter extern definition, but it doesn't explain this parameter.

Proposal for setting packets and bytes counter widths separately

5

Currently in PNA, a counter extern is defined as the following: ```p4 enum PNA_CounterType_t { PACKETS, BYTES, PACKETS_AND_BYTES } extern Counter { Counter(bit n_counters, PNA_CounterType_t type); void count(in S index,...

As the [P4 language spec states](https://staging.p4.org/p4-spec/docs/P4-16-v1.2.4.html#sec-packet-lookahead), in `b.lookahead()`, `T` must be a type with fixed width. And in practice, most types with fixed width are allowed. However, currently the `ExpandLookahead`...

Support non-field LHS in parser on BMv2

11

Fixes #4194.

Add a dev container environment

1

I personally found dev containers pretty convenient to use. So maybe it's useful to set up one for this repo.