volcado de memoria

En informática, un volcado de memoria (en inglés core dump o memory dump) es un registro no estructurado del contenido de la memoria en un momento concreto, generalmente utilizado para depurar un programa que ha finalizado su ejecución incorrectamente. Actualmente se refiere a un archivo que contiene una imagen en memoria de un proceso determinado, pero originalmente consistía en un listado impreso de todo el contenido de la memoria. Un volcado completo de memoria es toda la memoria utilizada por el programa instalado al momento de uso escrita a un archivo. El tamaño del volcado dependerá del programa instalado (es igual al valor de ws_BaseMemSize en la estructura del Esclavo). Un volcado de memoria puede ser creado si la DebugKey es presionada durante la ejecución o luego de un error si el botón CoreDump es presionado. El nombre del volcado de memoria creado será ".whdl_memory". La ubicación por defecto es "PROGDIR:" pero puede ser cambiada con la opción CoreDumpPath. Cualquier fichero existente con el mismo nombre siempre será sobrescrito. Si el programa instalado utiliza Memoria Fast adicional, será salvada bajo el nombre ".whdl_expmem".