Author: sh0
Date: Mon Feb 2 00:16:36 2009
New Revision: 3793
URL: http://svn.gna.org/viewcvs/service-tech?rev=3793&view=rev
Log:
Nail the final remaining serialization-deserialization instability to the wall.
After about 2d of debugging I figured out that this was a result of the
serialization process not preserving the order of the Transition ArrivingArcs
and LeavingArcs arrays: the contents where the same, the order got scrambled.
This really shouldn't influence the final results, but runtimes *can* differ.
In the interests of easier performance measurement and debugging, I've now
changed the order in which arcs are serialized to keep the order in those
arrays. OTOH, the same arrays in Place instances will now get scrambled
instead. This is acceptable, as those arrays don't seem to impact state space
exploration; accordingly, I currently have no plans to expand the protocol to
keep order in all arrays.
Modified:
branches/lola-modular/lola/src/mbencoding.cc
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
