Innanzitutto, dato che non credo tutti abbiano la possibilità o la voglia di seguire un corso di sistemi operativi, mi sembra doveroso spiegare che cos’è il collegamento dinamico o dynamic linking.
In due semplici parole, rappresenta l’inserimento in memoria di simboli (librerie le classiche DLL di windows) che sono in comune tra le varie applicazioni (ad esempio librerie di sistema che permettono l’esecuzione di particolari procedure, ad esempio la scrittura di un file del disco).
Vediamo ora come fare per abilitare il prelink.
Installazione del Prelink su Ubuntu
Prima di tutto dobbiamo essere sicuri che su Synaptic siano abilitati i repositrories Universe.
Se invece dovete controllare che siano abilitati e non sapete come fare continuate a leggere: andiamo su Sistema -> Amministrazione -> Gestore pacchetti synaptic.
Quindi facciamo click su Pacchetto -> Archivi pacchetto e controlliamo che ci sia il segno di spunta su Universe.
Abilitati i repositories universe e poi aggiorniamo il sistema digitando sul terminale:
sudo apt-get update
quindi il sistema ci chiederà la password, scriviamola (se siete nuovi di linux sappiate che quando scriviamo la password sul terminale, il sistema non ci mostra nessun carattere).
Installiamo il prelink, rimanendo sul terminale con:
sudo apt-get install prelink
Questo completerà l’installazione.
Configurazione del Prelink
Abbiamo bisogno di editare il file /etc/default/prelink con l’editor di testo. Possiamo usare vi, come gedit o nano, rimanendo con i permessi da superutenti.
Quindi, diamo il comando:
sudo vi /etc/default/prelink
Vicino alla prima riga dobbiamo cambiare la seguente linea da
PRELINKING=unknown
a
PRELINKING=yes
Ora, se siete utenti esperti, potete sistemare anche altri parametri, altrimenti (e ve lo consiglio) lasciate il resto così com’è, altrimenti rischiamo solo di avere malfunzionamenti.
Per far partire il primo prelink, usiamo il comando:
sudo /etc/cron.daily/prelink
Per eseguirlo la prima volta serve parecchio tempo, anche un quarto d’ora se avete un pc vecchio.
In futuro, il prelink sarà molto più veloce (meno di un minuto nella maggior parte dei sistemi) inquanto farà il quick prelink, tipicamente verso la mezzanotte, mentre non usiamo il pc. Ogni 14 giorni, poi, girerà il full prelink.
In caso di problemi con le librerie
Se fate solo un apt-get update che cambia le librerie di sistema (e.s. libc6, glibc, major gnome/X libs, etc etc etc) ed avete un qualche errore in proposito delle librerie, fate il seguente comando:
sudo /etc/cron.daily/prelink
Per disabilitare il prelink
Avete bisogno di editare nuovamente /etc/default/prelink, con un editor di testo, sempre come superutenti.
sudo gedit /etc/default/prelink
Quindi modifichiamo la prima linea da
PRELINKING=yes
a
PRELINKING=no
Salvate ed uscite, quindi date il seguente comando:
sudo /etc/cron.daily/prelink