Чем отличаются garbage collector и ARC?

Чем отличаются garbage collector и ARC?

• Garbage Collector (GC): автоматический сборщик мусора, который периодически анализирует объекты и освобождает память, больше не используемую приложением.
• Работает асинхронно, применяя алгоритмы вроде mark-and-sweep или generational.
• Способен приостанавливать выполнение приложения (stop-the-world).
• Умеет обрабатывать циклические ссылки.

Пример: JVM, .NET CLR.

Automatic Reference Counting (ARC): автоматически подсчитывает ссылки на объекты и освобождает объект, когда их число становится равным нулю.

• Работает на этапе компиляции и во время исполнения, не создавая пауз, характерных для GC.
• Не устраняет циклические ссылки без дополнительных механизмов — weak/unowned ссылок.

Пример: Swift, Objective-C.

Ключевые различия: GC работает периодически и косвенно, может вызывать паузы и самостоятельно решает проблему циклов; ARC действует непрерывно, не делает GC-пауз, но требует явного решения циклических зависимостей.

• Практическая польза: GC удобнее для сложных графов объектов с циклами, а ARC лучше подходит для предсказуемых систем с низкой задержкой.

Подробный ответ

Основной ответ

Garbage Collector (GC) и Automatic Reference Counting (ARC) решают одну задачу — управление памятью, — но используют разные механизмы. GC периодически ищет и освобождает неиспользуемую память в фоновом режиме. ARC отслеживает количество ссылок на каждый объект и удаляет его сразу после того, как активных ссылок не остаётся.

Ключевые моменты

• Механизм работы: GC сканирует граф ссылок, работая параллельно или останавливая приложение на отдельных этапах, поэтому возможны задержки (stop-the-world). ARC действует детерминированно: память освобождается сразу после исчезновения ссылок, без пауз.
• Нюансы производительности: во время сборки GC может заметно загружать CPU, особенно при большом размере heap’ов. ARC обеспечивает низкие задержки, однако при каждом присваивании выполняются дополнительные операции подсчёта ссылок, что создаёт overhead при интенсивном создании и уничтожении объектов.
• Циклы ссылок: ARC не может самостоятельно устранить круговые ссылки, поэтому требуются слабые ссылки (weak references) или другие дополнительные механизмы. GC анализирует всю память и автоматически находит такие циклы.
• Примеры использования: GC применяется в JVM (Java, Kotlin), .NET и Go. ARC используется в Swift (с версии 2) и Objective-C, где важны предсказуемость и производительность без пауз.

Практический контекст

В iOS-разработке на Swift 5+ ARC обеспечивает высокую скорость и низкие задержки интерфейса, но требует внимательного управления циклическими зависимостями, например через weak/unowned ссылки. В Java приложениях GC освобождает разработчика от явного управления памятью, однако в real-time сценариях способен влиять на latency.