За счёт чего переключение между горутинами происходит быстрее, чем между потоками ОС?

Что такое горутины и потоки ОС?

Горутина — это легковесный поток выполнения в Go, управляемый рантаймом языка. Поток ОС — это единица выполнения, управляемая операционной системой. Основное различие заключается в том, как они создаются и переключаются.

Почему переключение горутин быстрее?

• Размер стека: Горутины начинают с очень маленького стека (около 2-4 КБ), который динамически растет по мере необходимости. Потоки ОС имеют фиксированный стек большого размера (обычно 1 МБ и более).
• Планировщик: Планировщик Go работает в пользовательском пространстве, без участия ядра ОС. Переключение между горутинами — это просто сохранение и восстановление регистров процессора, что занимает наносекунды. Переключение потоков ОС требует системного вызова, переключения в режим ядра и обратно, что занимает микросекунды.
• Модель M:N: Go использует модель M:N, где M горутин выполняются на N потоках ОС. Планировщик Go сам решает, когда приостановить одну горутину и запустить другую, не привлекая ОС.

Пример кода

package main

import (
	"fmt"
	"runtime"
	"sync"
)

func main() {
	var wg sync.WaitGroup
	for i := 0; i < 1000; i++ {
		wg.Add(1)
		go func(id int) {
			defer wg.Done()
			fmt.Println("Горутина", id)
			runtime.Gosched() // добровольная передача управления
		}(i)
	}
	wg.Wait()
}

В этом примере создается 1000 горутин. Планировщик Go эффективно распределяет их выполнение на доступных потоках ОС, переключаясь между ними без дорогих системных вызовов.

Вывод

Горутины обеспечивают высокую производительность при работе с большим количеством конкурентных задач благодаря легковесности и эффективному планированию в пользовательском пространстве. Это делает Go идеальным для серверных приложений, микросервисов и систем, требующих высокой степени параллелизма.