[P4-design] June 3rd meeting

Stefan Heule heule at google.com
Wed Jul 1 11:27:11 EDT 2020


Hi Mihai,

Yes, we would love to also present this in the P4LDWG, and we're planning
on doing that in the next meeting.

I agree that it would be nice if the compiler type-checks these
expressions. One challenge, as you pointed out, is that the syntax is more
expressive than P4. It might also be nice to gain some experience with the
constraint language before we add it to the P4 spec or compiler and make it
harder to change.

Stefan


On Tue, Jun 30, 2020 at 1:49 PM Mihai Budiu <mbudiu at vmware.com> wrote:

> I think this should be discussed in the language design working group as
> well.
>
> Annotations can have expressions as arguments, so ideally the constraints
> should be type-checked by the compiler.
>
> They shouldn’t be just strings. Not sure exactly what to do about ::mask;
> it can perhaps be an extern function.
>
> Should we expect a PR against the compiler for this feature?
>
>
>
> Mihai
>
>
>
> *From:* P4-design <p4-design-bounces at lists.p4.org> *On Behalf Of *Antonin
> Bas
> *Sent:* Wednesday, June 3, 2020 4:36 PM
> *To:* p4-design at lists.p4.org
> *Subject:* Re: [P4-design] June 3rd meeting
>
>
>
> Here are the slides for the p4-constraints presentation:
> https://github.com/p4lang/p4-constraints/blob/master/docs/2020-06-03_p4rt-wg.pdf
> <https://nam04.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fp4lang%2Fp4-constraints%2Fblob%2Fmaster%2Fdocs%2F2020-06-03_p4rt-wg.pdf&data=02%7C01%7Cmbudiu%40vmware.com%7C847b650e48f44705a80f08d80816ee95%7Cb39138ca3cee4b4aa4d6cd83d9dd62f0%7C0%7C1%7C637268241894194877&sdata=aYFL%2Bg8eBE88q1elJYb4RYqdXUbESw4PfiuYg0sV71Q%3D&reserved=0>
>
> Thanks for presenting Stefan and Steffen!
>
>
>
> Le lun. 1 juin 2020 à 19:03, Antonin Bas <antonin.bas at gmail.com> a écrit :
>
> FIY. If anyone who doesn't usually attend the P4 API WG meeting is
> interested in joining.
>
> ---------- Forwarded message ---------
> De : *Antonin Bas* <antonin.bas at gmail.com>
> Date: lun. 1 juin 2020 à 19:01
> Subject: June 3rd meeting
> To: <p4-api at lists.p4.org>
> Cc: Steffen Smolka <smolkaj at google.com>, Stefan Heule <heule at google.com>
>
>
>
> Hi all,
>
>
>
> We have a meeting scheduled for this Wednesday. Everyone should have
> received the link for the Zoom meeting (
> https://VMware.zoom.us/j/506821682?pwd=WXRndWVTS3EzVENHditVT3kwMkV0UT09
> <https://vmware.zoom.us/j/506821682?pwd=WXRndWVTS3EzVENHditVT3kwMkV0UT09>
> ).
>
>
>
> Steffen and Stefan have agreed to present the p4-constraints work (
> https://github.com/p4lang/p4-constraints
> <https://nam04.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fp4lang%2Fp4-constraints&data=02%7C01%7Cmbudiu%40vmware.com%7C847b650e48f44705a80f08d80816ee95%7Cb39138ca3cee4b4aa4d6cd83d9dd62f0%7C0%7C1%7C637268241894194877&sdata=y%2BtofvEud7MIxb6ajp5yJazZ4eocgPmQXkQZNUjAyoA%3D&reserved=0>)
> to the Working Group. Looking forward to it and I hope everyone interested
> will be able to attend.
>
>
>
> Thanks,
>
>
>
> Antonin
>
> _______________________________________________
> P4-design mailing list
> P4-design at lists.p4.org
> http://lists.p4.org/mailman/listinfo/p4-design_lists.p4.org
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.p4.org/pipermail/p4-design_lists.p4.org/attachments/20200701/702543d6/attachment-0001.html>


More information about the P4-design mailing list