Как работи планировчикът на Go? Разкажи ми за модела GMP.

Планировчикът на Go се базира на модела GMP, където:

• G (goroutine) — леко изпълняващо нишка.
• M (машина) — нишка на операционната система, върху която се изпълняват goroutine-ите.
• P (процесор) — логически процесор, който свързва G и M.

Всяка M може да изпълнява само една G едновременно, но за да изпълнява M, трябва да има достъп до P. Броят на P ограничава максималния брой goroutine-и, които могат да се изпълняват едновременно на ниво планировчик.

Работата на планировчика:

1. Goroutine-ите се създават и се поставят в опашка за готовност.
2. P избира G от опашката и я свързва с M.
3. M изпълнява G.
4. Ако G блокира (например, при вход/изход), M се освобождава и може да вземе друга G.
5. Планировчикът балансира натоварването между M и G, превключвайки ги при необходимост.

Този подход позволява ефективно използване на системните нишки и мащабиране на изпълнението на голям брой goroutine-и с минимални разходи.