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

Implement non-deterministc mode #683

Merged
merged 21 commits into from
Apr 10, 2019
Merged

Implement non-deterministc mode #683

merged 21 commits into from
Apr 10, 2019

Commits on Apr 7, 2019

  1. Implement non-deterministc mode 

    Part of rust-lang#653

This allows us to properly implement getrandom(),
which unlocks the default HashMap type (e.g. HashMap<K, V>)
with RandomState)

This commit adds a new '-Zmiri-seed=<seed>' option. When present,
this option takes a 64-bit hex value, which is used as the seed
to an internal PRNG. This PRNG is used to implement the 'getrandom()'
syscall.

When '-Zmiri-seed' is not passed, 'getrandom()' will be disabled.
    @Aaron1011
    Aaron1011 committed Apr 7, 2019
    Configuration menu
    Copy the full SHA
    7323957 View commit details
    Browse the repository at this point in the history

  2. Fix benchmark

    @Aaron1011
    Aaron1011 committed Apr 7, 2019
    Configuration menu
    Copy the full SHA
    312f938 View commit details
    Browse the repository at this point in the history

  3. Use getrandom() syscall number from libc

    @Aaron1011
    Aaron1011 committed Apr 7, 2019
    Configuration menu
    Copy the full SHA
    dddeda7 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2019

  1. Use raw syscall numbers

    @Aaron1011
    Aaron1011 committed Apr 8, 2019
    Configuration menu
    Copy the full SHA
    808b149 View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2019

  1. Simplify cast using as_mut_ptr()

    @Aaron1011
    Aaron1011 committed Apr 9, 2019
    Configuration menu
    Copy the full SHA
    5530d29 View commit details
    Browse the repository at this point in the history

  2. Cleanup argument parsing

    @Aaron1011
    Aaron1011 committed Apr 9, 2019
    Configuration menu
    Copy the full SHA
    6b0440e View commit details
    Browse the repository at this point in the history

  3. Only run test with default hasher

    @Aaron1011
    Aaron1011 committed Apr 9, 2019
    Configuration menu
    Copy the full SHA
    b120e8b View commit details
    Browse the repository at this point in the history

  4. Refactor random number generation

    @Aaron1011
    Aaron1011 committed Apr 9, 2019
    Configuration menu
    Copy the full SHA
    6d3e93c View commit details
    Browse the repository at this point in the history

  5. Disable normal HashMap test on OS X 

    Implementing random number generation on OS X will require special-casing the
'openat' system call to special-case reading from /dev/urandom
    @Aaron1011
    Aaron1011 committed Apr 9, 2019
    Configuration menu
    Copy the full SHA
    858e82b View commit details
    Browse the repository at this point in the history

  6. Interpret system call numbers relative to target architecture

    @Aaron1011
    Aaron1011 committed Apr 9, 2019
    Configuration menu
    Copy the full SHA
    5f99764 View commit details
    Browse the repository at this point in the history

  7. OS X is "macos", not "darwin"

    @Aaron1011
    Aaron1011 committed Apr 9, 2019
    Configuration menu
    Copy the full SHA
    1748744 View commit details
    Browse the repository at this point in the history

  8. Only run 'getrandom' test on Linux

    @Aaron1011
    Aaron1011 committed Apr 9, 2019
    Configuration menu
    Copy the full SHA
    5e07ff6 View commit details
    Browse the repository at this point in the history

  9. Fix 'RtlGenRandom' argument slots

    @Aaron1011
    Aaron1011 committed Apr 9, 2019
    Configuration menu
    Copy the full SHA
    6b4c5b8 View commit details
    Browse the repository at this point in the history

  10. Use 'ignore-' instead of 'only-' 

    Apparently 'ignore-' doesn't work with compiletest_rs
    @Aaron1011
    Aaron1011 committed Apr 9, 2019
    Configuration menu
    Copy the full SHA
    9243680 View commit details
    Browse the repository at this point in the history

  11. Improve deterministic mode error message

    @Aaron1011
    Aaron1011 committed Apr 9, 2019
    Configuration menu
    Copy the full SHA
    22044c8 View commit details
    Browse the repository at this point in the history

  12. Fix compile-fail error message

    @Aaron1011
    Aaron1011 committed Apr 9, 2019
    Configuration menu
    Copy the full SHA
    ae8e7f6 View commit details
    Browse the repository at this point in the history

  13. Retrieve SYS_getrandom from libc using const-eval

    @Aaron1011
    Aaron1011 committed Apr 9, 2019
    Configuration menu
    Copy the full SHA
    c6e0d09 View commit details
    Browse the repository at this point in the history

  14. Some final cleanup

    @Aaron1011
    Aaron1011 committed Apr 9, 2019
    Configuration menu
    Copy the full SHA
    0837d63 View commit details
    Browse the repository at this point in the history

  15. Merge branch 'master' into feature/random

    @oli-obk
    oli-obk authored Apr 9, 2019
    Configuration menu
    Copy the full SHA
    2eb2c8d View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2019

  1. Fix typo 

    Co-Authored-By: Aaron1011 <aa1ronham@gmail.com>
    @RalfJung @Aaron1011
    RalfJung and Aaron1011 authored Apr 10, 2019
    Configuration menu
    Copy the full SHA
    48b22b8 View commit details
    Browse the repository at this point in the history

  2. Don't create HashMap<K, V> when not needed

    @Aaron1011
    Aaron1011 committed Apr 10, 2019
    Configuration menu
    Copy the full SHA
    a8763f3 View commit details
    Browse the repository at this point in the history