memory leak

Description

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

Environment

rodin 2.7
osx 10.8.3
prob 2.3.5

Attachments

2
  • 13 Apr 2013, 01:50 PM
  • 13 Apr 2013, 01:50 PM

Gliffy Diagrams

Activity

Show:

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 PM
Edited

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

Duplicate

Details

Assignee

Reporter

Components

Priority

Created April 13, 2013 at 1:50 PM
Updated April 15, 2013 at 8:22 AM
Resolved April 15, 2013 at 8:22 AM