Interview: чем опасна actor reentrancy в Swift Concurrency?

Сильный ответ: actor защищает mutable state от одновременного доступа, но после await другой вызов может зайти в тот же actor и изменить состояние.

Вопрос на собеседовании обычно звучит просто: “Actor делает код thread-safe?” Ожидаемый ответ: да, но не магически для всей бизнес-логики. Actor serializes access к своему isolated state, однако Swift actors are reentrant: на suspension point actor может выполнить другую работу.

Мини-ловушка:

actor Counter {
private var value = 0

func incrementSlowly() async {
let oldValue = value
await Task.yield()
value = oldValue + 1
}
}


Если два клиента одновременно вызовут incrementSlowly(), оба могут прочитать 0 до await, а затем оба записать 1. Actor не нарушен, data race нет, но логическая инварианта потеряна.

Как отвечать сильнее: не держите важный read-modify-write через await. Сначала дождитесь внешней async-работы, потом зайдите в actor и обновите state; либо перечитайте state после suspension; либо разделите метод так, чтобы инвариант обновлялся без suspension point.

Источник: The Swift Programming Language / Concurrency

#Swift #Concurrency #Interview #Actors #iOS