Что означает модель G-P-M в Go?

Question

Модель G-P-M описывает работу планировщика Go.
G — это goroutine, M — системный поток (machine), P — процессор планировщика, который управляет выполнением горутин. Горутины ставятся в очереди, а P распределяет их между потоками M. Это позволяет эффективно использовать CPU и выполнять тысячи горутин.

YeaHub · Accepted Answer

В Go выполнение кода управляется собственным планировщиком runtime, а не напрямую операционной системой.Основные компоненты моделиОпределение:Модель G-P-M — это архитектура планировщика Go, в которой выполнение горутин отделено от системных потоков.1) G — GoroutineG — это:функция, выполняемая конкурентнособственный стек (начально небольшой, растет динамически)контекст выполненияГорутины легковесны, поэтому их может быть десятки и сотни тысяч.2) M — Machine (поток ОС)M — это:реальный поток операционной системыименно он выполняет код на CPUБез M код выполняться не может, потому что CPU работает с потоками ОС.3) P — ProcessorP — это логический процессор планировщика.Он содержит:очередь готовых горутинконтекст выполненияслужебные структуры runtimeКоличество P обычно равно GOMAXPROCS.Как происходит выполнениеТипичный цикл:goroutine помещается в очередь Pпоток M берет goroutine из Pвыполняет ее на CPUпри блокировке горутины планировщик переключается на другуюУпрощенная схема:Goroutines -> P (очередь) -> M -> CPU
Почему нужна именно такая модельЕсли бы каждая goroutine была потоком ОС:огромные накладные расходымедленное переключение контекстаограничения ОСПланировщик Go:дешевле переключает горутинылучше масштабируетсяпозволяет запускать очень много конкурентных задачВажные детали поведенияПланировщик умеет:work stealing между Pпарковать и будить горутиныосвобождать M при блокирующих syscallЭто критично для высокой производительности.ВыводМодель G-P-M позволяет отделить горутины от потоков ОС и эффективно планировать выполнение большого числа конкурентных задач.