Binari statici e musl

Un binario statico include le proprie librerie all’interno dell’eseguibile, quindi viene eseguito senza dipendere dalle librerie installate sulla macchina di destinazione.

Un binario dinamico carica le librerie condivise durante l’esecuzione. Uno statico le include, in cambio di un file più grande ma con meno dipendenze.

La libreria C gnu, glibc, è difficile da collegare interamente in modo statico e può non funzionare su sistemi con una versione diversa di glibc.

La libreria C musl è piccola e si collega correttamente a un binario statico, perciò è l’ABI preferita per build Linux portabili.

Scelga musl impostandolo come campo ABI. Con -target che termina in musl, Zig collega la libreria C adatta ai binari statici.

Per una destinazione Linux musl, Zig collega libc in modo statico per impostazione predefinita, quindi l’eseguibile risultante è già autonomo.

Verifichi il risultato su Linux con ldd. Un binario realmente statico indica di non essere un eseguibile dinamico.

Un binario musl statico può essere copiato ed eseguito su quasi qualsiasi sistema Linux, persino nei container minimali, perché non richiede alcuna libc esterna.

I binari statici sono perfetti per le immagini di piccole dimensioni. Può inserirne uno in un container scratch privo di librerie del sistema operativo e verrà comunque eseguito.

I file statici sono più grandi e includono la propria libc, quindi una correzione di sicurezza nella libreria richiede una ricompilazione per essere integrata.

Per compensare le dimensioni maggiori, compili in ReleaseSmall, che ottimizza il binario statico per ottenere l’ingombro minimo possibile.

Ha imparato che i binari statici includono le proprie librerie e che scegliere musl produce eseguibili Linux portabili e privi di dipendenze. 📦