Как акторы Swift защищают состояние от гонок данных

Гонка данных возникает, когда потоки без синхронизации обращаются к области памяти и хотя бы один пишет в неё. Актор изолирует изменяемое состояние: снаружи его методы и свойства доступны через await, а компилятор проверяет синхронизированный доступ. Неизменяемые свойства можно читать напрямую.

Каждый await может приостановить код. Между двумя вызовами актор способен обработать другой запрос, поэтому связанные операции лучше объединять в одном методе. Для методов и вычисляемых свойств, которым нужны только неизменяемые данные, есть nonisolated: их вызывают без ожидания.

В разборе SwiftLee есть код до и после замены очереди с барьером на актор и объяснение изоляции. Граница подхода тоже обозначена: акторы уменьшают риск гонок данных, но состояния гонки всё ещё возможны.