¿Cuáles son las formas eficientes de depurar un programa C/C++ optimizado?

Question

Muchas veces trabajo con código optimizado (a veces incluso involucrando bucles vectorizados), que contienen errores y tal. ¿Cómo se podría depurar dicho código? Estoy buscando cualquier tipo de herramientas o técnicas. Uso las siguientes herramientas (posiblemente anticuadas), así que estoy buscando una actualización.

utilizo el siguiente:

• ya que con ddd, no se puede ver el código, yo uso GDB + comando dissambler y veo el código producido; Realmente no puedo pasar por el programa usando esto.
• ndisasm

Gracias

Answer 1

siempre es más difícil de depurar programas optimizados, pero siempre hay maneras. Algunos consejos adicionales:

• Realice una compilación de depuración y vea si obtiene el mismo error en una compilación de depuración. No hay punto para depurar una versión optimizada si no es necesario.
• Utilice valgrind si está en una plataforma que lo admita. Los errores que ves pueden ser más difíciles de entender, pero detectar el problema temprano a menudo simplifica la depuración.
• La depuración de printf es primitiva, pero a veces es la forma más simple si tiene un problema complejo que solo aparece en compilaciones optimizadas.
• Si sospecha que hay un problema de tiempo (especialmente en un programa multiproceso), despliegue su propia versión de assert que aborta o imprime si se infringe la condición, y úselo en algunos lugares seleccionados para descartar posibles problemas.
• Vea si puede reproducir el problema sin usar -fomit-frame-pointers, ya que eso hace que el código sea muy difícil de depurar, y con -O2 o -O3 habilitado. Eso podría darle suficiente información para encontrar la causa de su problema.
• Aísle partes de su código, construya un banco de pruebas y vea si puede identificar cualquier banco de pruebas que falle. Es mucho más fácil depurar una función que todo el programa.
• Intente desactivar las optimizaciones una por una con las opciones -fno-X. Esto podría ayudarlo a encontrar problemas comunes, como problemas estrictos de aliasing.
• Active más advertencias del compilador. Algunas cosas, como los problemas de alias estrictos, pueden generar advertencias de compilación si crean una diferencia en el comportamiento entre diferentes niveles de optimización.

Answer 2

Siempre es más fácil depurar una versión no optimizada, por supuesto. De lo contrario, el desmontaje del código puede ser útil. Otras tecnologías que he usado incluyen la optimización parcial del código forzando la impresión o registro de resultados intermedios, o el cambio de una variable crítica a "volátil", así que al menos puedo mirar ese valor en el depurador.

Answer 3

Al depurar compilaciones de lanzamiento, puede poner __asm ​​nops; como marcador de posición para puntos de interrupción (int 3). Esto es bueno, ya que puede garantizar ubicaciones de punto de interrupción sin estropear las optimizaciones del compilador o escribir las instrucciones printf/cout.

Answer 4

Lo que usted llama código optimizado está codificado para afeitar ciclos (lo que hace que la depuración sea difícil) pero realmente no está muy optimizado.Here is an example of what I mean.

Desactivaría la optimización del compilador, la depuraría y sintonizaría usted mismo, y luego volvería a activar la optimización del compilador si el código tiene puntos de acceso realmente codificados por el compilador (no en bibliotecas externas). (Defino un punto de acceso como parte del código donde a menudo se encuentra la PC. Eso exime automáticamente los bucles que contienen llamadas de función porque roban la PC.)