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

@isolated(any) function types #2357

Merged
merged 10 commits into from Mar 27, 2024
Merged

@isolated(any) function types #2357

merged 10 commits into from Mar 27, 2024

Commits on Mar 22, 2024

  1. Initial draft of the @isolated(any) proposal.

    @rjmccall
    rjmccall committed Mar 22, 2024
    Copy the full SHA
    70f8b08 View commit details
    Browse the repository at this point in the history

  2. Guarantee that tasks will start on their formal isolation when the 

    task function is explicitly isolated to an actor (or is not a closure).
    @rjmccall
    rjmccall committed Mar 22, 2024
    Copy the full SHA
    6f760f7 View commit details
    Browse the repository at this point in the history

  3. Add a title, and try to get the multi-paragraph footnote thing to work.

    @rjmccall
    rjmccall committed Mar 22, 2024
    Copy the full SHA
    9a5abc2 View commit details
    Browse the repository at this point in the history

  4. Link the @isolated(any) proposal to two of the more fundamental 

    PRs implementing the feature.
    @rjmccall
    rjmccall committed Mar 22, 2024
    Copy the full SHA
    65f25ef View commit details
    Browse the repository at this point in the history

  5. Link to pitch.

    @rjmccall
    rjmccall committed Mar 22, 2024
    Copy the full SHA
    2be0db4 View commit details
    Browse the repository at this point in the history

  6. Incorporate Konrad's feedback.

    @rjmccall
    rjmccall committed Mar 22, 2024
    Copy the full SHA
    4d27c08 View commit details
    Browse the repository at this point in the history

  7. Add some recommendations about when to use @isolated(any).

    @rjmccall
    rjmccall committed Mar 22, 2024
    Copy the full SHA
    2aab885 View commit details
    Browse the repository at this point in the history

  8. Revise the isolated(any) proposal to soften the dependency on 

    closure isolation controls, which will not be finished before we
review this proposal.
    @rjmccall
    rjmccall committed Mar 22, 2024
    Copy the full SHA
    9ee7977 View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2024

  1. Incorporate Doug's feedback.

    @rjmccall
    rjmccall committed Mar 26, 2024
    Copy the full SHA
    5a532ca View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2024

  1. Update the isolation rules to be more explicit about the relationship 

    with the closure isolation pitch.  We're considering this proposal
knowing that some things can't be expressed yet without that pitch.
As long as we add something vaguely like that pitch in the future,
this is how the rules for isolated(any) should apply to it.
    @rjmccall
    rjmccall committed Mar 27, 2024
    Copy the full SHA
    cb832eb View commit details
    Browse the repository at this point in the history