[Modelinterpreter] 10k állapot

[Boldizsár Németh]

Sziasztok!

Innen látszik, hogy mindig lesznek a generált kódunk miatt olyan 
korlátozások, amik akkor is megakadályozhatják a kód generálását, ha a 
modell egyébként valid.

Viszont hosszabb távon azt valahogy meg kellene oldanunk, hogy ezeket a 
problémákat kulturáltan jelezzük a felhasználónak. Egy ötlet: miután a 
java fordító lefutott, valószínű, hogy le tudjuk kérdezni a lerakott 
markereket. Ezeknek a sorszámaiból vissza tudnánk kapni, hogy milyen 
modell elemre vonatkozott és helyettük oda tudnánk tenni egy markert, 
hogy valamit máshogy kéne csinálni.

Boldi

On 2015.05.21. 16:47, kmate at caesar.elte.hu wrote:
> Sziasztok!
>
> A trunk-ban már elő tudjuk állítani a 10k állapotgép kódját. A 
> legutóbb már kisebb gépeknél is gond volt, hogy a JVM határait 
> elérjük, így a gépet léptető step függvényt particionáljuk. Ez 10k 
> állapot esetén most 78 step függvényre válik szét :)
>
> A nagyobb baj, hogy most 2 helyen fogy el a code space:
> - az első állapot behavior-ja 10k reception-t hívna, ami megint túl 
> sok kód
> - az állapotok egy 10k+1 elemű enumot alkotnak, ami egy initializer 
> függvénybe fordulna, amiben megint sok lesz a kód
>
> Az első probléma kiküszöbölhető, amint támogatjuk a ciklusokat - 
> egyszerűen azt kéne a modelbe generálni, és akkor azt is fordítanánk 
> belőle.
>
> A másodikhoz megint egy nem triviális particionálás kell, és ugye 
> jóval nagyobb elemszámnál jön, mint az előző probléma.
>
> Szóval ezen szerintem felesleges sokat agyalni...
>
> Üdv,
>  Máté
>
> _______________________________________________
> Modelinterpreter mailing list
> Modelinterpreter at plc.inf.elte.hu
> https://plc.inf.elte.hu/mailman/listinfo/modelinterpreter