Author: niels
Date: Fri Aug 28 11:08:08 2009
New Revision: 4668
URL: http://svn.gna.org/viewcvs/service-tech?rev=4668&view=rev
Log:
* implemented very experimental support of FIFO queues:
1. execute the script "wrap.sh" to replace the files InterfaceMarking.* by
FIFO.*
2. run "make"
3. use Wendy as always, but have in mind that the "-m" parameter sets the
length of the FIFO queue rather than a message bound
4. execute "wrap.sh" again to switch back to multisets
* known issues:
- formula evaluation is not 100% correct (some waitstates are not detected)
- reduction techniques seem not to work (at least not smartSendingEvent)
Added:
trunk/wendy/src/FIFO.cc
trunk/wendy/src/FIFO.h
trunk/wendy/src/swap.sh (with props)
Modified:
trunk/wendy/ChangeLog
trunk/wendy/NEWS
--
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.
