left-right icon indicating copy to clipboard operation
left-right copied to clipboard

Published 20 hours ago • verified publisher icon jonhoo

Test with loom

Open jonhoo opened this issue 6 years ago • 6 comments

@carllerche recently published loom which does correctness checking for concurrent algorithms. It'd be neat to try to get that working for evmap's tests!

jonhoo avatar Feb 22 '19 17:02 jonhoo

cc @novacrazy

jonhoo avatar Feb 22 '19 17:02 jonhoo

I've started work on this here

aDotInTheVoid avatar Apr 24 '20 22:04 aDotInTheVoid

Currently, this is blocked on loom only supporting Aquire fences.

aDotInTheVoid avatar Apr 24 '20 23:04 aDotInTheVoid

Hmm, my guess here is that you can just test with Acquire fences, and it should be fine. Or at least you should be able to make progress. You can see what I did to deal with this in crossbeam: https://github.com/crossbeam-rs/crossbeam/blob/03e04ba4426e47f6b76d9e9da551c81157f9cbb0/crossbeam-epoch/src/lib.rs#L81-L92

jonhoo avatar Apr 25 '20 15:04 jonhoo

@aDotInTheVoid Did you have a change to try out using a stronger fence for testing?

jonhoo avatar Jun 30 '20 20:06 jonhoo

Now that evmap is split up into left-right and evmap, it should be easier to at least get loom testing for left-right itself!

jonhoo avatar Dec 06 '20 02:12 jonhoo