Skip to content

Commit 854be10

Browse files
ktosoktoso
committed
[Concurrency] Adopt stable keyword consuming instead of __owned
1 parent 6877778 commit 854be10

14 files changed

+93
-14
lines changed

‎lib/AST/Decl.cpp

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5416,11 +5416,12 @@ NominalTypeDecl::getExecutorLegacyUnownedEnqueueFunction() const {
54165416

54175417
if (auto *funcDecl = dyn_cast<AbstractFunctionDecl>(candidate)) {
54185418
auto params = funcDecl->getParameters();
5419-
54205419
if (params->size() != 1)
54215420
continue;
54225421

5423-
if (params->get(0)->getType()->isEqual(unownedJobDecl->getDeclaredInterfaceType())) {
5422+
auto param = params->get(0);
5423+
if (param->getSpecifier() == ParamSpecifier::LegacyOwned ||
5424+
param->getSpecifier() == ParamSpecifier::Consuming) {
54245425
return funcDecl;
54255426
}
54265427
}

‎stdlib/public/Concurrency/Executor.swift

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,7 @@ public protocol Executor: AnyObject, Sendable {
3434

3535
#if !SWIFT_STDLIB_TASK_TO_THREAD_MODEL_CONCURRENCY
3636
@available(SwiftStdlib 5.9, *)
37-
func enqueue(_ job: __owned ExecutorJob)
37+
func enqueue(_ job: consuming ExecutorJob)
3838
#endif // !SWIFT_STDLIB_TASK_TO_THREAD_MODEL_CONCURRENCY
3939
}
4040

@@ -60,7 +60,7 @@ public protocol SerialExecutor: Executor {
6060
@_nonoverride
6161
@available(SwiftStdlib 5.9, *)
6262
@available(*, deprecated, message: "Implement 'enqueue(_: __owned ExecutorJob)' instead")
63-
func enqueue(_ job: __owned Job)
63+
func enqueue(_ job: consuming ExecutorJob)
6464
#endif // !SWIFT_STDLIB_TASK_TO_THREAD_MODEL_CONCURRENCY
6565

6666
#if !SWIFT_STDLIB_TASK_TO_THREAD_MODEL_CONCURRENCY
@@ -110,7 +110,7 @@ extension Executor {
110110
self.enqueue(ExecutorJob(job))
111111
}
112112

113-
public func enqueue(_ job: __owned ExecutorJob) {
113+
public func enqueue(_ job: consuming ExecutorJob) {
114114
self.enqueue(Job(job))
115115
}
116116

‎stdlib/public/Concurrency/PartialAsyncTask.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -45,7 +45,7 @@ public struct UnownedJob: Sendable {
4545
#if !SWIFT_STDLIB_TASK_TO_THREAD_MODEL_CONCURRENCY
4646
/// Create an `UnownedJob` whose lifetime must be managed carefully until it is run exactly once.
4747
@available(SwiftStdlib 5.9, *)
48-
public init(_ job: __owned Job) {
48+
public init(_ job: __owned ExecutorJob) {
4949
self.context = job.context
5050
}
5151
#endif // !SWIFT_STDLIB_TASK_TO_THREAD_MODEL_CONCURRENCY

‎stdlib/public/Distributed/DistributedDefaultExecutor.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ internal final class DistributedRemoteActorReferenceExecutor: SerialExecutor {
2424
internal init() {}
2525

2626
@inlinable
27-
public func enqueue(_ job: __owned ExecutorJob) {
27+
public func enqueue(_ job: consuming ExecutorJob) {
2828
let jobDescription = job.description
2929
fatalError("Attempted to enqueue ExecutorJob (\(jobDescription)) on executor of remote distributed actor reference!")
3030
}

‎test/Concurrency/Runtime/custom_executors_complex_equality_crash.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ final class NaiveQueueExecutor: SerialExecutor, CustomStringConvertible {
2323
self.queue = queue
2424
}
2525

26-
public func enqueue(_ job: __owned ExecutorJob) {
26+
public func enqueue(_ job: consuming ExecutorJob) {
2727
let unowned = UnownedJob(job)
2828
queue.sync {
2929
unowned.runSynchronously(on: self.asUnownedSerialExecutor())

‎test/Concurrency/Runtime/custom_executors_moveOnly_job.swift

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,8 @@
99
// UNSUPPORTED: back_deployment_runtime
1010
// REQUIRES: concurrency_runtime
1111

12-
final class InlineExecutor_UnownedJob: SerialExecutor, CustomStringConvertible {
13-
public func enqueue(_ job: UnownedJob) {
12+
final class InlineExecutor: SerialExecutor, CustomStringConvertible {
13+
public func enqueue(_ job: consuming ExecutorJob) {
1414
job.runSynchronously(on: self.asUnownedSerialExecutor())
1515
}
1616

‎test/Concurrency/Runtime/custom_executors_priority.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@
1010
// REQUIRES: concurrency_runtime
1111

1212
final class InlineExecutor: SerialExecutor {
13-
public func enqueue(_ job: __owned ExecutorJob) {
13+
public func enqueue(_ job: consuming ExecutorJob) {
1414
print("\(self): enqueue (priority: \(TaskPriority(job.priority)!))")
1515
job.runSynchronously(on: self.asUnownedSerialExecutor())
1616
}

‎test/Concurrency/Runtime/custom_executors_protocol.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@ final class NaiveQueueExecutor: SpecifiedExecutor, CustomStringConvertible {
3535
self.queue = queue
3636
}
3737

38-
public func enqueue(_ job: __owned ExecutorJob) {
38+
public func enqueue(_ job: consuming ExecutorJob) {
3939
print("\(self): enqueue")
4040
let unowned = UnownedJob(job)
4141
queue.sync {

‎test/Concurrency/Runtime/custom_executors_sdk_with_consuming_param_but_impl_owned.swift

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk-concurrency-consuming-job-param) -typecheck -parse-as-library %s -verify
2+
3+
// REQUIRES: concurrency
4+
// REQUIRES: libdispatch
5+
6+
// rdar://106849189 move-only types should be supported in freestanding mode
7+
// UNSUPPORTED: freestanding
8+
9+
// UNSUPPORTED: back_deployment_runtime
10+
// REQUIRES: concurrency_runtime
11+
12+
import _Concurrency
13+
14+
final class FakeExecutor: SerialExecutor {
15+
// implements the __owned requirement in "old" SDK:
16+
// func enqueue(_ job: __owned Job)
17+
func enqueue(_ job: __owned ExecutorJob) {}
18+
}

‎test/Concurrency/Runtime/custom_executors_sdk_with_owned_param_but_impl_consuming.swift

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk-concurrency-owned-job-param) -typecheck -parse-as-library %s -verify
2+
3+
// REQUIRES: concurrency
4+
// REQUIRES: libdispatch
5+
6+
// rdar://106849189 move-only types should be supported in freestanding mode
7+
// UNSUPPORTED: freestanding
8+
9+
// UNSUPPORTED: back_deployment_runtime
10+
// REQUIRES: concurrency_runtime
11+
12+
import _Concurrency
13+
14+
final class FakeExecutor: SerialExecutor {
15+
// implements the __owned requirement in "old" SDK:
16+
// func enqueue(_ job: __owned Job)
17+
func enqueue(_ job: consuming ExecutorJob) {}
18+
}

‎test/Concurrency/custom_executor_enqueue_impls.swift

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ final class TripleExecutor: SerialExecutor {
4141
// expected-note@+1{{use 'ExecutorJob' instead}}
4242
func enqueue(_ job: __owned Job) {} // expected-warning{{'Executor.enqueue(Job)' is deprecated as a protocol requirement; conform type 'TripleExecutor' to 'Executor' by implementing 'func enqueue(ExecutorJob)' instead}}
4343

44-
func enqueue(_ job: __owned ExecutorJob) {}
44+
func enqueue(_ job: consuming ExecutorJob) {}
4545

4646
func asUnownedSerialExecutor() -> UnownedSerialExecutor {
4747
UnownedSerialExecutor(ordinary: self)
@@ -72,7 +72,7 @@ final class StillDeprecated: SerialExecutor {
7272

7373
/// Just implementing the new signature causes no warnings, good.
7474
final class NewExecutor: SerialExecutor {
75-
func enqueue(_ job: __owned ExecutorJob) {} // no warnings
75+
func enqueue(_ job: consuming ExecutorJob) {} // no warnings
7676

7777
func asUnownedSerialExecutor() -> UnownedSerialExecutor {
7878
UnownedSerialExecutor(ordinary: self)

‎test/Inputs/clang-importer-sdk/swift-modules-concurrency-consuming-job-param/_Concurrency.swift

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
2+
// This simulates a pre-Swift5.9 concurrency library with `Job` and `ExecutorJob` not being defined at all.
3+
// This is used to verify missing type handling in the SDK when a latest compiler is used.
4+
5+
@_moveOnly
6+
public struct ExecutorJob {}
7+
8+
public protocol SerialExecutor {
9+
// pretend old SDK with `__owned` param rather than ``
10+
func enqueue(_ job: consuming ExecutorJob)
11+
}

‎test/Inputs/clang-importer-sdk/swift-modules-concurrency-owned-job-param/_Concurrency.swift

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
2+
// This simulates a pre-Swift5.9 concurrency library with `Job` and `ExecutorJob` not being defined at all.
3+
// This is used to verify missing type handling in the SDK when a latest compiler is used.
4+
5+
@_moveOnly
6+
public struct ExecutorJob {}
7+
8+
public protocol SerialExecutor {
9+
// pretend old SDK with `__owned` param rather than ``
10+
func enqueue(_ job: __owned ExecutorJob)
11+
}

‎test/lit.cfg

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -624,6 +624,16 @@ config.substitutions.append(('%clang-importer-sdk-concurrency-without-job',
624624
'-enable-source-import -sdk %r -I %r ' % (make_path(config.test_source_root, 'Inputs', 'clang-importer-sdk'),
625625
make_path(config.test_source_root, 'Inputs', 'clang-importer-sdk', 'swift-modules-concurrency-without-job'))))
626626

627+
# FIXME: BEGIN -enable-source-import hackaround
628+
config.substitutions.append(('%clang-importer-sdk-concurrency-owned-job-param-path',
629+
'%r' % (make_path(config.test_source_root, 'Inputs', 'clang-importer-sdk'))))
630+
config.substitutions.append(('%clang-importer-sdk-concurrency-owned-job-param-nosource',
631+
'-sdk %r' % (make_path(config.test_source_root, 'Inputs', 'clang-importer-sdk'))))
632+
# FIXME: END -enable-source-import hackaround
633+
config.substitutions.append(('%clang-importer-sdk-concurrency-owned-job-param',
634+
'-enable-source-import -sdk %r -I %r ' % (make_path(config.test_source_root, 'Inputs', 'clang-importer-sdk'),
635+
make_path(config.test_source_root, 'Inputs', 'clang-importer-sdk', 'swift-modules-concurrency-owned-job-param'))))
636+
627637
# FIXME: BEGIN -enable-source-import hackaround
628638
config.substitutions.append(('%clang-importer-sdk-concurrency-typealias-struct-job-path',
629639
'%r' % (make_path(config.test_source_root, 'Inputs', 'clang-importer-sdk'))))
@@ -634,6 +644,16 @@ config.substitutions.append(('%clang-importer-sdk-concurrency-typealias-struct-j
634644
'-enable-source-import -sdk %r -I %r ' % (make_path(config.test_source_root, 'Inputs', 'clang-importer-sdk'),
635645
make_path(config.test_source_root, 'Inputs', 'clang-importer-sdk', 'swift-modules-concurrency-typealias-struct-job'))))
636646

647+
# FIXME: BEGIN -enable-source-import hackaround
648+
config.substitutions.append(('%clang-importer-sdk-concurrency-consuming-job-param-path',
649+
'%r' % (make_path(config.test_source_root, 'Inputs', 'clang-importer-sdk'))))
650+
config.substitutions.append(('%clang-importer-sdk-concurrency-owned-job-param-nosource',
651+
'-sdk %r' % (make_path(config.test_source_root, 'Inputs', 'clang-importer-sdk'))))
652+
# FIXME: END -enable-source-import hackaround
653+
config.substitutions.append(('%clang-importer-sdk-concurrency-consuming-job-param',
654+
'-enable-source-import -sdk %r -I %r ' % (make_path(config.test_source_root, 'Inputs', 'clang-importer-sdk'),
655+
make_path(config.test_source_root, 'Inputs', 'clang-importer-sdk', 'swift-modules-concurrency-consuming-job-param'))))
656+
637657
# FIXME: BEGIN -enable-source-import hackaround
638658
config.substitutions.append(('%clang-importer-sdk-path',
639659
'%r' % (make_path(config.test_source_root, 'Inputs', 'clang-importer-sdk'))))

0 commit comments

Comments
 (0)