Debug results for the Cyclon trace
jcp19 opened this issue · 2 comments
jcp19 commented
Current results without elimination:
> Data Race #1 : (cyclonlite.CyclonActive.initWithData.73, cyclonlite.CyclonActive.insertReceivedToView.198)
> Data Race #2 : (cyclonlite.CyclonActive.initWithData.73, cyclonlite.CyclonActive.selectPeersToShuffle.249)
> Data Race #3 : (cyclonlite.CyclonActive.insertReceivedToView.198, cyclonlite.CyclonActive.selectPeersToShuffle.249)
The first two races should not happen
jcp19 commented
Results from data race detection from message-message races:
> Data Race #1 : (cyclonlite.CyclonActive.insertReceivedToView.198, cyclonlite.CyclonActive.selectPeersToShuffle.249)
> Data Race #2 : (cyclonlite.CyclonActive.insertReceivedToView.198, cyclonlite.CyclonActive.insertReceivedToView.198)