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

STM clean-up #63

Merged
merged 4 commits into from
May 18, 2022
Merged

STM clean-up #63

merged 4 commits into from
May 18, 2022

Conversation

jmid
Copy link
Collaborator

@jmid jmid commented May 10, 2022

This PR cleans up the STM signature, leaving the repeat-retries combination property, which has worked well for Lin.

Currently, the numbers are set to repeat:25 and retries:15. We may want to adjust these before merging.

As a bonus

  • it adds a negative int64 ref test
  • removes a bit of whitespace

As an extra bonus, with the changes the Buffer test can segfault my local Linux running:

$ dune exec src/buffer/buffer_stm_test.exe -- -v -s 81407870

I'm therefore curious how the Linux CI reacts...

@jmid
Copy link
Collaborator Author

jmid commented May 10, 2022

I should add that the Lazy tests take a while to run with these parameter numbers, which is why I am curious to reduce them...

@jmid
Copy link
Collaborator Author

jmid commented May 10, 2022

OK, this actually segfaults with Linux CI as well:
https://github.com/jmid/multicoretests/runs/6372289400?check_suite_focus=true#step:6:1038

@jmid
Copy link
Collaborator Author

jmid commented May 15, 2022

Rerunning jobs as trunk has now been patched for the MacOS segfault.

@jmid jmid mentioned this pull request May 17, 2022
@jmid
Copy link
Collaborator Author

jmid commented May 18, 2022

Given the MacOS CI red light, I've instead completed three successful runs of the test suite on the MacMini - and therefore declare this ready for merge! 😃

@jmid jmid merged commit cdc42d3 into main May 18, 2022
@jmid jmid deleted the stm-cleanup branch May 18, 2022 12:31
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.

None yet

1 participant