|Summary:||Memory leak when generating shortest or fastest traces|
|Product:||UPPAAL||Reporter:||Egon Pedersen <gunman>|
|Component:||Engine||Assignee:||Gerd Behrmann <behrmann>|
Description Egon Pedersen 2007-02-27 15:19:33 CET
When running a uppaal server on Lisa.cs.aau.dk, the memory does not get flushed when a certain property is satisfied. In my model which currently uses about 25% of the memory to complete a property, will when i check another property start with using 25% memory. However this does not happen if the connection to the server is lost, then it will start from 0% memory.
Comment 1 Gerd Behrmann 2007-02-28 07:57:44 CET
Without a model, the queries and instructions on how to reproduce the problem, there is not much we can do to resolve the problem... Please attach the missing files.
Comment 4 Egon Pedersen 2007-02-28 10:26:04 CET
Its best to use DFS and shortest in diagnostic trace to reproduce the problem, as it will use a lot of memmory then.
Comment 5 Egon Pedersen 2007-02-28 10:35:10 CET
Created attachment 149 [details] The model new version
Comment 6 Gerd Behrmann 2007-02-28 16:22:38 CET
Do you also see this behavior when the reuse option is turned off?
Comment 7 Gerd Behrmann 2007-02-28 21:46:08 CET
The problem is not related to checking multiple properties. It is in fact a memory leak in the pruning logic used when optimizing trace length.
Comment 8 Gerd Behrmann 2007-02-28 21:56:35 CET
Fixed on the 4.0 branch from rev. 2981.