Informazioni sul codice gestito

  • Articolo

Quando si usa .NET, spesso si incontra il termine "codice gestito". Questo articolo illustra il significato di codice gestito e fornisce informazioni aggiuntive al riguardo.

Detto in parole povere, il codice gestito è un codice la cui esecuzione è gestita da un runtime. In questo caso il runtime in questione è denominato CLR (Common Language Runtime) indipendentemente dall'implementazione (ad esempio, Mono, .NET Framework o .NET Core/.NET 5+). Il CLR è responsabile dell'acquisizione del codice gestito, della compilazione dello stesso in codice macchina e quindi della sua esecuzione. Aspetto ancora più importante, il runtime offre diversi servizi importanti, ad esempio la gestione automatica della memoria, i limiti di sicurezza e l'indipendenza dai tipi.

Il modo in cui viene eseguito un programma C/C++, denominato anche "codice non gestito", è opposto a quanto sopra esposto. Nel "mondo non gestito", il programmatore è responsabile di tutte le attività relative al codice. Il programma effettivo è essenzialmente un file binario che il sistema operativo carica in memoria e avvia. Tutti gli altri aspetti, dalla gestione della memoria alle considerazioni sulla sicurezza, sono a carico del programmatore.

Il codice gestito è scritto in uno dei linguaggi di alto livello eseguibili in .NET, ad esempio C#, Visual Basic, F# e altri. Quando si compila codice scritto in uno di questi linguaggi con il relativo compilatore, non si ottiene codice macchina. Si ottiene invece codice in linguaggio intermedio che il runtime provvede a compilare ed eseguire. C++ è l'unica eccezione a questa regola, poiché può generare alche file binari nativi non gestiti eseguibili in Windows.

Linguaggio intermedio ed esecuzione

Informazioni sul "linguaggio intermedio" Il linguaggio intermedio è un prodotto della compilazione di codice scritto in linguaggi .NET di alto livello. Dopo la compilazione del codice scritto in uno di questi linguaggi, si ottiene un file binario in linguaggio intermedio. È importante notare che il linguaggio intermedio è indipendente da qualsiasi linguaggio specifico eseguito a un livello superiore rispetto al runtime. Esiste una specifica separata che è possibile consultare per maggiori informazioni.

Una volta generato il linguaggio intermedio dal codice di alto livello, è probabile che si voglia eseguirlo. A questo punto il CLR assume il controllo e avvia il processo di compilazione Just-In-Time, o JIT, del codice dal linguaggio intermedio al codice macchina che può essere effettivamente eseguito su una CPU. In questo modo, il CLR conosce esattamente le finalità del codice e può gestirlo.

Talvolta il linguaggio intermedio viene chiamato anche CIL (Common Intermediate Language) o MSIL (Microsoft Intermediate Language).

Interoperabilità con codice non gestito

Il CLR consente naturalmente il superamento dei confini tra "mondo gestito" e "mondo non gestito". È disponibile molto codice in grado di eseguire tale operazione, anche nelle librerie di classi .NET. Questa attività è denominata interoperabilità, abbreviata in interop. Queste condizioni consentono, ad esempio, di eseguire il wrapping di una libreria non gestita e di chiamarla. È tuttavia importante notare che, una volta eseguita questa operazione, quando il codice oltrepassa i confini del runtime, la gestione effettiva dell'esecuzione è di nuovo responsabilità del codice non gestito e di conseguenza è soggetta alle stesse limitazioni.

Analogamente a quanto sopra esposto, C# è un linguaggio che consente di usare costrutti non gestiti, ad esempio i puntatori, direttamente nel codice usando il cosiddetto contesto non sicuro. Questo termine indica una porzione di codice la cui esecuzione non è gestita dal CLR.

Altre risorse