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.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- dump