Runtime
Il runtime del linguaggio Go è l'infrastruttura centrale per l'esecuzione dei programmi Go. È responsabile della gestione dell'allocazione della memoria, del garbage collection, della schedulazione delle coroutine, del monitoraggio del sistema e di altre funzioni chiave. A differenza di altri linguaggi, il runtime di Go è strettamente integrato con il codice utente, il che permette a Go di realizzare una programmazione concorrente efficiente e una gestione automatica della memoria.
Componenti Principali
Il runtime di Go è composto principalmente dai seguenti componenti principali:
Scheduler GMP
Lo scheduler GMP è uno dei componenti più importanti del runtime di Go. È responsabile di schedulare un gran numero di goroutine su un numero limitato di thread di sistema. GMP rappresenta:
- G (Goroutine): coroutine, thread leggeri in Go
- M (Machine): thread di sistema, thread di esecuzione a livello di sistema operativo
- P (Processor): processore, contiene le risorse necessarie per eseguire codice Go
Il design dello scheduler GMP permette a Go di supportare efficientemente migliaia di coroutine concorrenti, ed è la pietra angolare della caratteristica di alta concorrenza del linguaggio Go.
Allocatore di Memoria
L'allocatore di memoria di Go è responsabile della gestione dell'allocazione della memoria heap. Il suo design è fortemente influenzato da Google TCMalloc. Le caratteristiche principali includono:
- Design di cache multi-livello per ridurre la competizione sui lock
- Adotta diverse strategie di allocazione in base alla dimensione degli oggetti
- Decide automaticamente se allocare oggetti su stack o heap
L'allocatore di memoria lavora a stretto contatto con il garbage collector per realizzare una gestione efficiente della memoria.
Garbage Collector
Go adotta l'algoritmo di garbage collection Concurrent Mark-Sweep. Le caratteristiche principali includono:
- Algoritmo di marcatura a tre colori
- Tecnologia write barrier per il recupero concorrente
- Bassa latenza, nella maggior parte dei casi il tempo STW è inferiore a 100 microsecondi
Il garbage collector di Go, dopo anni di ottimizzazione, può soddisfare le esigenze di prestazioni della maggior parte degli scenari aziendali.
Monitor di Sistema
Il monitor di sistema (sysmon) è un thread di monitoraggio indipendente, responsabile di:
- Prelazione di coroutine in esecuzione prolungata
- Controllo se è necessario triggerare il garbage collection
- Monitoraggio dello stato del sistema e apportare regolazioni corrispondenti
Esegue continuamente in background, garantendo l'esecuzione stabile dei programmi Go.
Suggerimenti per l'Apprendimento
Si consiglia di studiare le conoscenze relative al runtime nel seguente ordine:
- Prima imparare lo scheduler GMP, comprendendo il meccanismo di schedulazione delle coroutine
- Poi imparare l'allocatore di memoria, comprendendo come viene allocata la memoria
- Quindi imparare il garbage collector, comprendendo come viene recuperata la memoria
- Infine imparare il monitor di sistema, comprendendo il meccanismo di monitoraggio in background del runtime