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

Added benchmarks for threads&locks and STM #369

Merged
merged 6 commits into from
Aug 10, 2020
Merged

Conversation

smarr
Copy link
Owner

@smarr smarr commented Aug 8, 2020

This PR extracts the benchmarks from #337.

This is an attempt to breakup the PR in more manageable chunks for me to review.

  • deletes duplicated code for one of the benchmarks
  • makes the benchmark configuration more uniform and groups the concurrency-model related benchmarks

@smarr smarr force-pushed the da-ut-extract-benchmarks branch 5 times, most recently from fe71b86 to 5b16ca7 Compare August 9, 2020 13:39
daumayr and others added 6 commits August 9, 2020 15:39
Signed-off-by: Stefan Marr <git@stefan-marr.de>
Saves time

Signed-off-by: Stefan Marr <git@stefan-marr.de>
Signed-off-by: Stefan Marr <git@stefan-marr.de>
- have suites from STM, CSP, and Mutex, and an SOMns-concurrency-models experiment

Signed-off-by: Stefan Marr <git@stefan-marr.de>
Signed-off-by: Stefan Marr <git@stefan-marr.de>
@smarr
Copy link
Owner Author

smarr commented Aug 9, 2020

@daumayr could you please review, and check whether this is ok for you?
The commits do the steps somewhat separate, which may make reviewing easier.
The initial commit is a squashed version of what you got in #337.

@smarr smarr added the enhancement Improves the implementation with something noteworthy label Aug 9, 2020
Copy link
Contributor

@daumayr daumayr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

changes look ok

@smarr smarr merged commit bb22fda into dev Aug 10, 2020
@smarr smarr deleted the da-ut-extract-benchmarks branch August 10, 2020 09:53
@smarr
Copy link
Owner Author

smarr commented Aug 10, 2020

Thanks. One more step to merging #337 😄

@smarr smarr mentioned this pull request Aug 10, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Improves the implementation with something noteworthy
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants