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

Fix soundness issues with MMIO and shared memory #18

Merged
merged 8 commits into from
Sep 29, 2022
Merged

Fix soundness issues with MMIO and shared memory #18

merged 8 commits into from
Sep 29, 2022

Commits on Sep 15, 2022

  1. First cut at sound volatile MMIO.

    @qwandor
    qwandor committed Sep 15, 2022
    Configuration menu
    Copy the full SHA
    32fc595 View commit details
    Browse the repository at this point in the history

  2. Use new volatile module for blk too.

    @qwandor
    qwandor committed Sep 15, 2022
    Configuration menu
    Copy the full SHA
    787a203 View commit details
    Browse the repository at this point in the history

  3. Backwards compatibility for old rustc in example.

    @qwandor
    qwandor committed Sep 15, 2022
    Configuration menu
    Copy the full SHA
    430726a View commit details
    Browse the repository at this point in the history

  4. Document volatile module.

    @qwandor
    qwandor committed Sep 15, 2022
    Configuration menu
    Copy the full SHA
    78834c5 View commit details
    Browse the repository at this point in the history

  5. Use volatile module for remaining devices.

    @qwandor
    qwandor committed Sep 15, 2022
    Configuration menu
    Copy the full SHA
    b11a599 View commit details
    Browse the repository at this point in the history

  6. UsedRing is only read by the driver.

    @qwandor
    qwandor committed Sep 15, 2022
    Configuration menu
    Copy the full SHA
    e7331a0 View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2022

  1. No need to volatile for queue. 

    The queue is just shared memory, not MMIO memory, so there is no need to
use volatile reads and writes.
    @qwandor
    qwandor committed Sep 23, 2022
    Configuration menu
    Copy the full SHA
    455bbbe View commit details
    Browse the repository at this point in the history

  2. Add fence before reading used ring and after writing available ring.

    @qwandor
    qwandor committed Sep 23, 2022
    Configuration menu
    Copy the full SHA
    8f086e7 View commit details
    Browse the repository at this point in the history