Come il processore centrale gestisce la distribuzione dei compiti tra le code di compiti interne e globali?

Nel linguaggio Go, lo scheduler gestisce la distribuzione delle goroutine tra i thread di sistema (M) utilizzando due livelli di code di task: code globali e locali (per-P). Ogni processore (P) ha la propria coda locale di goroutine, dalla quale seleziona i task da eseguire. Se la coda locale è vuota, P cerca di prendere task dalla coda globale o da altri P (work stealing).

In questo modo, il processore centrale (P) gestisce prima i task dalla sua coda locale, garantendo la località dei dati e l’efficienza, e, se necessario, bilancia il carico prendendo task dalla coda globale o da altri P, permettendo una distribuzione efficiente dei task e un uso ottimale delle risorse del sistema.