Skip to content

Update to lockfree 0.2.0 #50

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

Merged
merged 3 commits into from
Apr 22, 2022
Merged

Update to lockfree 0.2.0 #50

merged 3 commits into from
Apr 22, 2022

Conversation

jmid
Copy link
Collaborator

@jmid jmid commented Apr 22, 2022

This fixes #35.

  • The PR moves the domainslib/ws_deque_test to lockfree - which for now only contains this one data structure.
  • The old lock tests are therefore removed.
  • Finally it adapts the ws_deque test to test both positively and negatively

@jmid
Copy link
Collaborator Author

jmid commented Apr 22, 2022

I checked locally that this runs without issues on MacOSX on both ocaml trunk commit 7585460 and ocaml PR#11214.
I will therefore merge this and expect the CI to fail until PR#11214 or a similar fix is merged in ocaml trunk.

@jmid
Copy link
Collaborator Author

jmid commented Apr 22, 2022

(the Linux failure happens in the Effect interpretation where an expected error is not found - and is thus unrelated to the lockfree and domainslib changes)

@jmid jmid merged commit b8e9a8a into main Apr 22, 2022
@jmid jmid deleted the lockfree-0.2 branch April 22, 2022 13:01
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

Successfully merging this pull request may close these issues.

Update lockfree tests to 0.2
1 participant