Toujours dans mes articles d’optimisation, en voici un sur les latences et le cpu pinning. Je parle de :
Taskset Cpuset IRQ balancing cpuspeed acpi Voilà, il y a pas mal de choses à racconter là dessus alors si vous souhaitez en savoir plus, suivez le lien.
Toujours dans la continuité de l’amélioration des performances sous Linux, je parle cette fois ci des schedulers et la gestion des processus.
Ca se passe ici : Gestion des process et des schedulers
Pour continuer sur le précédent article d’optimisation des disques dur, en voici un autre sur le filesystem extX et le RAID logiciel sous Linux.
J’explique comment gagner en performance sur les filesystems et plonge un peu dans les méchanismes de la gestion des différents filesystems avec le kernel.
Pour lire l’article, suivez le lien.
Les disques dur physiques sont aujourd’hui ce qu’il y a de plus lent dans nos machines. Que ce soit les disques dur physique à plateaux ou bien même les SSD ! Mais il y a moyen d’optimiser selon les besoins des performances de ceux ci.
C’est pourquoi j’ai fais un article qui parle des bus, caches, elevators et options de queues. Pour le lire, c’est comme d’habitude sur le wiki.
Pour l’histoire, j’ai un ex collègue qui est tombé dans une boite magique avec tout pleins de servers owned depuis des années et pas de possibilités immédiates de les remplacer. Sachant que des binaires ont été modifiés, il a dû vérifier l’intégralité des systèmes. Pour cela il a fait un petit script, qui permet de vérifier tout ça.
Pour le script, c’est sur le wiki.
Je suis un peu sur Gnome shell ces derniers temps et vous le voyez, je découvre un peu. Bref, depuis que Gnome Shell est sorti, il existe un outil qui vous permet de paramétrer tout un tas de choses pour votre Gnome. Un peu à la manière gconf-editor, mais en ligne de commande.
J’ai donc fait un petit article avec les paramètres que j’utilise : Gnome-shell : utilisation de settings pour configurer votre desktop
C’est un truc con qu’il manque sous Gnome Shell je trouve. Pouvoir changer automatiquement de wallpaper tous les x minutes. J’ai donc fais un petit script qui se lance au boot de gnome shell et qui me fait ça.
Pour la solution, ça se passe ici.