Rastreo de pila

Como ejemplo, el siguiente programa Python contiene un error.

def a () -> int :i : int = 0j : int = b ( i )devolver jdef b ( z : int ) -> int :k : int = 5si z == 0 :c ()devolver k + zdef c () -> Ninguno :error ()Si __name__ == "__main__" :a ()

Al ejecutar el programa con el intérprete estándar de Python, se produce el siguiente mensaje de error.

Rastreo de la pila (llamada más reciente): Archivo "file.py" , línea 16 , en <module> a () Archivo "file.py" , línea 3 , en a j = b ( i ) Archivo "file.py" , línea 9 , en b c () Archivo "file.py" , línea 13 , en c error () NameError : el nombre 'error' no está definido

El rastreo de la pila muestra dónde ocurre el error, concretamente en la cfunción. También muestra que la cfunción fue llamada por b, que aa su vez fue llamada por , que fue llamada por el código de la línea 16 (la última línea) del programa. Los registros de activación de cada una de estas tres funciones se organizarían en una pila de tal forma que la afunción ocuparía la parte inferior de la pila y la cfunción ocuparía la parte superior.

En Java , los rastreos de pila se pueden volcar manualmente con java.lang.Thread::dumpStack()^{[ 5 ]} Tome la siguiente entrada:

clase pública Main {static void demo () {demo1 ();}static void demo1 () {demo2 ();}static void demo2 () {demo3 ();}static void demo3 () {Hilo.dumpStack ( ) ;}public static void main ( String args [] ) {demostración ();}}

La excepción enumera las funciones en orden descendente, por lo que la llamada más interna aparece primero.

java.lang.Exception : Seguimiento de pila en java.lang.Thread.dumpStack ( Thread.java:1336 ) en Main.demo3 ( Main.java:15 ) en Main.demo2 ( Main.java:11 ) en Main.demo1 ( Main.java:7 ) en Main.demo ( Main.java:3 ) en Main.main ( Main.java:19 )​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​

Java también permite recuperar el rastro de pila actual usando java.lang.Thread::getStackTrace(), o mostrar el rastro de pila en un error usando java.lang.Throwable::printStackTrace(). Un rastro de pila en Java se representa como java.lang.StackTraceElement[], un array. ^{[ 6 ]}

C no tiene soporte nativo para obtener rastreos de pila, pero bibliotecas como glibc proporcionan esta funcionalidad. ^{[ 7 ]}

En C y C++, algunas optimizaciones del compilador pueden interferir con la información de la pila de llamadas que se puede recuperar en tiempo de ejecución. Por ejemplo, la inserción de funciones en línea puede provocar la pérdida de marcos de pila, las optimizaciones de llamadas recursivas pueden reemplazar un marco de pila por otro, y la eliminación de punteros de marco puede impedir que las herramientas de análisis de la pila de llamadas interpreten correctamente su contenido. ^{[ 7 ]}

Por ejemplo, la función de glibc backtrace()devuelve una salida con la función del programa y la dirección de memoria.

. / a . out () [ 0x40067f ] . / a . out () [ 0x4006fe ] . / a . out () [ 0x40070a ] / lib / x86_64 - linux - gnu / libc . so .6 ( __libc_start_main + 0xf5 ) [ 0x7f7e60738f45 ] . / a . out () [ 0x400599 ]

Antes de C++23 , no existían mecanismos en C++ para obtener trazas de pila, pero las bibliotecas de terceros como Boost.Stacktrace ofrecían trazas de pila. ^{[ 8 ]} C++23 agregó trazas de pila con std::stacktracey std::stacktrace_entry^{[ 9 ]} Las trazas de pila se pueden volcar manualmente imprimiendo el valor devuelto por la función miembro estática std::stacktrace::current(): ^{[ 10 ]}

importar std ;usando std :: stacktrace ;void bar () { std :: println ( "Rastreo de pila desde bar(): \n {}" , stacktrace :: current ()); }void foo () { bar (); }int main () { foo (); }

C# ofrece una System.Diagnostics.StackTraceclase. ^{[ 11 ]}

Rust tiene dos tipos de errores. Las funciones que usan la macro panic son "irrecuperables" y el hilo actual se contaminará experimentando un desenrollado de pila. Las funciones que devuelven un valor std::result::Resultson "recuperables" y se pueden manejar de forma elegante. ^{[ 12 ]} Sin embargo, los errores recuperables no pueden generar un rastreo de pila ya que se agregan manualmente y no son el resultado de un error en tiempo de ejecución.

A partir de junio de 2021, Rust cuenta con soporte experimental para rastreos de pila en errores irrecuperables. Rust admite la impresión en stderr cuando un hilo entra en pánico, pero debe habilitarse configurando la RUST_BACKTRACEvariable de entorno . ^{[ 13 ]}

Cuando están habilitadas, estas trazas de pila se ven similares a las que se muestran a continuación, con la llamada más reciente primero.

El hilo ' main ' entró en pánico en ' execute_to_panic ' , main.rs:3 rastreo de pila : 0 : std :: sys :: imp :: backtrace :: tracing :: imp :: unwind_backtrace 1 : std :: panicking :: default_hook :: {{ closure }} 2 : std :: panicking :: default_hook 3 : std :: panicking :: rust_panic_with_hook 4 : std :: panicking :: begin_panic 5 : futures :: task_impl :: with 6 : futures :: task_impl :: park ...