
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>

</head>

<body dir="ltr">

<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">

<p>Hi all,</p>

<p><br>

</p>

<p>it's Sunday afternoon (at least in my timezone :D) and here's an interesting weekend issue for you, maybe even a bug in the VM:</p>

<p><br>

</p>

<p></p>

<div>p := [ObjectTest new testBecomeForward] newProcess.</div>

<div>p runUntil: [:c | c isDead].</div>

<br>

<p></p>

<p>In my fresh trunk image, this expression always fails, i.e. a TestFailure is raised from the second assertion in the test, <span>pt3 == pt2.</span></p>

<p><span><span style="font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px;"></p>

<p style="font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px;">

However, w<span style="font-size: 12pt;">hen running the test normally, i.e. executing the first block without simulation, the test passes as expected.</span></p>

<div>Also, when I try to debug the simulation, the test passes again.<br>

</div>

</span></span>

<p></p>

<p><span><span style="font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px;">But I even inserted a halt around the (pt3 == pt2) and could

 see that it actually </span><span style="font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px;">evaluated to false.</span><br>

</span></p>

<p><br>

</p>

<p><span style="font-size: 12pt;">And when I change the expression like this, it suddenly passes:</span></p>

<p><span style="font-size: 12pt;"><br>

</span></p>

<p><span style="font-size: 12pt;"></p>

<div style="font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px;">

p := [ObjectTest new testBecomeForward] newProcess.</div>

<div style="font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px;">

p runUntil: [:c | Smalltalk garbageCollect. c isDead].</div>

<br>

</span>

<p></p>

<p><span style="font-size: 12pt;">What is this? Does the VM require some kind of memory sweep before the object identity consistency is restored again? To me, this looks pretty suspicious at least.</span></p>

<p><span style="font-size: 12pt;"><br>

</span></p>

<p><span style="font-size: 12pt;">In SqueakJS, I cannot reproduce the issue, i.e., since <a href="https://github.com/codefrau/SqueakJS/pull/117" class="OWAAutoLink" id="LPlnk113464" previewremoved="true">https://github.com/codefrau/SqueakJS/pull/117</a>, #testBecomeForward

 never fails.</span></p>

<p><span style="font-size: 12pt;"><br>

</span></p>

<p><span style="font-size: 12pt;">Best,</span></p>

<p><span style="font-size: 12pt;">Christoph</span></p>

<div id="Signature">

<div id="divtagdefaultwrapper" dir="ltr" style="font-size: 12pt; color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols;">

<div name="divtagdefaultwrapper" style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:; margin:0">

<div><font size="2" color="#808080"></font></div>

</div>

</div>

</div>

</div>

</body>

</html>