<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Nov 23, 2015 at 4:57 PM, Andrei Chis <span dir="ltr"><<a href="mailto:chisvasileandrei@gmail.com" target="_blank">chisvasileandrei@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><p dir="ltr">Hi Eliot,</p>
<p dir="ltr">Is an assert vm the same as a vm compiled with debugging support?<br></p></blockquote><div><br></div><div>VMMaker.oscog generates VM sources designed to be compiled in three different ways, Debug, Assert and Production. Debug is designed to enable asserts to check invariants and be compiled with no optimization for maximum debuggability. Assert is designed to enable asserts to check invariants and be compiled with limited optimization for faster assert checking. Production has asserts disabled (actually compiled-out) and be compiled with aggressive optimization, so it has limited debuggability (it should still contain debugging symbols).</div><div><br></div><div>So Assert and Debug are not quite the same and certainly if you're hunting for storage leaks an Assert VM will run much faster than a Debug VM. If you have a look at the Cog svn sources you'll find that the build scripts build all three kinds of VMs for all platforms.</div><div><br></div><div><br></div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><p dir="ltr">
Also can you point me to any documentation about the leak checker.</p></blockquote><div><br></div><div>It's not well documented because it may change over time, but the -help flag on the VM should include this:</div><div><br></div><div><div> -leakcheck num check for leaks in the heap</div></div><div><br></div><div>and the meaning of num is a set of flags:</div><div><br></div><div>setCheckForLeaks: integerFlags</div><div><span class="" style="white-space:pre"> </span>" 0 = do nothing.</div><div><span class="" style="white-space:pre"> </span> 1 = check for leaks on fullGC (GCModeFull).</div><div><span class="" style="white-space:pre"> </span> 2 = check for leaks on scavenger (GCModeNewSpace).</div><div><span class="" style="white-space:pre"> </span> 4 = check for leaks on incremental (GCModeIncremental)</div><div><span class="" style="white-space:pre"> </span> 8 = check for leaks on become</div><div><span class="" style="white-space:pre"> </span> 16 = check for leaks on image segments"</div><div><span class="" style="white-space:pre"> </span>checkForLeaks := integerFlags </div><div><br></div><div>So once you have your assert VM try running your test case using</div><div><br></div><div> myvm -leakcheck 5 myimage.image</div><div><br></div><div>on the command line. You'll want to use a debugger to put breakpoints in the leak checker and you may need to learn about the VM's debug routines to try and figure out the cause of the leak once the leak checker finds it.</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<p dir="ltr">Cheers,<br>
Andrei</p><div class=""><div class="h5">
<p dir="ltr">On Nov 24, 2015 1:45 AM, "Eliot Miranda" <<a href="mailto:eliot.miranda@gmail.com" target="_blank">eliot.miranda@gmail.com</a>> wrote:<br>
><br>
> Hi Andrei,<br>
><br>
> On Mon, Nov 23, 2015 at 7:59 AM, Andrei Chis <<a href="mailto:chisvasileandrei@gmail.com" target="_blank">chisvasileandrei@gmail.com</a>> wrote:<br>
>><br>
>> Hi,<br>
>><br>
>> With both the latest and stable vm I have an use case in which the vm crashed in SmalltalkImage>>garbageCollect.<br>
>><br>
>> To set up an image that exhibits the failure , execute this with the latest pharo version:<br>
>><br>
>> /pharo Pharo.image eval --save "{ { 'ConfigurationOfRubric'. 'Pharo'. 'Rubric' }. { 'ConfigurationOfGlamourCore'. 'Moose'. 'Glamour' }. { 'ConfigurationOfGTInspectorCore'. 'Moose'. 'GToolkit' }. { 'ConfigurationOfGTPlaygroundCore'. 'Moose'. 'GToolkit' }. { 'ConfigurationOfGTEventRecorder'. 'Moose'. 'GToolkit' }. { 'ConfigurationOfGTSpotter'. 'Moose'. 'GToolkit' }. } do: [ :spec | Gofer new smalltalkhubUser: spec second project: spec third; package: spec first; load ]."<br>
>><br>
>> ./pharo Pharo.image config <a href="http://www.smalltalkhub.com/mc/Pharo/Pharo50Inbox/main" target="_blank">http://www.smalltalkhub.com/mc/Pharo/Pharo50Inbox/main</a> ConfigurationOfGToolkitCore --install=3.2<br>
>><br>
>> Then attempting to run the following code triggers the failure:<br>
>><br>
>> ./pharo Pharo.image eval --save "TestRunner open model packageSearchUpdate: 'gt-tests-inspector'; classSearchUpdate: 'GTInspectorExamplesTest'; runAll"<br>
>><br>
>> Based on the trace below the failure happens when the test GTInspectorExamplesTest calls 'Smalltalk>>garbageCollect' in the setUp method.<br>
>><br>
>> That call can be removed, however, in other runs the failure happens in other methods calling Smalltalk>>garbageCollect.<br>
>><br>
>> Is it possible that this is a bug with the image (some broken object) or is it a vm bug?<br>
><br>
><br>
> The way to test this is to build an assert VM and then use the leak checker. The leak checker will allow you to narrow down the cause. If the leak checker shows no corruption then its definitely a GC bug. If there leak checker does show corruption before GC then one still has to find out what caused the heap corruption, but you can use the leak checker to narrow the search.<br>
><br>
> HTH<br>
> Eliot<br>
><br>
>> Cheers,<br>
>><br>
>> Andrei<br>
>><br>
>><br>
>><br>
>> andrei$ ./pharo Pharo.image eval --save "{ { 'ConfigurationOfRubric'. 'Pharo'. 'Rubric' }. { 'ConfigurationOfGlamourCore'. 'Moose'. 'Glamour' }. { 'ConfigurationOfGTInspectorCore'. 'Moose'. 'GToolkit' }. { 'ConfigurationOfGTPlaygroundCore'. 'Moose'. 'GToolkit' }. { 'ConfigurationOfGTEventRecorder'. 'Moose'. 'GToolkit' }. { 'ConfigurationOfGTSpotter'. 'Moose'. 'GToolkit' }. } do: [ :spec | Gofer new smalltalkhubUser: spec second project: spec third; package: spec first; load ]."<br>
>><br>
>> andrei$ ./pharo Pharo.image config <a href="http://www.smalltalkhub.com/mc/Pharo/Pharo50Inbox/main" target="_blank">http://www.smalltalkhub.com/mc/Pharo/Pharo50Inbox/main</a> ConfigurationOfGToolkitCore --install=3.2<br>
>><br>
>> andrei$ ./pharo Pharo.image eval --save "TestRunner open model packageSearchUpdate: 'gt-tests-inspector'; classSearchUpdate: 'GTInspectorExamplesTest'; runAll"<br>
>><br>
>><br>
>> Segmentation fault Mon Nov 23 16:48:36 2015<br>
>><br>
>><br>
>><br>
>> <a href="https://github.com/pharo-project/pharo-vm.git" target="_blank">https://github.com/pharo-project/pharo-vm.git</a> Commit: 28d077d8df494ce050ca42c97c892471e8b8740c Date: 2015-10-16 12:02:43 +0200 By: Esteban Lorenzano <<a href="mailto:estebanlm@gmail.com" target="_blank">estebanlm@gmail.com</a>> Jenkins build #15016<br>
>><br>
>><br>
>> C stack backtrace:<br>
>><br>
>> 0 Pharo 0x0004cacf reportStackState + 159<br>
>><br>
>><br>
>><br>
>> Smalltalk stack dump:<br>
>><br>
>> 0xbffbf1a0 M SmalltalkImage>garbageCollect 0x1fd49e30: a(n) SmalltalkImage<br>
>><br>
>> 0xbffbf1c0 I GTInspectorExamplesTest>setUp 0x2126bc80: a(n) GTInspectorExamplesTest<br>
>><br>
>> 0x2126cb90 is not a context<br>
>><br>
>><br>
>> Most recent primitives<br>
>><br>
>> @<br>
>><br>
>> basicNew<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> basicNew<br>
>><br>
>> basicNew<br>
>><br>
>> basicNew<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> shallowCopy<br>
>><br>
>> new<br>
>><br>
>> new:<br>
>><br>
>> new:<br>
>><br>
>> basicNew<br>
>><br>
>> basicNew<br>
>><br>
>> new:<br>
>><br>
>> basicNew<br>
>><br>
>> new:<br>
>><br>
>> replaceFrom:to:with:startingAt:<br>
>><br>
>> new:<br>
>><br>
>> basicNew<br>
>><br>
>> new:<br>
>><br>
>> replaceFrom:to:with:startingAt:<br>
>><br>
>> new:<br>
>><br>
>> basicNew<br>
>><br>
>> @<br>
>><br>
>> new:<br>
>><br>
>> at:put:<br>
>><br>
>> at:put:<br>
>><br>
>> perform:with:<br>
>><br>
>> perform:with:<br>
>><br>
>> perform:<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> basicNew<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> basicNew<br>
>><br>
>> @<br>
>><br>
>> new:<br>
>><br>
>> at:put:<br>
>><br>
>> at:put:<br>
>><br>
>> perform:with:<br>
>><br>
>> perform:with:<br>
>><br>
>> perform:<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> basicNew<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> new<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> basicNew<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> new:<br>
>><br>
>> at:put:<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> basicNew<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> new:<br>
>><br>
>> at:put:<br>
>><br>
>> at:put:<br>
>><br>
>> at:put:<br>
>><br>
>> at:put:<br>
>><br>
>> new:<br>
>><br>
>> @<br>
>><br>
>> at:put:<br>
>><br>
>> @<br>
>><br>
>> at:put:<br>
>><br>
>> @<br>
>><br>
>> at:put:<br>
>><br>
>> @<br>
>><br>
>> at:put:<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> basicNew<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> basicNew<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> basicNew<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> shallowCopy<br>
>><br>
>> shallowCopy<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> new:<br>
>><br>
>> at:put:<br>
>><br>
>> at:put:<br>
>><br>
>> at:put:<br>
>><br>
>> at:put:<br>
>><br>
>> new:<br>
>><br>
>> @<br>
>><br>
>> at:put:<br>
>><br>
>> @<br>
>><br>
>> at:put:<br>
>><br>
>> @<br>
>><br>
>> at:put:<br>
>><br>
>> @<br>
>><br>
>> at:put:<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> basicNew<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> basicNew<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> basicNew<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> basicNew<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> basicNew<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> basicNew<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> basicNew<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> basicNew<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> basicNew<br>
>><br>
>> @<br>
>><br>
>> @<br>
>><br>
>> perform:<br>
>><br>
>> basicNew<br>
>><br>
>> new:<br>
>><br>
>> basicNew<br>
>><br>
>> new:<br>
>><br>
>> basicNew<br>
>><br>
>> new:<br>
>><br>
>> shallowCopy<br>
>><br>
>> shallowCopy<br>
>><br>
>> primUTCMicrosecondsClock<br>
>><br>
>> //<br>
>><br>
>> basicNew<br>
>><br>
>> basicNew<br>
>><br>
>> new:<br>
>><br>
>> at:put:<br>
>><br>
>> at:put:<br>
>><br>
>> at:put:<br>
>><br>
>> at:put:<br>
>><br>
>> value<br>
>><br>
>> valueNoContextSwitch<br>
>><br>
>> basicNew<br>
>><br>
>> new:<br>
>><br>
>> basicNew<br>
>><br>
>> new:<br>
>><br>
>> new:<br>
>><br>
>> basicNew<br>
>><br>
>> new:<br>
>><br>
>> replaceFrom:to:with:startingAt:<br>
>><br>
>> primitiveGarbageCollect<br>
>><br>
>> **IncrementalGC**<br>
>><br>
>> **FullGC**<br>
>><br>
>> garbageCollectMost<br>
>><br>
>> **IncrementalGC**<br>
>><br>
>> basicNew<br>
>><br>
>> new:<br>
>><br>
>> someInstance<br>
>><br>
>> basicNew<br>
>><br>
>> new:<br>
>><br>
>> someInstance<br>
>><br>
>> basicNew<br>
>><br>
>> new:<br>
>><br>
>> someInstance<br>
>><br>
>> new:<br>
>><br>
>> basicNew<br>
>><br>
>> new:<br>
>><br>
>> replaceFrom:to:with:startingAt:<br>
>><br>
>> primitiveGarbageCollect<br>
>><br>
>> **IncrementalGC**<br>
>><br>
>> **FullGC**<br>
>><br>
>> garbageCollectMost<br>
>><br>
>> **IncrementalGC**<br>
>><br>
>> wait<br>
>><br>
>> shallowCopy<br>
>><br>
>> shallowCopy<br>
>><br>
>> signal<br>
>><br>
>> wait<br>
>><br>
>> shallowCopy<br>
>><br>
>> shallowCopy<br>
>><br>
>> at:put:<br>
>><br>
>> at:put:<br>
>><br>
>> at:put:<br>
>><br>
>> at:put:<br>
>><br>
>> at:put:<br>
>><br>
>> at:put:<br>
>><br>
>> signal<br>
>><br>
>> wait<br>
>><br>
>> shallowCopy<br>
>><br>
>> shallowCopy<br>
>><br>
>> at:put:<br>
>><br>
>> at:put:<br>
>><br>
>> signal<br>
>><br>
>> new:<br>
>><br>
>> basicNew<br>
>><br>
>> new:<br>
>><br>
>> replaceFrom:to:with:startingAt:<br>
>><br>
>> primitiveGarbageCollect<br>
>><br>
>> **IncrementalGC**<br>
>><br>
>> **FullGC**<br>
>><br>
>><br>
>> (Segmentation fault)<br>
>><br>
>> ./pharo: line 11: 5224 Abort trap: 6 "$DIR"/"pharo-vm/Pharo.app/Contents/MacOS/Pharo" --headless "$@"<br>
><br>
><br>
><br>
><br>
> -- <br>
> _,,,^..^,,,_<br>
> best, Eliot</p>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><span style="font-size:small;border-collapse:separate"><div>_,,,^..^,,,_<br></div><div>best, Eliot</div></span></div></div></div>
</div></div>