Concurrency в Swift 3 и 4. Operation и OperationQueue

Здравствуйте, немного непонятно зачем для создания асинхронных операций добавлять потоконебезопасную переменную state. Не возможно ли создания гонки, когда мы будем записывать state

    override func start() {
        
        if isCancelled {
            state = .finished
            return
        }
        
        main()
        state = .executing
        
    }

и

    override func main() {
        
        asyncAdd(lhs: lhs, rhs: rhs) { result in
            
            self.result = result
            self.state = .finished
            
        }
        
    }

То есть получается картина, когда теоретически мы пытаемся изменять state из 2-х потоков. Мб в данном случае лучше использовать семафор, для AsyncOperation?

метод cancel () только устанавливает свойство isCancelled в true

У меня не так. Вот вставил assert() в ваш код который всегда срабатывает:

    override func cancel() {
        super.cancel()
        assert(isCancelled)