memory leak
Description
Environment
rodin 2.7
osx 10.8.3
prob 2.3.5
Attachments
- 13 Apr 2013, 01:50 PM
- 13 Apr 2013, 01:50 PM
Gliffy Diagrams
Activity
Sebastian Krings April 15, 2013 at 8:22 AM
Sebastian Krings April 14, 2013 at 12:42 PM
Just checked the ProB for Rodin Nightly Build - The error seems to be fixed there as well. We are in the process of releasing a new version in the nearer future containing the bugfix.
Sebastian Krings April 14, 2013 at 12:39 PM
I can load the file with 1.3.7-beta3 without a memory leak. So currently I assume that it is caused by an already fixed bug. Actually, https://probjira.atlassian.net/browse/PROBPLUGIN-70#icft=PROBPLUGIN-70 might be the one.
GintautasS April 13, 2013 at 4:27 PM
Hm, I have just tried to run exported c10 in a stand-alone ProB (1.3.6-final): program freezes and I get the same memory leak.
Does this problem relate to a previously submitted bug?
https://probjira.atlassian.net/browse/PROBPLUGIN-70
Sebastian Krings April 13, 2013 at 3:26 PMEdited
Can reproduce.
Exporting c10 and loading it directly in ProB works. However, no satisfying constants can be found:
The following properties directly led to an inconsistency:
partition(ddd_REL_NODES,{ddd_a_turn_refr_off},{ddd_v_turn_refr_off},{ddd_v_turn_blanking_off},{ddd_a_turn_blanking_off},{ddd_v_vsp_sensed},{ddd_a_turn_refr_off},{ddd_v_turn_refr_off},{ddd_v_turn_blank...
== false
A very nasty memory leak resulting due to undetermined reasons.
I managed to narrow the problem source down to the Context. But can not determine exactly what triggers that memory leak.
How to reproduce the issue:
memory_leak1 project
1. start animation on c10
2. soon you will run out of memory
memory_leak2 project:
1. start animation on m5 or m6 to get the memory leak. m0-m4 are fine
Thank you,
Gintautas