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

[ base ] Add atomically function #3380

Merged
merged 14 commits into from
Sep 11, 2024
Merged

[ base ] Add atomically function #3380

merged 14 commits into from
Sep 11, 2024

Commits on Sep 6, 2024

  1. Adding initial implementation of atomicModifyIORef in Data.IORef.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    e049e0f View commit details
    Browse the repository at this point in the history

  2. Updating chez003 test (IORefs) to add atomicModifyIORef.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    efb8fb1 View commit details
    Browse the repository at this point in the history

  3. Updating CHANGELOG_NEXT.md.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    3dcaa7e View commit details
    Browse the repository at this point in the history

  4. Fixing linting in libs/base/Data/IORef.idr.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    fc92369 View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2024

  1. Fixing expected and tests/chez/chez003/IORef.idr to more appropriatel… 

    …y test atomicModifyIORef functionality.
    @Matthew-Mosior
    Matthew-Mosior committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    3ffb87c View commit details
    Browse the repository at this point in the history

  2. Add documentation for libs/base/Data/IORef.idr.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    cf5b87f View commit details
    Browse the repository at this point in the history

  3. Clean up atomicModifyIORef in libs/base/Data/IORef.idr.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    347c751 View commit details
    Browse the repository at this point in the history

  4. Updating atomicModifyIORef implementation to drop codegen check, let … 

    …client decide this. Also update test to ensure enough contention to test for true atomicity (thanks to @stefan-hoeck for help with both of these).
    @Matthew-Mosior
    Matthew-Mosior committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    0fb8ed7 View commit details
    Browse the repository at this point in the history

  5. Remove documentation regarding backends other than chez.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    52933f3 View commit details
    Browse the repository at this point in the history

  6. Update libs/base/Data/IORef.idr 

    Co-authored-by: G. Allais <guillaume.allais@ens-lyon.org>
    @Matthew-Mosior @gallais
    Matthew-Mosior and gallais authored Sep 7, 2024
    Configuration menu
    Copy the full SHA
    94c5302 View commit details
    Browse the repository at this point in the history

  7. Updating CHANGELOG_NEXT.md with new function name, atomically, and up… 

    …dating tests/chez/chez003/IORef.idr to reflect new function.
    @Matthew-Mosior
    Matthew-Mosior committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    0501bcb View commit details
    Browse the repository at this point in the history

  8. Fix linting for libs/base/Data/IORef.idr.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    133cb16 View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2024

  1. Update documentation for modifyIORef in libs/base/Data/IORef.idr.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 8, 2024
    Configuration menu
    Copy the full SHA
    5c0bf6f View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2024

  1. Merge branch 'main' into atomicModifyIORef

    @Matthew-Mosior
    Matthew-Mosior committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    b30cee6 View commit details
    Browse the repository at this point in the history