[P4] Fwd: [P4-design] Concurrency model for P4

[Dániel Horpácsi]

Egyet értek a kezdeményezéssel, ugyanakkor azt gondolom, hogy nem 
véletlenül nem foglalkoztak eddig ennek a tisztázásával. A P4 nem 
feltétlenül akar ilyenfajta garanciákat és szinkronizációt leírni, hanem 
belefér, hogy két különböző fordító két különböző viselkedésű tárgykódot 
produkál, ha a hatékonyság a fő cél.

Hasonló eset, a C/C++ specifikáció is köztudottan lyukas, sok 
konstrukció más viselkedést mutat, ha gcc-vel vagy clanggal fordítod. 
Persze illik warningot dobniuk, ha a specifikáció által nem definiált 
jelentésű utasítássorozatot dolgoznak fel, hogy a programozó tudja, nem 
lesz hordozható a kódja.

Dani


On 2016-09-10 22:08, Sándor Laki wrote:
>
> FYI
>
>
>
> -------- Forwarded Message --------
> Subject: 	[P4-design] Concurrency model for P4
> Date: 	Sat, 10 Sep 2016 15:31:44 -0400
> From: 	Anirudh Sivaraman <anirudh at csail.mit.edu>
> To: 	p4-design at lists.p4.org
>
>
>
> In light of the P4_16 review process, I wanted to start discussing a
> concurrency model for P4. The github issue here
> (https://github.com/p4lang/p4-spec/issues/48) documents where this
> problem arises along with a code example. Any comments, thoughts on a
> model, and feedback are highly appreciated.
>
> Regards,
> Anirudh
>
> _______________________________________________
> P4-design mailing list
> P4-design at lists.p4.org
> http://lists.p4.org/mailman/listinfo/p4-design_lists.p4.org
>
>
>
> _______________________________________________
> P4 mailing list
> P4 at plc.inf.elte.hu
> https://plc.inf.elte.hu/mailman/listinfo/p4

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://plc.inf.elte.hu/pipermail/p4/attachments/20160912/609d0442/attachment.html>