Logiciels

Optimisez votre noyau Linux avec un simple patch

Une solution simple pour rationaliser le Linux Desktop a fait couler beaucoup d’encre ces derniers jours. Mike Galbraith, un développeur du noyau Linux, a appliqué à Kernel un tout petit patch, avec environ 200 lignes de code, qui fait un véritable miracle : il est capable d’augmenter les performances de certaines tâches jusqu’à 60 fois, selon les tests ! Tout cela en regroupant les tâches envoyées au noyau en fonction de leur tty et en les programmant.

Le correctif est toujours en cours d’évolution, et le sera certainement dans les nouvelles versions du noyau, mais pour l’instant, l’application du correctif peut être un processus douloureux pour ceux qui connaissent peu la compilation du noyau pour Linux. Heureusement, des alternatives existent déjà : Lennart Poettering, un développeur de Red Hat, a publié une alternative au patch qui ne nécessite que l’exécution de quelques commandes et l’édition de quelques fichiers. Comme la version originale ne fonctionne pas sur Ubuntu, je vais présenter les deux modèles, afin que vous puissiez les appliquer à n’importe quelle distro Linux que vous utilisez.

  Comment imprimer un livre ou un extrait de Kindle

Patch vers Ubuntu :

Dans le terminal, ouvrez le fichier rc.local avec la commande

sudo gedit /etc/rc.local

Le fichier étant ouvert, insérez les lignes sous avant de la ligne “exit 0” ;mkdir -p /dev/cgroup/cpumount -t cgroup /dev/cgroup/cpu -o cpumkdir -m 0777 /dev/cgroup/cpu/userecho “1” /dev/cgroup/cpu/user/notify_on_releaseecho “/usr/local/sbin/cgroup_clean” /dev/cgroup/cpu/release_agent

Enregistrez le fichier et fermez-le. Donnez maintenant les droits d’exécution au fichier rc.local :

sudo chmod +x /etc/rc.local

Maintenant, créez le fichier cgroup_clean

sudo gedit /usr/local/sbin/cgroup_clean

Et insérez dans le fichier le contenu ci-dessous :

#!/bin/shsi [“1 €” != “/utilisateur” -a “1 €” != “/utilisateur/” ] ; alorsrmdir /dev/cgroup/cpu€1fi

Enregistrez le fichier, fermez-le et faites-en valoir les droits :

sudo chmod +x /usr/local/sbin/cgroup_clean

Calmez-vous, il ne reste pas grand-chose ! Editez maintenant /etc/bash.bashrc

sudo gedit /etc/bash.bashrc

Et insérez les lignes ci-dessous au début du fichier :

si [“€PS1” ] ; alorsmkdir -m 0700 /dev/cgroup/cpu/user/€€echo € /dev/cgroup/cpu/user/€/tasksfi

Ouf ! Maintenant, il suffit de redémarrer l’ordinateur. ?

Patch pour les autres districts

Ouvrez le fichier ~/.bashrc

sudo gedit ~/.bashrc

  WhatsApp Web permet également de faire taire les conversations pour toujours

Et insérez les lignes ci-dessous :

si [“€PS1” ] ; alorsmkdir -m 0700 /sys/fs/cgroup/cpu/user/€€echo €€ /sys/fs/cgroup/cpu/user/€/tasksfi

Maintenant, il suffit d’exécuter les commandes ci-dessous dans le terminal :

mount -t cgroup /sys/fs/cgroup/cpu -o cpumkdir -m 0777 /sys/fs/cgroup/cpu/user

Bon, enregistrez le fichier, fermez et redémarrez l’ordinateur.

Si vous appliquez les changements, dites-nous à quoi ressemble votre installation de Linux. ?

A propos de l'auteur

Véronique

La trentaine, maman de deux petits monstres de 10 ans. Je pèse chaque jour le pour et le contre dans l'utilisation des écrans pour mes bambins !
J'écris souvent depuis les transports en commun (#teamTablette).

Laisser un commentaire