<div dir="ltr"><div>Oh, then I think it may results from accessing / mutating data from different threads with different timed sequences of events. But I'm not sure which part in my code triggers this behaviour. <br></div><div>I will do more investigation tomorrow and let you know <br></div><div>Thanks<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, 21 Jun 2019 at 23:31, Eli Friedman <<a href="mailto:efriedma@quicinc.com">efriedma@quicinc.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">





<div lang="EN-US">
<div class="gmail-m_-2670563800817461326WordSection1">
<p class="MsoNormal">Epoch tracking is meant to catch cases where an iterator might point to an invalid address due to another operation on the same DenseMap, on the same thread.  For example, if you have a for loop that iterates over a DenseMap, and insert
 an element into that DenseMap inside the loop body.<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">Neither DenseMap nor the epoch tracking is threadsafe; if it’s catching a race condition, you’re getting lucky.<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">-Eli<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<div style="border-color:currentcolor currentcolor currentcolor blue;border-style:none none none solid;border-width:medium medium medium 1.5pt;padding:0in 0in 0in 4pt">
<div>
<div style="border-color:rgb(225,225,225) currentcolor currentcolor;border-style:solid none none;border-width:1pt medium medium;padding:3pt 0in 0in">
<p class="MsoNormal"><b>From:</b> llvm-dev <<a href="mailto:llvm-dev-bounces@lists.llvm.org" target="_blank">llvm-dev-bounces@lists.llvm.org</a>> <b>On Behalf Of
</b>Praveen Velliengiri via llvm-dev<br>
<b>Sent:</b> Friday, June 21, 2019 6:27 AM<br>
<b>To:</b> llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>><br>
<b>Subject:</b> [EXT] [llvm-dev] Purpose of Epoch Trackers<u></u><u></u></p>
</div>
</div>
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<div>
<p class="MsoNormal">Hi all,<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal">I'm dealing with the multi-threaded code, in one of executions of the program I hitting an assertion failure, I'm not always getting the assertion failure when I run the executable but it occurs for say (1 in 10) times. I think there may
 be an thread race condition. I don't know which is the root cause of this error because the assertion not explicitly occurs in my code, it occurs in the library code which I'm using in my threads.
<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">Assertion I'm getting is this: <u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"> Global Value is CRO: /home/preejackie/spicy/orcs/llvm/include/llvm/ADT/DenseMap.h:1242: bool llvm::DenseMapIterator<const llvm::Value *, llvm::StringMapEntry<llvm::Value *> *, llvm::DenseMapInfo<const llvm::Value *>, llvm::detail::DenseMapPair<const
 llvm::Value *, llvm::StringMapEntry<llvm::Value *> *>, false>::operator!=(const llvm::DenseMapIterator::ConstIterator &) const [KeyT = const llvm::Value *, ValueT = llvm::StringMapEntry<llvm::Value *> *, KeyInfoT = llvm::DenseMapInfo<const llvm::Value *>,
 Bucket = llvm::detail::DenseMapPair<const llvm::Value *, llvm::StringMapEntry<llvm::Value *> *>, IsConst = false]: Assertion `(!Ptr || isHandleInSync()) && "handle not in sync!"' failed.<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">It seems like the given assertion is defined in Epochtracker.h only for the debug build. My question is what is the purpose of Epochtrackers,h? Is it there to catch the race condition when accessing the densemap concurrently ?<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">Please tell me if you need more info<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal">Thanks<u></u><u></u></p>
</div>
</div>
</div>
</div>
</div>

</blockquote></div>