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

Weak memory emulation using store buffers #1963

Merged
merged 46 commits into from
Jun 6, 2022
Merged

Weak memory emulation using store buffers #1963

merged 46 commits into from
Jun 6, 2022

Commits on Jun 6, 2022

  1. Add weak memory config option

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    8d36e8b View commit details
    Browse the repository at this point in the history

  2. Add test cases

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    16315b1 View commit details
    Browse the repository at this point in the history

  3. Implement weak memory emulation

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    e7698f4 View commit details
    Browse the repository at this point in the history

  4. set_at_index sets the default value (0) if index doesn't exist in the… 

    … other vector
    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    aca3b3a View commit details
    Browse the repository at this point in the history

  5. Comment out and provide context to C++20 test

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    cf26658 View commit details
    Browse the repository at this point in the history

  6. Clearer boundries between alloc metadata with multiple buffers and an… 

    … individual store buffer
    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    ecdab5f View commit details
    Browse the repository at this point in the history

  7. Use a new AllocationMap to store store buffers in the same allocation

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    53f4887 View commit details
    Browse the repository at this point in the history

  8. Add imperfectly overlapping test

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    a71b103 View commit details
    Browse the repository at this point in the history

  9. Add -Zmiri-disable-weak-memory-emulation to README

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    bf7fe68 View commit details
    Browse the repository at this point in the history

  10. Move type definitions together and clarify fetch_store on empty buffer

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    11ca975 View commit details
    Browse the repository at this point in the history

  11. Disable weak memory emulation on scheduler-dependent data race tests

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    32627d5 View commit details
    Browse the repository at this point in the history

  12. Move cpp20_rwc_syncs into compile-fail

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    f729f28 View commit details
    Browse the repository at this point in the history

  13. Add more top-level comments

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    89138a6 View commit details
    Browse the repository at this point in the history

  14. Update README

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    62b514e View commit details
    Browse the repository at this point in the history

  15. Improve privacy and comments

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    773131b View commit details
    Browse the repository at this point in the history

  16. Add tests showing weak memory behaviours

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    7d874db View commit details
    Browse the repository at this point in the history

  17. Refactor store buffer search conditions

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    6040c9f View commit details
    Browse the repository at this point in the history

  18. Reduce the number of runs in consistency tests

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    13e3465 View commit details
    Browse the repository at this point in the history

  19. Move data_race and weak_memory into a submodule

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    8739e45 View commit details
    Browse the repository at this point in the history

  20. Move buffered functions into their own ext trait

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    335667c View commit details
    Browse the repository at this point in the history

  21. Remove incorrect comment

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    5a4a1bf View commit details
    Browse the repository at this point in the history

  22. Throw UB on imperfectly overlapping access

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    6b54c92 View commit details
    Browse the repository at this point in the history

  23. Rename variables in AllocationMap

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    577054c View commit details
    Browse the repository at this point in the history

  24. Put the initialisation value into the store buffer

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    9214537 View commit details
    Browse the repository at this point in the history

  25. Amend experimental thread support warnings

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    e2002b4 View commit details
    Browse the repository at this point in the history

  26. Replace yield_now() with spin loop hint

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    31c0141 View commit details
    Browse the repository at this point in the history

  27. Spelling, punctuation and grammar 

    Co-authored-by: Ralf Jung <post@ralfj.de>
    @cbeuw @RalfJung
    cbeuw and RalfJung committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    5ddd4ef View commit details
    Browse the repository at this point in the history

  28. Update src/concurrency/weak_memory.rs 

    Co-authored-by: Ralf Jung <post@ralfj.de>
    @cbeuw @RalfJung
    cbeuw and RalfJung committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    6d27f18 View commit details
    Browse the repository at this point in the history

  29. Move transmute into a separate function

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    dafd813 View commit details
    Browse the repository at this point in the history

  30. Add rust-only operation tests

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    7dcb19e View commit details
    Browse the repository at this point in the history

  31. Differentiate between not multithreading and temp disabling race dete… 

    …ction
    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    2321b15 View commit details
    Browse the repository at this point in the history

  32. Destroy store buffers on non-racy non-atomic accesses

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    226ed41 View commit details
    Browse the repository at this point in the history

  33. Allow non-racy mixed size accesses

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    613d60d View commit details
    Browse the repository at this point in the history

  34. Split extra_cpp tests into sound and unsafe

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    bfa5645 View commit details
    Browse the repository at this point in the history

  35. Update experimental threading warning

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    6a73ded View commit details
    Browse the repository at this point in the history

  36. Wording improvements 

    Co-authored-by: Ralf Jung <post@ralfj.de>
    @cbeuw @RalfJung
    cbeuw and RalfJung committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    a7c832b View commit details
    Browse the repository at this point in the history

  37. Move logic out of machine.rs

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    ceb173d View commit details
    Browse the repository at this point in the history

  38. Forbade all racing mixed size atomic accesses

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    4a07f78 View commit details
    Browse the repository at this point in the history

  39. Refer to GitHub issue on overwritten init value

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    8215702 View commit details
    Browse the repository at this point in the history

  40. Give flag temp disabling race detector a better name

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    c731071 View commit details
    Browse the repository at this point in the history

  41. Specify only perfectly overlapping accesses can race

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    6d0c76e View commit details
    Browse the repository at this point in the history

  42. Move tests to new directories

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    65f39bd View commit details
    Browse the repository at this point in the history

  43. Simplify known C++20 inconsistency test

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    1379036 View commit details
    Browse the repository at this point in the history

  44. Remove unused lifetimes

    @cbeuw
    cbeuw committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    6fb7c13 View commit details
    Browse the repository at this point in the history

  45. Add more backgrounds on lazy store buffers 

    Co-authored-by: Ralf Jung <post@ralfj.de>
    @cbeuw @RalfJung
    cbeuw and RalfJung committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    bf7a5c4 View commit details
    Browse the repository at this point in the history

  46. Make racy imperfectly overlapping atomic access unsupported instead o… 

    …f UB

Co-authored-by: Ralf Jung <post@ralfj.de>
    @cbeuw @RalfJung
    cbeuw and RalfJung committed Jun 6, 2022
    Configuration menu
    Copy the full SHA
    1b32d14 View commit details
    Browse the repository at this point in the history