mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
186c53000d
- Introduce an UnownedSerialExecutor type into the concurrency library. - Create a SerialExecutor protocol which allows an executor type to change how it executes jobs. - Add an unownedExecutor requirement to the Actor protocol. - Change the ABI for ExecutorRef so that it stores a SerialExecutor witness table pointer in the implementation field. This effectively makes ExecutorRef an `unowned(unsafe) SerialExecutor`, except that default actors are represented without a witness table pointer (just a bit-pattern). - Synthesize the unownedExecutor method for default actors (i.e. actors that don't provide an unownedExecutor property). - Make synthesized unownedExecutor properties `final`, and give them a semantics attribute specifying that they're for default actors. - Split `Builtin.buildSerialExecutorRef` into a few more precise builtins. We're not using the main-actor one yet, though. Pitch thread: https://forums.swift.org/t/support-custom-executors-in-swift-concurrency/44425
59 lines
2.2 KiB
Swift
59 lines
2.2 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-frontend -typecheck -enable-library-evolution -enable-experimental-concurrency -enable-experimental-async-handler -emit-module-interface-path %t/Library.swiftinterface -module-name Library %s
|
|
// RUN: %FileCheck --check-prefix CHECK-EXTENSION %s <%t/Library.swiftinterface
|
|
// RUN: %FileCheck --check-prefix CHECK %s <%t/Library.swiftinterface
|
|
// REQUIRES: concurrency
|
|
|
|
/// This test ensures that, when generating a swiftinterface file,
|
|
/// the actor decl itself is what may conform to the Actor protocol,
|
|
/// and not via some extension. The requirement is due to the unique
|
|
/// optimizations applied to the implementation of actors.
|
|
|
|
// CHECK-EXTENSION-NOT: extension {{.+}} : _Concurrency.Actor
|
|
|
|
// CHECK: public actor PlainActorClass {
|
|
@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
|
|
public actor PlainActorClass {
|
|
@actorIndependent public func enqueue(_ job: UnownedJob) { }
|
|
}
|
|
|
|
// CHECK: public actor ExplicitActorClass : _Concurrency.Actor {
|
|
@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
|
|
public actor ExplicitActorClass : Actor {
|
|
@actorIndependent public func enqueue(_ job: UnownedJob) { }
|
|
}
|
|
|
|
// CHECK: public actor EmptyActor {
|
|
@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
|
|
public actor EmptyActor {}
|
|
|
|
// CHECK: actor public class EmptyActorClass {
|
|
@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
|
|
public actor class EmptyActorClass {}
|
|
|
|
// CHECK: public protocol Cat : _Concurrency.Actor {
|
|
@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
|
|
public protocol Cat : Actor {
|
|
func mew()
|
|
}
|
|
|
|
// CHECK: public actor HouseCat : Library.Cat {
|
|
@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
|
|
public actor HouseCat : Cat {
|
|
@asyncHandler public func mew() {}
|
|
@actorIndependent public func enqueue(_ job: UnownedJob) { }
|
|
}
|
|
|
|
// CHECK: public protocol ToothyMouth {
|
|
@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
|
|
public protocol ToothyMouth {
|
|
func chew()
|
|
}
|
|
|
|
// CHECK: public actor Lion : Library.ToothyMouth, _Concurrency.Actor {
|
|
@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
|
|
public actor Lion : ToothyMouth, Actor {
|
|
@asyncHandler public func chew() {}
|
|
@actorIndependent public func enqueue(_ job: UnownedJob) { }
|
|
}
|