File: distributed_actor_isolation_passing.swift

package info (click to toggle)
swiftlang 6.2.3-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 2,856,264 kB
  • sloc: cpp: 9,995,718; ansic: 2,234,019; asm: 1,092,167; python: 313,940; objc: 82,726; f90: 80,126; lisp: 38,373; pascal: 25,580; sh: 20,378; ml: 5,058; perl: 4,751; makefile: 4,725; awk: 3,535; javascript: 3,018; xml: 918; fortran: 664; cs: 573; ruby: 396
file content (60 lines) | stat: -rw-r--r-- 2,158 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend-emit-module -emit-module-path %t/FakeDistributedActorSystems.swiftmodule -module-name FakeDistributedActorSystems -target %target-swift-5.9-abi-triple %S/../Inputs/FakeDistributedActorSystems.swift
// RUN: %target-build-swift -parse-as-library -swift-version 6 -target %target-swift-5.9-abi-triple -I %t %s %S/../Inputs/FakeDistributedActorSystems.swift %S/../Inputs/CustomSerialExecutorAvailability.swift -o %t/a.out
// RUN: %target-codesign %t/a.out
// RUN: %target-run %t/a.out

// REQUIRES: executable_test
// REQUIRES: concurrency
// REQUIRES: distributed
// REQUIRES: concurrency_runtime
// UNSUPPORTED: back_deployment_runtime

// UNSUPPORTED: back_deploy_concurrency
// UNSUPPORTED: use_os_stdlib
// UNSUPPORTED: freestanding

//import StdlibUnittest
import Distributed

@available(SwiftStdlib 5.9, *)
distributed actor Tester {

  typealias ActorSystem = LocalTestingDistributedActorSystem

  distributed func check() async {
    // should correctly infer not to be crossing isolation boundary:
    pass()
    passOptional()

    pass(isolatedToActor: self.asLocalActor)
    passOptional(isolatedToActor: self.asLocalActor)

    // Not supported: the parameter must be exactly the 'self.asLocalActor'
    // as otherwise we don't know where the value came from and if it's really
    // self we're calling from; We'd need more sophisticated analysis to make it work.
    //    let myself = self.asLocalActor
    //    pass(isolatedToActor: myself)
  }
}

@available(SwiftStdlib 5.9, *)
func passOptional(isolatedToActor: isolated (any Actor)? = #isolation) {
  isolatedToActor!.preconditionIsolated("Expected to be executing on actor \(isolatedToActor!)")
}

@available(SwiftStdlib 5.9, *)
func pass(isolatedToActor: isolated (any Actor) = #isolation) {
  isolatedToActor.preconditionIsolated("Expected to be executing on actor \(isolatedToActor)")
}

@main struct Main {
  static func main() async {
    if #available(SwiftStdlib 5.9, *) {
      let system = LocalTestingDistributedActorSystem()
      let tester = Tester(actorSystem: system)

      try! await tester.check()
    }
  }
}