vider
- Domaine
-
- informatiquetraitement des données
- Dernière mise à jour
Définition :
Afficher, copier (sur un support) ou imprimer, à un instant déterminé, le contenu de tout ou partie d'une mémoire pour en faciliter l'analyse.
Note :
Bien qu'on puisse vider la mémoire externe, on vide plus généralement la mémoire interne. Le vidage est effectué dans un but particulier, soit celui de libérer l'emplacement de mémoire initial, de se prémunir contre les erreurs ou de procéder à une mise au point.
Termes privilégiés :
- vider v.
- clicher v.
-
En France, le terme clicher est recommandé officiellement par la Commission d'enrichissement de la langue française, depuis 2000.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- dump