geary sur Ubuntu 18.10: grande consommation de mémoire virtuelle signalée
Ubuntu 18.10 top signale une consommation importante de mémoire virtuelle par Geary. Qu'est-ce qui se passe ici?
17194 stephen 20 0 *99.5g* 814024 88196 S 0.3 10.0 88:12.44 geary
Cela pourrait être une fuite de mémoire si Geary a fonctionné pendant longtemps, et donc la mémoire perdue est paginée pour être échangée. Je les répare chaque fois que je peux les trouver, mais il est également utile de compiler Geary avec les versions les plus récentes de vala.
Cependant, il est plus probable que WebKit Gigacage soit une fonctionnalité de sécurité qui empêche les pirates d’exécuter du code malveillant sur votre ordinateur. Pour ce faire, il pré-alloue plusieurs gros morceaux de mémoire virtuelle (32 G) afin de stocker différents types de données de page Web séparément. Même si ces gros morceaux sont alloués, très peu d’entre eux sont réellement utilisés - juste assez pour afficher des pages.
Puisque Geary utilise WebKitGTK pour le rendu du courrier électronique (même du texte brut), un certain nombre de gigacages lui seront attribués lors du démarrage. Vous pouvez le vérifier en comparant la taille de la mémoire virtuelle d'autres applications utilisant également WebKitGTK, telles que GNOME Web, ou en consultant la taille de la mémoire virtuelle de Geary juste après le démarrage.
La mémoire virtuelle est utilisée pour les pré-allocations comme celle-ci, pour les fichiers de mappage de mémoire et pour un tas d'autres choses qui n'utilisent pas réellement de mémoire. Ce n'est donc pas une mesure très utile pour déterminer la quantité de mémoire utilisée par un programme et il est inutile de s'en inquiéter. Surveillez la taille de l'ensemble résident du programme et la quantité d'échange utilisée à la place.