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

revise Hermit's mutex interface to support the behaviour of StaticMutex #77610

Merged
merged 13 commits into from
Oct 25, 2020
Merged

revise Hermit's mutex interface to support the behaviour of StaticMutex #77610

merged 13 commits into from
Oct 25, 2020

Commits on Oct 11, 2020

  1. revise Hermit's mutex interface to support the behaviour of StaticMutex 

    rust-lang#77147 simplifies things by splitting this Mutex type
into two types matching the two use cases: StaticMutex and MovableMutex.
To support the behavior of StaticMutex, we move part of the mutex
implementation into libstd.
    @stlankes
    stlankes committed Oct 11, 2020
    Configuration menu
    Copy the full SHA
    16d65d0 View commit details
    Browse the repository at this point in the history

  2. using the latest version of libhermit-rs

    @stlankes
    stlankes committed Oct 11, 2020
    Configuration menu
    Copy the full SHA
    98fcc3f View commit details
    Browse the repository at this point in the history

  3. revise code to pass the format check

    @stlankes
    stlankes committed Oct 11, 2020
    Configuration menu
    Copy the full SHA
    d560b50 View commit details
    Browse the repository at this point in the history

  4. revise comments and descriptions of the helper functions

    @stlankes
    stlankes committed Oct 11, 2020
    Configuration menu
    Copy the full SHA
    986c1fc View commit details
    Browse the repository at this point in the history

  5. fix typos in new method

    @stlankes
    stlankes committed Oct 11, 2020
    Configuration menu
    Copy the full SHA
    d6e955f View commit details
    Browse the repository at this point in the history

  6. revise code to pass the format check

    @stlankes
    stlankes committed Oct 11, 2020
    Configuration menu
    Copy the full SHA
    530f575 View commit details
    Browse the repository at this point in the history

  7. add hermit to the list of omit OS

    @stlankes
    stlankes committed Oct 11, 2020
    Configuration menu
    Copy the full SHA
    8d8a290 View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2020

  1. remove obsolete function diverge

    @stlankes
    stlankes committed Oct 12, 2020
    Configuration menu
    Copy the full SHA
    33fd08b View commit details
    Browse the repository at this point in the history

  2. reuse implementation of the system provider "unsupported"

    @stlankes
    stlankes committed Oct 12, 2020
    Configuration menu
    Copy the full SHA
    30c3dad View commit details
    Browse the repository at this point in the history

  3. define required type 'MovableMutex'

    @stlankes
    stlankes committed Oct 12, 2020
    Configuration menu
    Copy the full SHA
    1741e5b View commit details
    Browse the repository at this point in the history

Commits on Oct 13, 2020

  1. move __rg_oom to the libos to avoid duplicated symbols

    @stlankes
    stlankes committed Oct 13, 2020
    Configuration menu
    Copy the full SHA
    bc6b2ac View commit details
    Browse the repository at this point in the history

  2. minor changes to pass the format check

    @stlankes
    stlankes committed Oct 13, 2020
    Configuration menu
    Copy the full SHA
    77d9831 View commit details
    Browse the repository at this point in the history

  3. box mutex to get a movable mutex 

    the commit avoid an alignement issue in Mutex implementation
    @stlankes
    stlankes committed Oct 13, 2020
    Configuration menu
    Copy the full SHA
    bf268fe View commit details
    Browse the repository at this point in the history