Add experimental feature to defer Sendable checking to SILGen #66874
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
added 15 commits
June 20, 2023 20:01
…s, and possibly defer their production. Does not build yet due to failing static asserts.
…s to enable AST allocation and trivial deallocation.
… and controlflow in ActorIsolationChecker::walkToExprPre
…dableDiagnostic instances - causing insertion of spurious SendNonSendableExpr's
…r, and produce its diagnostics during SILGen
…'s at their insertion site
…xperimental-feature DeferredSendableChecking
JTurcotti
requested review from
AnthonyLatsis,
hborla,
slavapestov,
xedin and
tshortli
as code owners
|
@swift-ci please smoke test |
|
superseded by #66929 |
1 similar comment
|
superseded by #66929 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Currently Sendable diagnostics such as
non-sendable type 'NonSendable' passed in call to actor-isolated instance method 'actorTakesNS' cannot cross actor boundaryare all produced during type checking. We want to add a SIL pass that uses flow-sensitive ownership analysis to determine that some of these diagnostic sites are actually safe (i.e. cannot yield data races), so the production of such diagnostics must be deferred to a SIL pass.This PR is an incremental step towards accomplishing that goal. Instead of being directly produced during type checking, a large class of sendable diagnostics (see the added test files in
swift/test/Concurrency/DeferredSendableCheckingfor a characterization) are wrapped into closures that can be called later to produce the diagnostics. Those closures are wrapped inDeferredSendableDiagnostics - a class containing utilities for handling creation and accumulation that respects existing control flows - which are then placed inSendNonSendableExprAST nodes that are inserted at appropriate sites in the AST.SILGen responds to encountering these
SendNonSendableExprnodes by recursing to their subexpression, but calling their contained closure to emit the appropriate diagnostics before doing so.swift/test/Concurrency/DeferredSendableCheckingcontains two identical test files, except that one is run with-typecheckand the other is run withemit-silgen. The former produces no diagnostics, the latter produces all diagnostics.This behavior is guarded behind the
-enable-experimental-feature DeferredSendableCheckingflag.