[Polyspace 2011b]: Out of memory during level1 check

Hi, I'm running on a relatively big SW > 100k source line of code. The analysis was running on the server It passed level0 successfully, but in level 1 it stops giving the following warning:

"Out of memory. Unable to allocate heap with 2,130,576,065 bytes"

Does this mean that we need to add more RAM for processing? the server already have 16GB of RAM.

If not, what could be the source of such problem? and how we could overcome it?

Thanks

Answer 1

[Alexandre De Barros]

Hi Mohamed !

More than 100k lines of code is quite big indeed, and is the reason of the "out of memory" problem.

When facing such a problem, there are several solutions:

- launch the verification in unit-by-unit mode. In this mode, you create a separate verification job for each source file in the project. Each file is compiled, sent to the Polyspace Server, and verified individually. Verification results can then be viewed for the entire project, or for individual units.

- use scaling options: the product has several options that will reduce the complexity of the verification, for example by requiring less precision for this verification. See this solution for more information on this topic: http://www.mathworks.com/support/solutions/en/data/1-4FMVMH/index.html

See also the complete list of scaling options in the documentation: http://www.mathworks.com/help/polyspace_c/c_ref/precision-scaling.html

Since the application is big, I suggest to set all the scaling options.

- add more memory: it can help but I cannot guarantee that it will be enough to bypass the problem.

Consider also that you have results in level 0. There are less precise than the other levels, but you can find interesting findings in it. As soon as the level 0 is completed, you can open the results (even if the verification is running), and start to explore the results.

Last word: it's better to contact the support in this case. When you do this, please attach the verification log since this file contains lots of relevant information to give a diagnosis on the possible causes of the out of memory problem.