Results of an action item from today's P4 API work group meeting

20 views
Skip to first unread message

Andy Fingerhut

unread,
Jun 14, 2024, 2:07:14 PM6/14/24
to p4-api
There are currently 7 open issues on the repo https://github.com/p4lang/p4runtime with the tag p4-language-compatibility.  You can see them here: https://github.com/p4lang/p4runtime/issues?q=is%3Aissue+is%3Aopen+label%3Ap4-language-compatibility

There is currently a one-to-one- correspondence between each of those issues, and an item in a bullet list in Section 1.1 of the P4Runtime specification.

Each of the open issues on Github starts with text like this:

This issue should be closed exactly when the bullet item “Clarified behavior of table with no key property, or if its list of keys is empty” in Section 1.1 "P4 Language Version Applicability" is addressed and removed.

That is an example for one of the 7 issues, but all 7 issues begin with similar text.

I would recommend leaving those issues open until they have been individually addressed.  Several of those Github issues have extensive notes on what the enhancement is in the language spec, and what might be done to address it in the P4Runtime spec, and that seems to me like valuable notes to keep around, until the issue is addressed.

I personally think that it is perfectly fine NOT to require that all 7 of these issues are addressed before the next version of the P4Runtime specification is released.  Sure, please take a look at them and see if you find any that you think are important to address before a release, but I do not think that any of them can be resolved with a few minutes worth of work.  They could be hours or days of work for some of them, I suspect.

Andy

Steffen Smolka

unread,
Jun 17, 2024, 2:06:30 PM6/17/24
to Andy Fingerhut, p4-api
Thanks so much, Andy! 

https://github.com/p4lang/p4runtime/issues/429 looks like one we can resolve within a few minutes of work by just saying we don't support generics.

-- Steffen

--
You received this message because you are subscribed to the Google Groups "p4-api" group.
To unsubscribe from this group and stop receiving emails from it, send an email to p4-api+un...@lists.p4.org.
To view this discussion on the web visit https://groups.google.com/a/lists.p4.org/d/msgid/p4-api/CAKvLtDbKJySC9o_2i4k1VZM%3DJtZB8D4vkX9MVkh4pW%3DadkuvNg%40mail.gmail.com.
Reply all
Reply to author
Forward
0 new messages