[Projects] Re: XRM 41: Add the rand() builtin.

Tsuna <tsuna(a)lrde.epita.fr> writes: Quelques commentaires : 1) Ça ne marche pas parce que AMPC ne fait pas avancer chaque module à chaque tick, mais un au hazard. Il se peut que ton nombre aléatoire ne soit jamais changé. Plusieurs solutions à ça: - Synchronisation, mais on a vu que ça posé problème. - Faire a' = rand(N) -> 1/N: a' = 0 + 1/N a' = 1, mais on a vu que ça contraignait beaucoup de choses. - Faire qqc comme ça: ---------------------------------------------------------------------- [] Conditions -> Update & a' = rand(N) & Update; ---------------------------------------------------------------------- devient ---------------------------------------------------------------------- [] Conditions & NewRandom_COUNT -> Update & a' = rand_COUNT & NewRandom_COUNT '= false module rand_COUNT rand_COUNT : [0..N] init 0; NewRandom_COUNT : bool init false; [] NewRandom_COUNT = false -> 1/N: (rand_COUNT' = 0 & NewRandom_COUNT' = true) + ... endmodule ---------------------------------------------------------------------- avec COUNT comme tu l'avais géré. Ça te permet d'éviter tous les problèmes de synchro, tous les problèmes d'update dans un rand qui contient des + (...) et ainsi de suite. 2) J'aimerai pouvoir plus parentheser, puisque j'utilise des #define. 3) Si j'ai des valeurs constantes, j'aimerai pouvoir écrire: a = Val1,Val2 puisque tu le permets avec des littéraux. 4) Je veux pouvoir utiliser des nombres négatifs. -- | Isn't vi that text editor with Michaël `Micha' Cadilhac | | two modes... One that beeps and cadilh_m - Epita 2007 - CSI | | one that corrupts your file? JID: micha(a)amessage.be | `-- - - -- Dan Jacobson - - --'