HomePage RecentChanges

mmj2UsageNote20061019

Torture testing of the mmj2 Proof Assistant GUI revealed a situation that triggered an "Out of Memory" error and/or a "Out of Heap Space".\

Diagnosis: we have means, motive and opportunity – and a body – but no actual smoking gun and signed confession…

HOWEVER…

I strongly recommend upgrading to the Jave Runtime Environment 1.5.0_09 due to a number of Sun bug fixes pertaining to Garbage Collection. (Version 1.5.0_05 was the latest version back on 4/1/2006, so you can just imagine the exciting bee hive of activity at Java HQ :) I have not yet upgraded my own software so if you upgrade now and report back to the Asteroid you will be performing a service to mmj2 and your fellow users…

ALSO…

The following executive actions were taken:

1) The new TMFF coding was modified for efficiency and to avoid using a suspect portion of the Java Runtime Environment.

2) New arguments on the "java" command line in mmj2.bat were added. The new command to trigger mmj2 and the Proof Assistant looks like this (inside mmj2.bat):

     java -Xincgc -Xms64M -Xmx128M -jar mmj2.jar RunParms.txt
    

NOTE: another interesting Java argument is "-verbose:gc". Add that temporarily to your mmj2.bat java command to see every action taken by the Java Garbage Collector. The activities are printed on the Command Prompt Window. (Remove the argument later as it slows things down…)

3) The Help/About menu item (which is new) has been modified to run a full Garbage Collection "sweep" just before it displays the memory utilization statistics. This is interesting and useful information – if you need it you will want it :)