Является ли Run Loop потокобезопасным?

Общая концепция безопасности Run Loop

Run Loop (цикл выполнения) сам по себе не является потокобезопасным в классическом понимании этого термина. Это механизм, который внутренне связан с конкретным потоком и предназначен для обработки событий и задач именно в том потоке, в котором он создан и работает. Run Loop — это не отдельный, независимый объект, который можно безопасно передавать между потоками или манипулировать из разных потоков одновременно. Он является фундаментальной частью архитектуры управления событиями в потоке.

Архитектура Run Loop и его связь с потоком

В iOS и macOS (Cocoa/Cocoa Touch) каждый поток может иметь свой собственный Run Loop, но главный поток (main thread) создает и использует его автоматически. Для других потоков Run Loop нужно явно запускать, если требуется обработка событий (например, для NSTimer или работы с некоторыми типами сетевых операций в этом потоке).

// Пример получения Run Loop текущего потока
let currentRunLoop = RunLoop.current

// Пример запуска Run Loop в фоновом потоке (редкий случай)
DispatchQueue.global().async {
    let runLoop = RunLoop.current
    // ... добавление источников событий (timers, ports)
    runLoop.run()
}

Ключевые моменты архитектуры:

• Run Loop живет в контексте одного конкретного потока.
• Все источники событий (input sources), такие как NSTimer, NSConnection, порты (NSPort), и наблюдатели (observers), должны быть добавлены в Run Loop того же потока, в котором они будут использоваться.
• Вызов методов Run Loop из другого потока (например, остановка, добавление источника) приведет к неопределенному поведению, гонкам данных или крэшам.

Почему манипуляции с Run Loop из другого потока опасны?

Run Loop управляет внутренними структурами данных (списками источников событий, режимами выполнения), которые не защищены механизмами синхронизации (например, мьютексом) для доступа из других потоков. Прямое взаимодействие нарушает принцип инкапсуляции состояния потока.

// ОПАСНО! Пример неправильного использования (hypothetical)
dispatch_async(otherQueue, ^{
    // Попытка остановить Run Loop главного потока из фонового
    [[NSRunLoop mainRunLoop] cancelPerformSelector:...]; // Может вызвать крэш
});

Безопасные способы взаимодействия с потоком и его Run Loop

Хотя сам Run Loop не потокобезопасен, существуют абсолютно безопасные и рекомендованные паттерны для взаимодействия с задачами, выполняющимися в Run Loop другого потока (особенно главного). Эти паттерны используют API, которые внутренне синхронизированы или выполняют работу в нужном потоке:

1. DispatchQueue.main.async / NSOperationQueue.mainQueue.addOperation: Для выполнения задачи на главном потоке (и его Run Loop).

   // Потокобезопасный способ выполнить код на главном потоке
   DispatchQueue.main.async {
       // Этот блок будет выполнен в Run Loop главного потока
       self.updateUI()
   }
   

2. performSelector:onThread:... семейство методов (NSObject): Позволяют запланировать выполнение метода в конкретном потоке, используя его Run Loop.

   // Планирование выполнения в конкретном потоке (и его Run Loop)
   [self performSelector:@selector(doWork) onThread:targetThread withObject:nil waitUntilDone:NO modes:@[NSDefaultRunLoopMode]];
   

3. Использование DispatchSource (например, DispatchSourceTimer): Современные таймеры GCD не требуют прямого взаимодействия с Run Loop и являются потокобезопасными сами по себе.

   let timer = DispatchSource.makeTimerSource(queue: DispatchQueue.main)
   timer.setEventHandler { /* выполнится на главной queue */ }
   timer.schedule(deadline: .now() + 1.0)
   timer.resume()
   

Итог и рекомендации

• Run Loop не потокобезопасен для прямого манипулирования его состоянием из другого потока. Его API предназначено для использования строго в том потоке, которому он принадлежит.
• Любое межпоточное взаимодействие должно осуществляться через высокоуровневые, синхронизированные механизмы: GCD (DispatchQueue), performSelector:..., или операции (NSOperationQueue). Эти механизмы сами internally взаимодействуют с Run Loop целевого потока корректным и безопасным образом.
• В современной разработке на Swift прямая необходимость работать с Run Loop (кроме главного) возникает редко. Большинство асинхронных задач, таймеров и сетевых операций эффективно и безопасно решаются через Grand Central Dispatch (GCD) и async/await (Swift Concurrency), которые абстрагируют низкоуровневые детали циклов выполнения.

Таким образом, отвечая на вопрос: Run Loop — это потоко-специфичный (thread-specific) и не потокобезопасный для внешнего управления объект, но вся архитектура Cocoa предоставляет потокобезопасные интерфейсы для взаимодействия с задачами, выполняющимися внутри любого Run Loop.