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.

Sign up for GitHub

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

Jump to bottom

Create unique ids even for random conflicts #476

Merged
merged 1 commit into from
Apr 25, 2018
Merged

Create unique ids even for random conflicts #476

merged 1 commit into from
Apr 25, 2018

Commits on Apr 20, 2018

  1. Create unique ids even for random conflicts 

    With this commit we ensure that generated ids are always unique, even
when generating random conflicts for bulk requests. The general strategy
to simulate conflicts is as follows:

1. Generate a list of ids upfront.
2. Iterate through this list and pick a duplicate in 25% of all cases.

In order to avoid accidentally creating more conflicts than expected,
the list of ids generated in step one, needs to contain unique ids.
However, we create ids at random without considering which ids have
already been generated. This is now changed by first generating all ids
and then shuffling them.
    @danielmitterdorfer
    danielmitterdorfer committed Apr 20, 2018
    Configuration menu
    Copy the full SHA
    b42d563 View commit details
    Browse the repository at this point in the history