<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Oct 15, 2018, at 6:25 AM, Berthold Stoeger <<a href="mailto:bstoeger@mail.tuwien.ac.at" class="">bstoeger@mail.tuwien.ac.at</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><span style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;" class="">On Monday, 15 October 2018 11:42:26 CEST Jan Mulder wrote:</span><br style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><blockquote type="cite" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;" class="">On 10/15/18 9:10 AM, Jan Mulder wrote:<br class=""><blockquote type="cite" class="">On 10/15/18 9:06 AM, Berthold Stoeger wrote:<br class=""><blockquote type="cite" class="">On Monday, 15 October 2018 08:53:16 CEST Jan Mulder wrote:<br class=""><blockquote type="cite" class="">Tried to reproduce things. As I do not have 2 DCs, I fake a second one<br class="">just by editing the ssrf XML. I cannot reproduce it (in this way).<br class=""></blockquote><br class="">I can trivially reproduce this by importing a divelog onto itself.<br class="">Therefore,<br class="">this should be easy to fix. I'm heading of to lecture now and will<br class="">look at<br class="">this in the later afternoon.<br class=""></blockquote><br class="">Yes, this produces a crash indeed. Not 100% sure this the same one.<br class=""></blockquote><br class="">Tried to make sense of this. The first attempt crashed immediately, but<br class="">subsequent sessions did not. In the debugger, I saw that the trips dives<br class="">list (double linked list it seems) is corrupted. Then I had a couple of<br class="">runs the ended in an endless loop in the import on itself phase, and<br class="">finally, all works ...<br class=""><br class="">So, to me, it seems non-deterministic caused by memory corruption<br class="">somewhere. Curious what the root cause here, but it does not feel "easy<br class="">to fix" to me.<br class=""></blockquote><br style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><span style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;" class="">I'm quite sure that it is easy to fix, but I will only find time later this<span class="Apple-converted-space"> </span></span><br style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><span style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;" class="">afternoon after work. Quite obviously, for example merge_weight_system_info()<span class="Apple-converted-space"> </span></span><br style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><span style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;" class="">is broken. It should read as</span><br style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><span style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;" class=""> res->weight = a->weight;</span><br style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><span style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;" class=""> res->description = copy_string(a->description);</span><br style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><span style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;" class="">or similar.</span><br style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""></div></blockquote></div><br class=""><div class="">My brain wasn't working at all yesterday or I would have given it a better try.</div><div class="">But getting up before 3am, sitting in airplanes for 10 hours, then having a really</div><div class="">bad night's sleep and diving for nearly 5 hours all conspired to have me a long</div><div class="">way away from my personal best :-)</div><div class=""><br class=""></div><div class="">I did bisect at least the crash so that should give a good starting point where</div><div class="">to look.</div><div class=""><br class=""></div><div class="">I have a few minutes this morning, but if Berthold will look at it this afternoon,</div><div class="">then I'll instead look at PRs and whatever else has piled up in the last two</div><div class="">days (so we don't duplicate work).</div><div class=""><br class=""></div><div class="">Thanks!</div><div class=""><br class=""></div><div class="">/D</div></body></html>