Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Test with loom #17

Open
jonhoo opened this issue Feb 22, 2019 · 6 comments
Open

Test with loom #17

jonhoo opened this issue Feb 22, 2019 · 6 comments

Comments

@jonhoo
Copy link
Owner

jonhoo commented Feb 22, 2019

@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
Copy link
Owner Author

jonhoo commented Feb 22, 2019

cc @novacrazy

@aDotInTheVoid
Copy link

I've started work on this here

@aDotInTheVoid
Copy link

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

@jonhoo
Copy link
Owner Author

jonhoo commented Apr 25, 2020

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
Copy link
Owner Author

jonhoo commented Jun 30, 2020

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

@jonhoo
Copy link
Owner Author

jonhoo commented Dec 6, 2020

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!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants