p4-spec
p4-spec copied to clipboard
p4lang
It should definitely support any type `bit` for W ranging from 1 up to some implementation-dependent maximum width. While there might some small convenience in supporting types `int`, if an...
Section 7.1 "Restrictions on where externs may be used" describes an "instantiation tree". The problem is that while many P4 programs are written such that this graph is a tree,...
Is there a reason that PSA supports direct-mapped counters and meters but not registers? They seems like a very useful abstraction and were a part of P4_14, so I presume...
Reference: Draft version of INT spec dated Oct 17, 2017 retrieved here: https://github.com/p4lang/p4-spec/blob/master/applications/telemetry/SPEC_Inband_Network_Telemetry.pdf In particular, Section 3 "What to monitor" First, the list of things that are supported by the...
If a P4 program could read the up/down status of one or all physical ports during packet processing, it could help implement some forms of fast re-route of traffic to...
In documenting v1model.p4 recently, and doing a quick pass review and comparison with PSA, I noticed that the PSA Random extern limits the specification of lo/hi values to compile-time constants...
... and what types of values are permitted inside of those lists. For example, there are code examples that demonstrate calling the InternetChecksum add() method with a P4_16 list of...
I imagine it may be useful to be able to attach a direct counter to immutable entries, but is this something we want to require for PSA? I couldn't find...
At the 2018-Jan-31 PSA work group meeting, discussing this PR: https://github.com/p4lang/p4-spec/pull/554 I proposed adding an annotation for tables in P4 source code that would indicate to the compiler that control...
Creating this issue in case Calin's suggestion at this linked comment is something we want to pursue: https://github.com/p4lang/p4-spec/issues/489#issuecomment-343778953 Copying the relevant text here: We have throughout the document the following...