Почему горутины считаются быстрыми?

Почему горутины считаются быстрыми?

Горутины — это легковесные потоки управления в Go, реализованные на уровне runtime. Они считаются быстрыми по нескольким ключевым причинам:

1. Минимальное потребление памяти

Каждая горутина занимает примерно 2KB памяти (на современных архитектурах), в то время как ОС-потоки требуют 1-2MB. Это позволяет легко создавать миллионы горутин на одной машине. Традиционный поток требует выделения большого стека и синхронизационных структур, горутина же использует динамический стек, который растет только при необходимости.

2. Быстрое переключение контекста

Переключение между горутинами происходит в памяти приложения, без вмешательства ОС. Runtime Go использует M:N планировщик — много горутин (G) планируются на меньшее количество ОС-потоков (M), работающих на процессорах (P). Когда одна горутина блокируется (на I/O или синхронизации), планировщик переключается на другую без дорогой системной операции.

3. Отсутствие overhead синхронизации потоков

Вместо mutex'ов и сложной синхронизации потоков, Go предоставляет channels — простой и безопасный способ общения между горутинами. Channels работают на базе существующих примитивов, но предоставляют более удобный интерфейс.

4. Встроенная поддержка в языке

Горутины — это первоклассный конструкт языка (ключевое слово go), а не библиотечная функция. Это означает, что компилятор может применять оптимизации, специфичные для горутин. Синтаксис очень простой: go functionCall().

5. Умный планировщик runtime

Планировщик Go постоянно эволюционирует. Он использует работу-кражу (work-stealing) для балансировки нагрузки между ядрами, обрабатывает блокирующие операции изящно через syscall wrapper'ы, минимизирует lock contention.

Сравнение с потоками ОС:

// Создание 1000 горутин — быстро и просто
for i := 0; i < 1000; i++ {
    go func(id int) {
        // работа
    }(i)
}

// Попробовать создать 1000 потоков ОС будет очень медленно и потребует много памяти

Практический пример:

На одной машине можно запустить 100k+ горутин без проблем. Попытка запустить столько же ОС-потоков приведет к исчерпанию системных ресурсов.

Горутины быстры потому, что они облегчают работу runtime-а, а не ОС. Это позволяет программистам писать высококонкурентный код без усложнения приложения дорогостоящей синхронизацией потоков.