[Modelinterpreter] kifejezések kiértékelési sorrendje

Dévai Gergely deva at caesar.elte.hu
Fri Sep 11 16:55:00 CEST 2015


Sziasztok!

Ma Gáborral beszélgetve felmerült a következő kérdés: Mi rAlf-ban a részkifejezések kiértékelési sorrendje? (Ami ugye a mellékhatásos részkifejezések esetén számít.)

Ha a válasz az, hogy a Java-hoz hasonlóan kötött a sorrend, akkor nekünk könnyű dolgunk van, a model compiler által generált C++ kódban viszont szekvencializálni kell az egyes részkifejezések kiszámítását.

Ha a C++-hoz hasonlóan nem definiált a kiszámítási sorrend, akkor a model compiler dolga egyszerű, nekünk viszont a model executorban illene szándékosan randomizálni a kiszámítás sorrendjét, hogy felfedhessük az ebből fakadó hibákat.

Megkédeztem az ericssonos technical managert arról, hogy kit szeretne megszívatni: Kis gondolkozás után ránk esett a választása. :)
Vagyis rAlf-ban nem definiált az operandusok kiértékelési sorrendje. (Egyébként ez a logikus döntés.)

Felvettem erről a 318-as ticket-et a távoli jövő számára. :)

Gergő
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://plc.inf.elte.hu/pipermail/modelinterpreter/attachments/20150911/b395cd88/attachment.html>


More information about the Modelinterpreter mailing list