Je viens de découvrir sur ce lien : https://blogs.gnome.org/shell-dev/ (chercher "Real-Time Scheduler") que GNOME avait une fonctionnalité expérimentale permettant d'être schedulé en temps réel.
C'est une fonction que j'ai toujours souhaitée, ne sachant pas comment la réaliser. J'ai souvent joué avec les paramètres nice et ionice sans succès, j'ai toujours eu des freeze dans GNOME alors que d'autres interfaces basées sur Linux semblent pouvoir gérer ça plus proprement (Android…)
Et voilà, c'est là.
Je rêve d'autre chose aussi, aucun accès (…)







